A program slicer and dataflow analyzer for the R programming language.
-
Updated
May 15, 2024 - TypeScript
A program slicer and dataflow analyzer for the R programming language.
A github action to run infer for java code
☕ SonarSource Static Analyzer for Java Code Quality and Security
Code analyzer for C# and VB.NET projects
Next-gen PHPDoc parser with support for intersection types and generics(TypeScript version)
Doctrine extensions for PHPStan
Static Value-Flow Analysis Framework for Source Code
SonarSource Static Analyzer for JavaScript and TypeScript
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
PHP Static Analysis Tool - discover bugs in your code without running it!
cwe_checker finds vulnerable patterns in binary executables
EMBA - The firmware security analyzer
eBPF verifier based on abstract interpretation
Delphi language plugin for SonarQube
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴
BinAbsInspector: Vulnerability Scanner for Binaries
Nette Framework class reflection extension for PHPStan & framework-specific rules
TypeScript types for PHP Parser JSON representation
PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
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."