GitHub - dns43/symbll: Symbolic execution for LLVM traces produced by PANDA

python symbll.py WrongMagicWord.bc WrongMagicWord.plog

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
testcase		testcase
README.md		README.md
Vagrantfile		Vagrantfile
WrongMagicWord.bc		WrongMagicWord.bc
WrongMagicWord.plog		WrongMagicWord.plog
arm.py		arm.py
arm_flat.py		arm_flat.py
bootstrap.sh		bootstrap.sh
dwarf.py		dwarf.py
file		file
firmware.bin		firmware.bin
flatten.py		flatten.py
i386.py		i386.py
i386_flat.py		i386_flat.py
plog.proto		plog.proto
plog_enum.py		plog_enum.py
plog_old.proto		plog_old.proto
plog_pb2.py		plog_pb2.py
plog_reader.py		plog_reader.py
ppc.py		ppc.py
ppc_flat.py		ppc_flat.py
symbll.py		symbll.py
symbll_old.py		symbll_old.py
x86_64.py		x86_64.py
x86_64_flat.py		x86_64_flat.py

dns43/symbll