z3
z3prover/z3High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
binary-analysiscryptographyeducation+2
z3prover/z3High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…
jsonpath-plus/jsonpathA fork of JSONPath from http://goessner.net/articles/JsonPath/
trailofbits/skillsTrail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
mobb-dev/bugsyAutomatic security vulnerability remediation for your code.
mandiant/flare-flossFLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.
bronils/aotopsyStatic analyzer for Flutter/Dart AOT snapshots — recovers function names, class hierarchies, call graphs, and behavioral signals from libapp.so…
skylot/jadxCommand-line and GUI tool for decompiling Android Dex and APK files into readable Java source code, with resource decoding, deobfuscation, and Smali…
pascal-lab/tai-eAn easy-to-learn/use static analysis framework for Java and Android
presidentbeef/brakemanA static analysis security vulnerability scanner for Ruby on Rails applications
cyb3rmx/qu1cksc0peAll-in-One malware analysis tool.
ajinabraham/njsscanSemantic-aware SAST scanner for Node.js applications that detects insecure code patterns using libsast pattern matching and semgrep syntax-aware…
threatlabz/iocsCurated Indicators of Compromise and YARA rules from Zscaler ThreatLabz public reports for threat hunting, malware research, and detection…
jetbrains/fernflowerDecompiler from Java bytecode to Java, used in IntelliJ IDEA.
iocx-dev/iocxAn extensible, deterministic static‑analysis engine that extracts high‑signal IOCs from PE binaries and text, built for SOC automation and modern…
anthropics/defending-code-reference-harnessSkills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
