The llvm-analysis package

[Tags: bsd3, library]

A Haskell library for analyzing LLVM bitcode. To convert bitcode to the format used by this library, see the llvm-data-interop package.

This library attempts to provide some basic program analysis infrastructure and aims to scale to large bitcode files.

There are some useful tools built on top of this library available in the llvm-tools package.

Changes since 0.2.0: * LLVM 3.3 support (contributed by Patrick Hulin) * Metadata format change. Metadata type entries no longer have a MetaDWFile. Instead, file and directory names are stored directly in each MetaDW*Type. This change lets us more easily accommodate changes in LLVM 3.3 (while supporting older versions). * Under LLVM 3.3, the metaCompileUnitIsMain field of MetaDWCompileUnit is always False. This disappeared in LLVM 3.3, but removing it would be an unnecessary API break, I think.


Properties

Version0.3.0
Change logNone available
Dependenciesarray, base (==4.*), boomerang, bytestring, containers, deepseq, directory, failure (>=0.2), fgl (>=5.4), filemanip (>=0.3.5.2), filepath, GenericPretty (>1), graphviz (>=2999.12.0.3), hashable (>=1.1.2.0), hoopl (>=3.9.0.0), HUnit, ifscs (>=0.2.0.0 && <0.3.0.0), itanium-abi (>=0.1.0.0 && <0.2.0.0), lens (>1), llvm-base-types (>=0.3.0), monad-par (>=0.3.4.2), process, temporary (>=1.0), test-framework, test-framework-hunit, text (>=0.11), transformers (>=0.3), uniplate (==1.*), unordered-containers, vector (>=0.9)
LicenseBSD3
AuthorTristan Ravitch
Maintainertravitch@cs.wisc.edu
Stabilityexperimental
CategoryDevelopment
UploadedTue Nov 12 03:38:42 UTC 2013 by TristanRavitch
DistributionsNixOS:0.3.0
Downloads237 total (13 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 3 reports]

Modules

[Index]

Flags

NameDescriptionDefault
debugandersenconstraintsEnable debugging output for the points-to analysis (shows constraints)Disabled
debugandersengraphEnable debugging output for the points-to analysis (shows the solved constraint graph in a window)Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees