GithubHelp home page GithubHelp logo

learn-llvm / awesome-llvm Goto Github PK

View Code? Open in Web Editor NEW
414.0 21.0 33.0 379 KB

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

Python 61.01% Shell 36.99% Vim Script 2.00%
llvm clang compilers awesome-list llvm-tutorial program-analysis

awesome-llvm's Introduction

Awesome LLVM Awesome

This repo includes LLVM-related projects, websites, docs, and other resources. Only well-maintained resources are included; PRs are welcome. This README.md itself mostly records LLVM backend (as well as mixed) resources; for Clang-specific ones, please check Clang.md in this repo.

Starchart

Star History Chart

Websites(references)

Tutorials/Documentation (reference)

Publications

Official Tools/Libraries (reference)

Unofficial Tools/Libraries (reference)

  • SVF-tools - Pointer Analysis and Program Dependence Analysis for C and C++ Programs
  • smack - SMACK Software Verifier and Verification Toolchain
  • Phasar - A LLVM-based static analysis framework
  • Infer - Facebook's static analysis framework; C/C++/objc is based on LLVM/Clang
  • mstorsjo/llvm-mingw - An LLVM/Clang/LLD based mingw-w64 toolchain
  • microsoft/llvm-mctoll - statically (AOT) translates (or raises) binaries to LLVM IR
  • mcsema - An x86 to LLVM IR decompiler
  • whole-program-llvm - A wrapper script to build whole-program LLVM bitcode files; its go port gllvm
  • ollvm - code obfuscation based on LLVM4.0
  • S2E - Selective Symbolic Execution (use KLEE as symbolic executor)
  • RetDec - a retargetable machine-code decompiler based on LLVM
  • capstone - Disassembler based on the MC component of the LLVM compiler infrastructure
  • DWGrep - A tool for querying Dwarf (debuginfo) graphs
  • Emscripten - An LLVM-to-JavaScript Compiler
  • cling - The cling C++ interpreter (1.0 has been released)
  • remill - Library for lifting machine code to LLVM bitcode
  • llvm2cpg - LLVM meets Code Property Graphs
  • QBDI - A Dynamic Binary Instrumentation framework based on LLVM
  • circt - Circuit IR Compilers and Tools
  • American fuzzy lop (AFL) - LLVM mode for instrumentation
  • klee - Symbolic Virtual Machine
  • IKOS - Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  • diffkemp - Static analysis of semantic differences in kernel versionsa
  • GaloisInc/yapall - A precise and scalable pointer analysis for LLVM, written in Ascent
  • llvm2c - Decompiler of LLVM bitcode to C
  • dr checker - A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
  • DG - Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode
    • dg can integrate SVF, see here for details
  • llvm-crash-analyzer -- crash analysis against coredump files based on LLVM Machine-IR, together with LLDB
  • seahorn/clam - a static analyzer (CLI) based on seahorn/crab, the latter of which is abstract Interpretation-based library

Bindings

LLVM-backed Languages

Setup

Other relevant resources:

awesome-llvm's People

Contributors

hongxuchen avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.