Symbolic execution for LLVM traces produced by PANDA
Primary LanguageLLVM
python symbll.py WrongMagicWord.bc WrongMagicWord.plog