/c_symsim

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

Primary LanguageCBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

c_symsim

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