
o1js-scan
Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits

Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits

AST-based Static Code Analyzer with Agentic LLM-Powered Relationship Mapping to discover Python RCE paths and deep deserialization chains on AI, LLM,…

A Python pickling decompiler and static analyzer

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using…

WinDbg x64 extension that disassembles live functions and uses an LLM to produce verified pseudocode.

Java bytecode analyzer customizable via JSON rules

An extensible multilanguage static code analyzer.

Static Analyzer for Solidity and Vyper

A static analyzer for Java, C, C++, and Objective-C

Secure, Unified, Powerful and Extensible Rust Android Analyzer

Next-generation SQL static analyzer written in Rust. 282+ rules. Zero false positives. Security, performance, reliability, cost, compliance, quality.…

SEDATED® Project (Sensitive Enterprise Data Analyzer To Eliminate Disclosure)

SQL / SQLI tokenizer parser analyzer

Python tool for analyzing CVE-2018-16763 in FUEL CMS with cleaner response parsing and interactive vulnerability checking.

Curated Semgrep rule repository for GitLab SAST, providing static analysis patterns to detect security vulnerabilities across multiple programming…


Static Analyzer for Starknet smart contracts

Vulnerability Patterns Detector for C# and VB.NET