Audaine

Pinned Repositories

• anvill

  anvill forges beautiful LLVM bitcode out of raw machine code

  Language:LLVM0000

• blight

  A framework for instrumenting build tools

  Language:Python0000

• capstone

  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

  Language:C0000

• cast_checks

  A procedural macro to check for invalid casts

  Language:Rust0000

• clangir

  A new high-level IR for clang.

  Language:LLVM0000

• deepstate

  A unit test-like interface for fuzzing and symbolic execution

  Language:Python0000

• gap

  A utility library to bridge llvm and mlir gaps.

  Language:C++1000

• glog

  C++ implementation of the Google logging module

  Language:C++0000

• llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

  Language:LLVM2000

• vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++1000

Audaine's Repositories