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

• LLVM-OPT
• Tutorial on writing a pass
• Some details for external packages in cmake
• Small introduction to LLVM
• Hello World with IR-Builder
• More complicated example