yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-03 09:49:23 +02:00
Code Issues Releases Wiki Activity
ghidra/Ghidra/Extensions/SymbolicSummaryZ3
History
Dan 0645a51808 GP-0: Add extension.properties for SymbolicSummaryZ3
2025-09-09 15:06:13 +00:00
..
data Added missing theme file 2025-07-09 19:08:14 -04:00
src GP-5879: Add callbacks to PcodeEmulator. Refactor for composition vice inheritance. 2025-08-21 13:22:49 +00:00
build.gradle GP-0: Fixing gradle warning 2025-07-11 07:14:04 -04:00
certification.manifest GP-0: Add extension.properties for SymbolicSummaryZ3 2025-09-09 15:06:13 +00:00
extension.properties GP-0: Add extension.properties for SymbolicSummaryZ3 2025-09-09 15:06:13 +00:00
Module.manifest GP-0: Change SymbolicSummaryZ3 to be an extension. 2025-07-02 17:04:12 +00:00
README.md GP-0: Change SymbolicSummaryZ3 to be an extension. 2025-07-02 17:04:12 +00:00

README.md

Symbolic Summary Z3 Module

This module is shipped with the pre-built Z3 version 4.13.0 libraries and java bindings from the Z3Prover repository. If the native components are not suitably linked for your system, you may need to build from source. If so, download the source bundle and follow the instructions for building it on your platform.