
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

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

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

Detect compliance and security violations across Infrastructure as Code to mitigate risk before provisioning cloud native infrastructure.

Microsoft Sentinel SIEM Log Source 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)

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

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


A Public Package Scanner for The Community

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