IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
tests
BUILD_VERSION
LICENSE
Makefile
Makefile.cg
README.md
TODO
ast.cc
ast.h
ast_kinds.h
ast_to_if1.cc
ast_to_if1.h
builtin.cc
builtin.h
builtin_symbols.h
c.g
c_runtime.h
cast_code.cc
cdb.cc
cdb.h
cfg.cc
cg.cc
cg.h
clone.cc
clone.h
code.h
dead.cc
dead.h
dom.cc
dom.h
fa.cc
fa.h
fail.cc
fail.h
faq.html
fun.cc
fun.h
graph.cc
graph.h
html.cc
html.h
if1.cc
if1.h
ifa.1
ifa.cc
ifa.h
ifa_tests
ifa_version.cc
ifa_version.h
ifadefs.h
ifalog.cc
ifalog.h
index.html
inline.cc
inline.h
loop.cc
loop.h
main.cc
make_ast.cc
make_ast.h
make_cast_code.cc
make_prims.cc
manual.html
mkdep
num.cc
num.h
parse.cc
parse.h
parse_structs.h
pattern.cc
pattern.h
pdb.cc
pdb.h
pnode.cc
pnode.h
prelude.v
prim.cc
prim.h
prim_data.cc
prim_data.dat
prim_data.h
prim_data_incs.h
python.g
scope.cc
scope.h
ssu.cc
ssu.h
sym.cc
sym.h
v.g
var.cc
var.h

README.md

BUILD

You need to pull some other software

  1. the Boehm GC and PCRE libraries:

    On Fedora: yum install gc gc-devel

    On Ubuntu (or other debian distros): apt-get install libgc-dev libpcre++-dev

  2. dparser

    This just need to build and install this. Note: You should enable the gc garbage collector (it's an option in the Makefile, or provide as an option to make:

    git clone git://github.com/jplevyak/dparser.git (cd dparser; sudo make install D_USE_GC=1)

  3. plib

    This is expected to exist in ../plib.

    git clone git://github.com/jplevyak/plib.git (cd plib; make USE_GC=1)

  4. ifa

    This is expected to exist in ../ifa.

    git clone git://github.com/jplevyak/ifa.git (cd ifa; make)