
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

Fix prototype pollution vulnerability (CVE-2023-26136) for tough-cookie package

Whalescan is a vulnerability scanner for Windows containers, which performs several benchmark checks, as well as checking for CVEs/vulnerable…

Open-source, cross-platform, multi-purpose security auditing tool

Shell script to recursively scan folders for Go binaries using insecure pem.Decode function, detecting vulnerable or stripped binaries for…

Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)

StaCoAn is a crossplatform tool which aids developers, bugbounty hunters and ethical hackers performing static code analysis on mobile applications.

Automated static code analysis framework integrated with SonarQube for early vulnerability detection in source code by scanning Git repositories…