#Static-analyzer
Showing 20 of 20 repositories tagged #static-analyzer, ranked by stars
EMBA - The firmware security analyzer
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
BinAbsInspector: Vulnerability Scanner for Binaries
Cross-platform static analyzer and linter for Swift.
cwe_checker finds vulnerable patterns in binary executables
APKHunt is a comprehensive static code analysis tool for Android apps that is based on the OWASP MASVS framework. Although APKHunt is intended primarily for mobile app developers and security testers, it can be used by anyone to identify and address potential security vulnerabilities in their code.
prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.
Detect concurrency and memory bugs and possible panic locations in Rust projects
Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).
"chanzi" is a simple and user-friendly JAVA SAST tool that utilizes taint analysis technology, includes built-in common vulnerability rules, supports decompile, custom rule, and is compatible with the technology stacks of Servlet&filter, Spring,struts,Dubbo,Thrift, jax-rs,jax-ws,JFinal,Netty,MyBatis,and JSP.
njsscan is a semantic aware SAST tool that can find insecure code patterns in your Node.js applications.
Next-generation SQL static analyzer written in Rust. 282+ rules. Zero false positives. Security, performance, reliability, cost, compliance, quality. 14 SQL dialects. Offline. CI/CD ready.
Static security checker for Dockerfiles
Static analyzer for Flutter/Dart AOT snapshots
Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security rules without manual curation.
Static analyzer tool for Solana
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
unimport is a Go static analysis tool to find unnecessary import aliases.
Pynblint is a linter for Python Jupyter notebooks.
eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.