Alternatives and similar repositories for klee21-tina-artifact

Users that are interested in klee21-tina-artifact are comparing it to the libraries listed below

• lifting-bits / dds
  Dr. Disassembler
  ☆36Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆65Updated 6 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated this week
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆20Updated last week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆69Updated last year
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆92Updated 4 years ago
• CompArchCam / Janus
  Automatic Binary Parallelisation
  ☆43Updated 4 months ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 6 years ago
• tudasc / TypeART
  LLVM-based type and memory allocation tracking sanitizer
  ☆53Updated last month
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated last month
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 7 months ago
• kaist-hacking / HardsHeap
  HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
  ☆36Updated 3 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 5 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆54Updated 3 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆26Updated 5 years ago
• lac-dcc / Angha
  Angha is a framework for constructing compilable synthetic C benchmarks out of publicly available C repositories.
  ☆22Updated 2 years ago
• davidhildenbrand / drob
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆25Updated 5 years ago