Files
ghidra/Ghidra/Extensions/Lisa/certification.manifest
d-millar 2904c8724b GP-6225: Adds abstract interpretation via the Software and System
Verification (SSV) group @ Università Ca' Foscari's Library for Static
Analysis (LiSA)
2025-12-16 13:28:25 -05:00

9 lines
319 B
Plaintext

##VERSION: 2.0
##MODULE IP: Apache License 2.0
##MODULE IP: MIT
Module.manifest||GHIDRA||||END|
extension.properties||GHIDRA||||END|
src/main/help/help/TOC_Source.xml||GHIDRA||||END|
src/main/help/help/topics/LisaPlugin/LisaPlugin.html||GHIDRA||||END|
src/main/java/ghidra/lisa/pcode/analyses/README.md||GHIDRA||||END|