delcypher / srg-llvm-pass-tutorial

Related projects: ⓘ

• quarkslab / llvm-passes
  Collection of various llvm passes
  ☆116Updated 9 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆35Updated 9 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆37Updated 7 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆29Updated 7 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆37Updated 5 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆35Updated 9 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆42Updated 4 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆27Updated 5 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• sslab-gatech / kernel-analyzer
  ☆66Updated 4 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆19Updated 2 years ago
• sslab-gatech / aslr-guard
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆35Updated 8 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 3 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 10 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 9 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆54Updated 4 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 6 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 6 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆50Updated 2 years ago
• adrianherrera / afl-mutation-graph
  Recover mutation graph from an AFL seed
  ☆59Updated 3 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• securesystemslab / BinRec
  ☆32Updated last year
• purdue-secomp-lab / MEDS
  ☆36Updated 2 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• Yanivmd / TRACY
  TRACY
  ☆19Updated 8 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆85Updated 3 years ago