tiroTIRO - A hybrid iterative deobfuscation framework for Android applications
Stars: ✭ 20 (-88.51%)
TritonTriton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Stars: ✭ 1,934 (+1011.49%)
Find Sec BugsThe SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Stars: ✭ 1,748 (+904.6%)
Pyre CheckPerformant type-checking for python.
Stars: ✭ 5,716 (+3185.06%)
PsalmA static analysis tool for finding errors in PHP applications
Stars: ✭ 4,523 (+2499.43%)
stack-guardA toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain
Stars: ✭ 21 (-87.93%)
phan-taint-check-pluginGithub mirror of "mediawiki/tools/phan/SecurityCheckPlugin" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing)
Stars: ✭ 21 (-87.93%)
auraPython source code auditing and static analysis on a large scale
Stars: ✭ 101 (-41.95%)
gotchaGo Taint CHeck Analyser
Stars: ✭ 40 (-77.01%)
FAROSFAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking
Stars: ✭ 16 (-90.8%)
ttt-extChrome extension to aid in finding DOMXSS by simple taint analysis of string values.
Stars: ✭ 81 (-53.45%)