44 results found Sort:

887
13.0k
mit
169
PHP Static Analysis Tool - discover bugs in your code without running it!
Created 2016-01-04
11,818 commits to 2.0.x branch, last one 18 hours ago
1.7k
3.0k
other
198
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
This repository has been archived (exclude archived)
Created 2012-01-28
79,616 commits to master branch, last one 4 years ago
Beautiful and understandable static analysis tool for PHP
Created 2013-12-13
903 commits to master branch, last one about a year ago
347
2.3k
bsd-3-clause
51
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...
Created 2011-01-29
2,569 commits to master branch, last one about a month ago
382
2.3k
apache-2.0
53
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Created 2015-06-15
6,361 commits to master branch, last one 7 days ago
BinAbsInspector: Vulnerability Scanner for Binaries
Created 2022-03-26
21 commits to main branch, last one 6 months ago
A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
Created 2016-10-15
5,542 commits to master branch, last one about a month ago
435
1.4k
other
56
Static Value-Flow Analysis Framework for Source Code
Created 2015-06-05
4,194 commits to master branch, last one 6 days ago
47
1.4k
mit
35
Cross-platform static analyzer and linter for Swift.
Created 2015-05-25
1,295 commits to master branch, last one 6 years ago
Next-gen phpDoc parser with support for intersection types and generics
Created 2017-11-19
489 commits to 2.0.x branch, last one 14 days ago
685
1.1k
lgpl-3.0
71
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
Created 2012-09-04
8,999 commits to master branch, last one 5 days ago
118
1.1k
lgpl-3.0
28
cwe_checker finds vulnerable patterns in binary executables
Created 2018-10-08
453 commits to master branch, last one 3 months ago
183
1.1k
lgpl-3.0
53
SonarSource Static Analyzer for JavaScript and TypeScript
Created 2012-05-15
4,496 commits to master branch, last one 19 hours ago
228
796
lgpl-3.0
50
Code analyzer for C# and VB.NET projects
Created 2012-08-28
7,255 commits to master branch, last one 3 months ago
74
759
gpl-3.0
13
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,...
Created 2023-01-10
100 commits to main branch, last one about a year ago
prealloc is a Go static analysis tool to find slice declarations that could potentially be preallocated.
Created 2017-11-06
62 commits to master branch, last one 7 months ago
Doctrine extensions for PHPStan
Created 2017-01-30
760 commits to 2.0.x branch, last one 18 hours ago
49
571
mpl-2.0
15
🕵️ Haskell STatic ANalyser
Created 2018-07-25
307 commits to main branch, last one about a month ago
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 im...
Created 2019-11-12
163 commits to master branch, last one 3 years ago
136
484
mit
20
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Created 2015-02-19
3,181 commits to master branch, last one about a year ago
27
449
bsd-3-clause
9
Statically detect memory, concurrency bugs and possible panic locations for Rust.
Created 2020-06-04
123 commits to all branch, last one about a month ago
eBPF verifier based on abstract interpretation
Created 2018-06-16
1,986 commits to main branch, last one 3 days ago
75
375
lgpl-3.0
13
njsscan is a semantic aware SAST tool that can find insecure code patterns in your Node.js applications.
Created 2020-04-15
214 commits to master branch, last one 7 days ago
34
362
other
17
Clang's scan-build re-implementation in python
Created 2013-09-30
670 commits to master branch, last one 3 years ago
125
282
unknown
24
Static program analysis for TIP
Created 2013-11-21
27 commits to master branch, last one 2 years ago
154
264
lgpl-3.0
36
☕️ PMD Plugin for SonarQube
Created 2013-12-16
679 commits to master branch, last one 4 months ago
58
202
mit
12
OPEM (Open Source PEM Fuel Cell Simulation Tool)
Created 2017-12-16
1,193 commits to master branch, last one 8 months ago
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Created 2019-11-17
706 commits to master branch, last one 2 months ago
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
Created 2021-09-01
10 commits to main branch, last one 6 months ago