static-analyzer topic

List static-analyzer repositories

BinAbsInspector

1.5k
Stars
223
Forks
Watchers

BinAbsInspector: Vulnerability Scanner for Binaries

verified publisher icon KeenSecurityLab

cwe_checker

1.1k
Stars
116
Forks
Watchers

cwe_checker finds vulnerable patterns in binary executables

verified publisher icon fkie-cad

phpdoc-parser

1.3k
Stars
61
Forks
Watchers

Next-gen phpDoc parser with support for intersection types and generics

verified publisher icon phpstan

phpmd

2.3k
Stars
344
Forks
Watchers

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 measure...

verified publisher icon phpmd

dg

471
Stars
131
Forks
Watchers

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

verified publisher icon mchalupa

TIP

271
Stars
124
Forks
Watchers

Static program analysis for TIP

verified publisher icon cs-au-dk

TAJS

188
Stars
39
Forks
Watchers

Type Analyzer for JavaScript

verified publisher icon cs-au-dk

SonarJS

1.0k
Stars
175
Forks
Watchers

SonarSource Static Analyzer for JavaScript and TypeScript

verified publisher icon SonarSource

sonar-java

1.1k
Stars
665
Forks
Watchers

:coffee: SonarSource Static Analyzer for Java Code Quality and Security

verified publisher icon SonarSource

sonar-dotnet

727
Stars
222
Forks
Watchers

Code analyzer for C# and VB.NET projects

verified publisher icon SonarSource