
smack
Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…

Toolbox containing research notes & PoC code for weaponizing .NET's DLR

Pishi is a code coverage tool like kcov for macOS.

A Solution For Cross-Platform Obfuscated Commands Detection presented on CIS2019 China. 动静态Bash/CMD/PowerShell命令混淆检测框架 - CIS 2019大会


Exploit for Jenkins serialization vulnerability - CVE-2016-0792

Xyntia, the black-box deobfuscator

Fuzzing Framework for Modules in Apache HTTPD Server


Laravel debug mode - Remote Code Execution (RCE)