Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Llvm Static Analysis Open Source Projects

Open source projects categorized as Llvm Static Analysis
Categories > Compilers > Llvm
Categories > Code Quality > Static Analysis
Codechecker ⭐ 2,023
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dependent packages 2total releases 63most recent commit 3 months agonpm codechecker-api-js} Downloads
Ikos ⭐ 1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
most recent commit 3 months ago
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774most recent commit 3 days agonpm svf-tools} Downloads
Phasar ⭐ 857
A LLVM-based static analysis framework.
most recent commit 3 months ago
Awesome Llvm Security ⭐ 500
awesome llvm security [Welcome to PR]
most recent commit 3 months ago
Seahorn ⭐ 391
SeaHorn Verification Framework
most recent commit 6 months ago
Dg ⭐ 376
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
most recent commit a year ago
Clang Tools Extra ⭐ 355
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
most recent commit 4 years ago
Clangkit ⭐ 342
ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.
most recent commit 3 years ago
Clam ⭐ 247
Static Analyzer for LLVM bitcode based on Abstract Interpretation
most recent commit a month ago
Sys ⭐ 182
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
most recent commit 2 years ago
Sea Dsa ⭐ 143
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
most recent commit 7 months ago
Mate ⭐ 120
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
most recent commit a year ago
Pasta ⭐ 107
Peter's Amazing Syntax Tree Analyzer
most recent commit 4 months ago
Cclyzerpp ⭐ 89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
most recent commit a year ago
Clang_libraries_companion ⭐ 79
Companion Repository for the Lecture Slides for the Clang Libraries
most recent commit 3 months ago
Dna ⭐ 68
Static analysis & deobfuscation framework for x86/x64
most recent commit a year ago
Cxxctp ⭐ 58
C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)
most recent commit 4 years ago
Stoat ⭐ 51
STatic (LLVM) Object file Analysis Tool
most recent commit 2 years ago
Futag ⭐ 50
FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек
most recent commit 3 months ago
Domtresat ⭐ 40
Dominator Tree LLVM Pass to Test Satisfiability
most recent commit 8 years ago
Yapall ⭐ 38
A precise and scalable pointer analysis for LLVM, written in Ascent
most recent commit 5 months ago
Llvm Project ⭐ 31
The home of the clang-based implementation of lifetime safety warnings.
most recent commit 3 years ago
The 2 Most Depended On Llvm Static Analysis Open Source Projects
Codechecker ⭐ 2,023
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dependent packages 2total releases 63latest release March 05, 2021most recent commit 3 months agonpm codechecker-api-js} Downloads
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774latest release December 09, 2023most recent commit 3 days agonpm svf-tools} Downloads
The 3 Latest Releases In Llvm Static Analysis Open Source Projects
Svf ⭐ 1,297
Static Value-Flow Analysis Framework for Source Code
dependent packages 1total releases 774latest release December 09, 2023most recent commit 3 days agonpm svf-tools} Downloads
Occam ⭐ 12
OCCAM: Object Culling and Concretization for Assurance Maximization
total releases 8latest release March 10, 2021most recent commit 3 years ago
Codechecker ⭐ 2,023
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dependent packages 2total releases 63latest release March 05, 2021most recent commit 3 months agonpm codechecker-api-js} Downloads
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.