Alternatives and similar repositories for popl2020-tutorial

Users that are interested in popl2020-tutorial are comparing it to the libraries listed below

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 5 years ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆28Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• lifting-bits / dds
  Dr. Disassembler
  ☆36Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• vusec / dangzero
  ☆17Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆92Updated 4 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last month
• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆29Updated 4 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆19Updated last year
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆26Updated 5 years ago
• pwnslinger / sn4ke
  Evaluation of two binary mutation engines based on ddisasm and rev.ng
  ☆19Updated 2 years ago
• hdc-arizona / cfgexplorer
  Interactive Control Flow Graph Visualization.
  ☆35Updated 3 years ago
• yellowbyte / opaque-predicates-detective
  An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
  ☆31Updated 4 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆28Updated 2 years ago
• trailofbits / vast-checker
  ☆27Updated 2 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• FuturesLab / Bin2Wrong
  Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers
  ☆37Updated last month