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

Linking pages

A Formal Semantics for P-Code | SpringerLink https://link.springer.com/chapter/10.1007/978-3-031-25803-9_7 6 comments

Linked pages

Ghidra https://ghidra-sre.org/ 368 comments
GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
SMT-LIB The Satisfiability Modulo Theories Library http://smtlib.cs.uiowa.edu/index.shtml 0 comments

Related searches:

Search whole site: site:insights.sei.cmu.edu

Search title: GhiHorn: Path Analysis in Ghidra Using SMT Solvers

See how to search.

Submit link to: