Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Llvm Program Analysis Open Source Projects

Open source projects categorized as Llvm Program Analysis
Categories > Compilers > Llvm
Categories > Security > Program Analysis
Ikos ⭐ 1,935
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
most recent commit 4 months ago
Phasar ⭐ 857
A LLVM-based static analysis framework.
most recent commit 4 months ago
Awesome Llvm ⭐ 395
A curated list of awesome LLVM (including Clang, etc) related resources.
most recent commit 2 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
Clam ⭐ 247
Static Analyzer for LLVM bitcode based on Abstract Interpretation
most recent commit a month ago
Llvm Study Notes ⭐ 127
Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
most recent commit 4 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 2 years ago
Opcde2017 ⭐ 112
Slides and very basic examples
most recent commit 7 years ago
Cclyzerpp ⭐ 89
cclyzer++ is a precise and scalable global pointer analysis for LLVM code.
most recent commit a year ago
Giri ⭐ 84
Dynamic Program Slicing in LLVM Compiler
most recent commit 6 years ago
Dna ⭐ 68
Static analysis & deobfuscation framework for x86/x64
most recent commit a year ago
Yapall ⭐ 38
A precise and scalable pointer analysis for LLVM, written in Ascent
most recent commit 5 months ago
Binary Decompilation ⭐ 37
Extracting high level semantic information from binary code
most recent commit 5 years ago
Pa.llvm ⭐ 36
Program Analysis for LLVM
most recent commit 7 years ago
Sasi ⭐ 27
Signedness-Agnostic Strided-Interval
most recent commit 5 years ago
Progge.rs ⭐ 24
Program analysis playground for a simple, imperative language
most recent commit 2 years ago
Intflow ⭐ 15
IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
most recent commit 9 years ago
Surveyor ⭐ 13
A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
most recent commit 3 years ago
Tsar ⭐ 13
TSAR (Traits Static AnalyzeR)
most recent commit a year ago
Llvm Clang Examples ⭐ 9
A collection of code based on LLVM/Clang compilation libraries and tools
most recent commit 4 years ago
Rwtrace ⭐ 7
A shared memory dependence tracing tool for dynamic concurrent program analysis
most recent commit 9 years ago
Dpu ⭐ 5
Dynamic analysis of multithreaded C programs
most recent commit 4 years ago
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.