eBPF verifier based on abstract interpretation
-
Updated
May 23, 2024 - C++
eBPF verifier based on abstract interpretation
PHP Static Analysis Tool - discover bugs in your code without running it!
Code analyzer for C# and VB.NET projects
Static Value-Flow Analysis Framework for Source Code
☕ SonarSource Static Analyzer for Java Code Quality and Security
A program slicer and dataflow analyzer for the R programming language.
EMBA - The firmware security analyzer
This small library checks media queries for duplicate style definitions.
Delphi language plugin for SonarQube
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Next-gen PHPDoc parser with support for intersection types and generics(TypeScript version)
SonarSource Static Analyzer for JavaScript and TypeScript
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴
Doctrine extensions for PHPStan
A github action to run infer for java code
TypeScript types for PHP Parser JSON representation
☕️ PMD Plugin for SonarQube
Links to Fortran compilers, preprocessors, static analyzers, transpilers, IDEs, build systems, etc.
cwe_checker finds vulnerable patterns in binary executables
BinAbsInspector: Vulnerability Scanner for Binaries
Add a description, image, and links to the static-analyzer topic page so that developers can more easily learn about it.
To associate your repository with the static-analyzer topic, visit your repo's landing page and select "manage topics."