mmcloughlin / hellollvm

Related projects ⓘ

Alternatives and complementary repositories for hellollvm

• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆19Updated 2 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated last year
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated 2 years ago
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 4 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 4 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆42Updated 4 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 4 months ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• vusec / dangzero
  ☆16Updated last year
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆31Updated this week
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆42Updated 2 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated last year
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 3 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆21Updated 4 years ago