GitHub - panda-re/symbll: Symbolic execution for LLVM traces produced by PANDA · GitHub

Name		Name	Last commit message	Last commit date
testcase		testcase
.gitignore		.gitignore
arm.py		arm.py
arm_flat.py		arm_flat.py
dwarf.py		dwarf.py
flatten.py		flatten.py
function_finder.py		function_finder.py
function_finder_results_ls		function_finder_results_ls
i386.py		i386.py
i386_flat.py		i386_flat.py
nohup.out		nohup.out
plog.proto		plog.proto
plog_enum.py		plog_enum.py
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_for_ls.py		symbll_for_ls.py
x86_64.py		x86_64.py
x86_64_flat.py		x86_64_flat.py

About

Symbolic execution for LLVM traces produced by PANDA

Custom properties

40 stars

7 watching

Report repository

Releases

Packages

Contributors

Languages