From b4a52eab827f8ca193ab4929d06f22bf13c86392 Mon Sep 17 00:00:00 2001 From: Divya Muthukumaran Date: Wed, 31 Aug 2016 11:21:25 +0100 Subject: [PATCH] Updated README --- README.md | 26 +++----------------------- 1 file changed, 3 insertions(+), 23 deletions(-) diff --git a/README.md b/README.md index aa54752..6012bb5 100644 --- a/README.md +++ b/README.md @@ -1,29 +1,9 @@ To build this container, from the directory containing the docker file do: - docker build -t framac . + docker build -t slicer . Then run it with: - docker run -ti framac /bin/bash + docker run -ti slicer /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: - - - - fp_rdcn_var - 1 - 2 - - - - - -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 +For instructions on how to use the slicer, please see: https://github.com/zhangyz/llvm-slicing -- GitLab