
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


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

A Public Package Scanner for The Community

Apache Struts version analyzer (Ansible) based on CVE-2017-5638


Microsoft Sentinel SIEM Log Source Analyzer

Runtime behavioral analysis tool that sandboxes suspicious packages in Docker, traces syscalls with strace, maps process cascades into directed…

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

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

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

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