
RiskAssessmentFramework
The Secure Coding Framework

The Secure Coding Framework

Static Analyzer for Starknet smart contracts


Static Analyzer for Solidity and Vyper

Runtime instrumentation framework for building dynamic analysis tools: tracing, profiling, code coverage, memory debugging, fuzzing, and disassembly…

An easy-to-learn/use static analysis framework for Java and Android

Security-focused static analysis for the Phoenix Framework


Original Proof-of-Concepts for React2Shell CVE-2025-55182

Static code analysis tool for Android apps based on OWASP MASVS, detecting security vulnerabilities in APK files with low false-positive rates and…

PowerShell Obfuscation Detection Framework

A Binary Genetic Traits Lexer Framework


A reverse engineering framework written in Python.

ROPfuscator is a fine-grained code obfuscation framework for C/C++ programs using ROP (return-oriented programming).

LLVM based static binary analysis framework

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

Scala-based static analysis framework for Android and Java bytecode with flow analysis, decompilation, and native code analysis via symbolic…