Newer
Older
To build this container, from the directory containing the docker file do:
docker build -t framac .
Then run it with:
docker run -ti framac /bin/bash
Now from inside the container, test the analyzer by first downloading the following sample program:
wget http://www.dcc.ufmg.br/~brunors/flowtracker/monty.c
Then make a file called in.xml containing the following:
<sources>
<function>
<name>fp_rdcn_var</name>
<parameter>1</parameter>
<parameter>2</parameter>
</function>
</sources>
</functions>
Finally, run the analyzer:
clang -emit-llvm -c -g monty.c -o monty.bc
opt -instnamer -mem2reg monty.bc > monty.rbc
opt -basicaa -load AliasSets.so -load DepGraph.so -load bSSA2.so -bssa2 -xmlfile in.xml monty.rbc