@hackage llvm-analysis0.3.0
A Haskell library for analyzing LLVM bitcode
Categories
License
BSD-3-Clause
Maintainer
travitch@cs.wisc.edu
Links
- Documentation
- No source repository
- Security
Versions
- 0.3.0 Tue, 12 Nov 2013
Installation
Dependencies (30)
- GenericPretty >1
- HUnit
- array
- base >=4 && <5
- boomerang
- bytestring Show all…
Dependents (2)
@hackage/llvm-tools, @hackage/acme-everything
Package Flags
debugandersenconstraints
(off by default)
Enable debugging output for the points-to analysis (shows constraints)
debugandersengraph
(off by default)
Enable debugging output for the points-to analysis (shows the solved constraint graph in a window)
Introduction
A Haskell library for analyzing LLVM bitcode. To convert bitcode the format used by this library, see the llvm-data-interop package and the haddocks for the LLVM.Analysis module.
This library attempts to provide some basic program analysis infrastructure and aims to scale to large bitcode files. Additional analysis tools are welcome.
A note on testing
Some tests in the test suite necessarily rely on names generated by the frontend used to generate bitcode. These internal names are not stable and change with each frontend release. The test suite currently runs with clang 3.2.