Ghidra is a software reverse engineering (SRE) framework
Dynamic and static analysis with Sandboxie for Windows, including EDR
Tool to detect and correct vulnerabilities in PHP web applications
Petri net framework for security related modeling and reasoning.
A Lexer and a Parser to PHP scripts
Simulator of access controls