Alternatives and similar repositories for hellollvm:

Users that are interested in hellollvm are comparing it to the libraries listed below

• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆55Updated 5 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆34Updated 2 years ago
• mit-ll / HAKC
  ☆35Updated 2 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• bwickman97 / ffmalloc
  ☆49Updated 2 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated 2 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 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
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 4 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated last month
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆41Updated 6 months ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆31Updated last week
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆43Updated 4 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 3 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• HexHive / datashield
  ☆17Updated 4 years ago
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆17Updated 3 years ago
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 6 months ago