Awesome Open Source

Programming Languages

Search results for llvm program analysis

program-analysis x

23 search results found

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A LLVM-based static analysis framework.

Awesome Llvm ⭐ 395

A curated list of awesome LLVM (including Clang, etc) related resources.

Seahorn ⭐ 391

SeaHorn Verification Framework

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Llvm Study Notes ⭐ 127

Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0

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.

Opcde2017 ⭐ 112

Slides and very basic examples

Cclyzerpp ⭐ 89

cclyzer++ is a precise and scalable global pointer analysis for LLVM code.

Dynamic Program Slicing in LLVM Compiler

Static analysis & deobfuscation framework for x86/x64

A precise and scalable pointer analysis for LLVM, written in Ascent

Binary Decompilation ⭐ 37

Extracting high level semantic information from binary code

Program Analysis for LLVM

Signedness-Agnostic Strided-Interval

Progge.rs ⭐ 24

Program analysis playground for a simple, imperative language

IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis

Surveyor ⭐ 13

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

TSAR (Traits Static AnalyzeR)

Llvm Clang Examples ⭐ 9

A collection of code based on LLVM/Clang compilation libraries and tools

A shared memory dependence tracing tool for dynamic concurrent program analysis

Dynamic analysis of multithreaded C programs

Related Searches

C Plus Plus Llvm (1,696)

Llvm Clang (934)

Language Llvm (368)

Python Llvm (284)

Rust Llvm (282)

Cmake Llvm (252)

Programming Language Llvm (163)

1-23 of 23 search results

Privacy | About | Terms | Follow Us On Twitter

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