static-analyzer

e-m-b-a/emba

+14

EMBA - The firmware security analyzer

phpstan

+10

PHP Static Analysis Tool - discover bugs in your code without running it!

phpdoc-parser

+2

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

SVF-tools/SVF

+1

Static Value-Flow Analysis Framework for Source Code

cwe_checker

+1

cwe_checker finds vulnerable patterns in binary executables