42 results found Sort:

862
12.7k
mit
173
PHP Static Analysis Tool - discover bugs in your code without running it!
Created 2016-01-04
10,992 commits to 1.11.x branch, last one a day ago
1.7k
3.0k
other
197
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 9 months ago
345
2.3k
bsd-3-clause
53
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,566 commits to master branch, last one about a month ago
356
2.1k
apache-2.0
54
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Created 2015-06-15
6,229 commits to master branch, last one 10 days ago
BinAbsInspector: Vulnerability Scanner for Binaries
Created 2022-03-26
21 commits to main branch, last one about a month ago
A Static Code Analyzer for PHP (a PhpStorm/Idea Plugin)
Created 2016-10-15
5,526 commits to master branch, last one about a year ago
51
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
425
1.3k
other
56
Static Value-Flow Analysis Framework for Source Code
Created 2015-06-05
4,081 commits to master branch, last one 4 days ago
Next-gen phpDoc parser with support for intersection types and generics
Created 2017-11-19
436 commits to 1.23.x branch, last one 29 days ago
668
1.1k
lgpl-3.0
72
:coffee: SonarSource Static Analyzer for Java Code Quality and Security
Created 2012-09-04
8,900 commits to master branch, last one a day ago
116
1.1k
lgpl-3.0
28
cwe_checker finds vulnerable patterns in binary executables
Created 2018-10-08
448 commits to master branch, last one 11 days ago
176
1.0k
lgpl-3.0
54
SonarSource Static Analyzer for JavaScript and TypeScript
Created 2012-05-15
4,365 commits to master branch, last one 8 days ago
223
750
lgpl-3.0
51
Code analyzer for C# and VB.NET projects
Created 2012-08-28
7,165 commits to master branch, last one a day ago
71
712
gpl-3.0
12
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 12 months 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 2 months ago
Doctrine extensions for PHPStan
Created 2017-01-30
687 commits to 1.4.x branch, last one a day ago
47
562
mpl-2.0
15
🕵️ Haskell STatic ANalyser
Created 2018-07-25
304 commits to main branch, last one 28 days 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
131
474
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
76
360
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
205 commits to master branch, last one 2 months ago
eBPF verifier based on abstract interpretation
Created 2018-06-16
1,851 commits to main branch, last one 7 days ago
21
358
unknown
9
Statically detect Rust deadlocks bugs
Created 2020-06-04
113 commits to all branch, last one 8 months ago
33
350
other
18
Clang's scan-build re-implementation in python
Created 2013-09-30
670 commits to master branch, last one 3 years ago
124
275
unknown
24
Static program analysis for TIP
Created 2013-11-21
27 commits to master branch, last one 2 years ago
153
254
lgpl-3.0
36
☕️ PMD Plugin for SonarQube
Created 2013-12-16
676 commits to master branch, last one a day ago
57
189
mit
12
OPEM (Open Source PEM Fuel Cell Simulation Tool)
Created 2017-12-16
1,193 commits to master branch, last one 3 months ago
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Created 2019-11-17
694 commits to master branch, last one 10 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 about a month ago