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
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆58Updated 4 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆68Updated 6 years ago
• sdasgup3 / binary-decompilation
  Extracting high level semantic information from binary code
  ☆66Updated 6 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆49Updated 3 weeks ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆94Updated 4 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆69Updated last year
• securesystemslab / multicompiler-clang
  LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.
  ☆18Updated 7 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 5 months ago
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆38Updated 5 years ago
• decomp / doc
  Design documents related to the decompilation pipeline.
  ☆29Updated last month
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆44Updated last year
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains
  ☆22Updated last year
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated 4 months ago
• jcdutton / reference
  Reference material for libbeauty
  ☆25Updated 3 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 3 years ago
• bdcht / ccrawl
  clang-based search engine for C/C++ data structures, classes, prototypes & macros
  ☆103Updated 2 months ago
• xlauko / lart
  LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…
  ☆19Updated 2 years ago
• static-analysis-engineering / CodeHawk-Binary
  CodeHawk Binary Analyzer for malware analysis and general reverse engineering
  ☆36Updated 2 weeks ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated 2 weeks ago