Performant type-checking for python.
BeaEngine disasm project
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smar...
Generic static analysis framework.
Program Analisys and Transformation survey and links (particular focus o...
A proposed hardware-based method for stopping known memory corruption ex...
A generic deobfuscator for PjOrion obfuscated python scripts
Modular static malicious JavaScript detection system
Pyc-cfg is a pure python control flow graph builder for almost all Ansi ...
Experimental implementation of k-CFA and Pushdown k-CFA with optional Ab...