ghihorn: path analysis in ghidra using smt solvers - discu.eu

Reddit

GhiHorn: Path Analysis in Ghidra Using SMT Solvers https://insights.sei.cmu.edu/blog/ghihorn-path-analysis-in-ghidra-using-smt-solvers/ 5 comments 24/10/2021 reverseengineering