Giters

weaversa / c_symsim

C-based shallow embedding of Ghidra's P-code symbolic execution

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

c_symsim

C-based symbolic execution of a shallow embedding of Ghidra's P-code.

About

C-based shallow embedding of Ghidra's P-code symbolic execution

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:C 89.0%Language:C++ 9.6%Language:Makefile 1.4%