/macke-opt-llvm

Passes for LLVM operations inside MACKE

Primary LanguageC++Apache License 2.0Apache-2.0

Passes for LLVM operations from MACKE

How to build the project?

make

and if you want to run some tests

make test

Example usage

After running make (of course)

opt -load lib/libMackeOpt.so -listallfuncs examples/divisible.bc -disable-output

opt -load bin/libMackeOpt.so -changeentrypoint bin/greetings.bc -nef french -o bin/mod.bc

opt -load bin/libMackeOpt.so -encapsulatesymbolic bin/not42.bc -encapsulatedfunction not42 -o bin/not42-klee.bc
klee bin/not42-klee.bc

Hints for developpers

Please run make format before your commits

Further informations and readings