borzacchiello/naaz

Symbolic Execution Engine based on Ghidra's PCode

语言：C++ · GitHub 星标：85 · Fork：5

话题：program-analysis · reverse-engineering · symbolic-execution

在 GitHub 上查看原仓库