Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
-
Updated
Apr 23, 2020 - C++
#
static-analyzer
Here are 12 public repositories matching this topic...
Static Value-Flow Analysis Framework for Source Code
llvm static-analysis dependency-analysis code-analysis static-analyzer pointer-analysis points-to-analysis source-code-analysis code-security static-value-flow
-
Updated
Apr 7, 2025 - C++
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis static-code-analysis llvm static-analysis dependency-graph slice static-analyzer program-analysis llvm-bitcode llvm-slicer dependence-graph reaching-definitions pointer-analysis slicing llvm-ir points-to-analysis data-dependency control-dependency backward-slicing backward-slice
-
Updated
Nov 29, 2023 - C++
eBPF verifier based on abstract interpretation
-
Updated
Apr 27, 2025 - C++
Static verification tool for DNS zone files
-
Updated
Jan 8, 2023 - C++
Slicing tool for c++ programs using clang AST.
-
Updated
Mar 8, 2021 - C++
Try to build a static analyzer in Gcc Plugin, the main application scenario is to detect memory-leak,double-free,use-after-free.
-
Updated
Dec 29, 2024 - C++
Tap (Type Analyzer for PHP) is a static analyzer for PHP. Based on the optional PhpDoc of functions, methods and properties, Tap will try to deduce local variables' types and check the compatibility. It can reveal potential bugs before the code is really running on production.
-
Updated
Sep 13, 2017 - C++
Computes LCOM metrics for C++ and Ada code
metrics static-analysis oop object-oriented software-engineering static-analyzer code-metrics metrics-gathering lcom cohesion lack-of-cohesion lack-of-cohesion-of-test-methods
-
Updated
Feb 10, 2025 - C++
🧠🔍 A static and dynamic analyzer for Brainfuck
-
Updated
Aug 12, 2023 - C++
Unified Code Count is a Software Metrics Tool that parses over 20 different programming languages to find Logical and Physical source lines of code, counts keywords and various operators, math function names, etc. and cyclomatic complexity for a given language and then generates various reports. This release includes significant performance enha…
-
Updated
Feb 26, 2017 - C++
Improve this page
Add a description, image, and links to the static-analyzer topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-analyzer topic, visit your repo's landing page and select "manage topics."