Usage

First, compile a program to LLVM bitcode:

clang -emit-llvm -O1 -c -fno-discard-value-names tests/pointer/soundness/alloca.c

Then, run yapall:

yapall --signatures signatures.json alloca.bc