|
|
OCaml |
2 |
The goblint static analysis framework |
Jul 07, 2021 |
|
|
TypeScript |
2439 |
Static analysis for Angular projects. |
Aug 23, 2022 |
|
|
OCaml |
90 |
Static analysis framework for C |
Aug 14, 2022 |
|
|
OCaml |
2 |
Static analysis framework for C |
Aug 01, 2022 |
|
|
OCaml |
2 |
Static analysis framework for C |
May 04, 2023 |
|
|
Python |
202 |
Scalpel: The Python Static Analysis Framework |
May 20, 2023 |
|
|
Elixir |
1297 |
Security-focused static analysis for the Phoenix Framework |
Aug 23, 2022 |
|
|
C# |
101 |
Generic static analysis framework. |
Aug 14, 2022 |
|
|
Ruby |
18 |
A static analysis framework. |
Jan 28, 2023 |
|
|
Ruby |
13 |
A static analysis framework for NASL. |
Jan 21, 2022 |
|
|
Scheme |
13 |
Static Analysis Framework for Modular Analyses |
Apr 03, 2023 |
|
|
Rust |
24 |
Rust-based static analysis for TypeScript projects |
Jun 21, 2023 |
|
|
HTML |
23 |
Static website template for CNCF projects |
May 02, 2022 |
|
|
Go |
100 |
Fast Static File Analysis Framework |
Apr 01, 2023 |
|
|
Java |
6 |
Framework for doing static analysis in Java |
Aug 24, 2019 |
|
|
Java |
120 |
A framework for writing static analysis tests. |
Apr 17, 2021 |
|
|
C++ |
688 |
A LLVM-based static analysis framework. |
Aug 14, 2022 |
|
|
Racket |
3 |
A static analysis framework and suite |
Feb 06, 2022 |
|
|
C++ |
2 |
A LLVM-based static analysis framework. |
Apr 01, 2022 |
|
|
C++ |
1048 |
Static Value-Flow Analysis Framework for Source Code |
Apr 25, 2023 |
|
|
PHP |
2 |
Reflection library to do Static Analysis for PHP Projects |
Oct 02, 2022 |
|
|
PHP |
109 |
Reflection library to do Static Analysis for PHP Projects |
Apr 23, 2023 |
|
|
TypeScript |
45 |
Codehawk is a static analysis tool for JavaScript projects. |
May 06, 2023 |
|
|
Go |
5 |
Not a static website framework for Go |
Aug 12, 2022 |
|
|
C# |
3 |
binary static analysis/disassembler tool and framework |
Jul 03, 2021 |
|
|
Rust |
19 |
Composable, strict CLI framework with static analysis for Rust |
Jul 20, 2022 |
|
|
Python |
124 |
Tool for static code analysis of Robot Framework language |
Aug 21, 2022 |
|
|
Python |
31 |
Framework for static and dynamic analysis in Android APKs |
Apr 17, 2022 |
|
|
Python |
2 |
Static program analysis framework for Ethereum smart contract bytecode. |
Dec 12, 2022 |
|
|
Kotlin |
2 |
IntelliJ plugin for Tai-e (a static analysis framework) |
Oct 16, 2023 |
|
|
HTML |
2 |
Static generated website using Hugo framework. |
Aug 07, 2022 |
|
|
Ruby |
4 |
a damn cool static website framework |
Apr 25, 2014 |
|
|
Python |
2 |
A minimal, unopinionated framework for static website generation. |
Mar 08, 2024 |
|
|
Python |
4 |
An easy to extend static code analysis framework. |
Jan 28, 2023 |
|
|
Go |
4 |
Static Code Analysis Testing Framework which just works! |
Jan 25, 2023 |
|
|
Python |
7 |
cinspector - a static C source code analysis framework |
May 06, 2023 |
|
|
Shell |
2 |
Ansible role to setup Vivisect, static analysis / emulation / symbolik analysis framework |
Jan 10, 2023 |
|
|
Haskell |
2 |
Educational implementation of monotone framework analysis (static analysis of computer programs) |
Nov 05, 2017 |
|
|
Java |
259 |
An easy-to-learn/use static analysis framework for Java |
Sep 11, 2022 |
|
|
PHP |
2 |
Extend PHPStan (PHP Static Analysis) to support SilverStripe projects |
Jan 11, 2023 |
|
|
PHP |
8 |
Extend PHPStan (PHP Static Analysis) to support SilverStripe projects |
Nov 09, 2020 |
|
|
Python |
67 |
Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static … |
Nov 07, 2022 |
|
|
C# |
396 |
Project Auditor is an experimental static analysis tool for Unity Projects. |
Aug 07, 2022 |
|
|
Java |
13 |
Static code analysis tool for detecting recurring patterns in Scratch projects. |
Mar 12, 2023 |
|
|
C++ |
5 |
Open Enclave specific security automation projects (CodeQL static analysis, Fuzzing and binary analysis). |
Jul 02, 2022 |
|
|
Shell |
9 |
Parent POM for the static analysis plugins |
Jan 02, 2022 |
|
|
Rust |
2 |
A combined disassembler/static analysis/symbolic execution/debugger framework. |
Oct 21, 2023 |
|
|
TypeScript |
15 |
Visual Studio Code integration for Slither, a Solidity static analysis framework |
Aug 11, 2022 |
|
|
Python |
25 |
Static analysis framework for analyzing programs written in TVM's Relay IR. |
Sep 30, 2021 |
|
|
C# |
2 |
My personal build system with static code analysis for .NET (Core) projects. |
Nov 01, 2021 |