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