Alternatives and similar repositories for sydr-benchmark:

Users that are interested in sydr-benchmark are comparing it to the libraries listed below

• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated 3 weeks ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated 3 weeks ago
• cisco-open / llvm-crash-analyzer
  llvm crash analysis
  ☆43Updated 9 months ago
• angr / ailment
  AIL: The angr Intermediate Language.
  ☆32Updated this week
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated last year
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains
  ☆22Updated last year
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 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…
  ☆27Updated 3 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆18Updated 3 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• trailofbits / vast-checker
  ☆25Updated last year
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆81Updated 6 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆21Updated 3 years ago
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆26Updated 11 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• static-analysis-engineering / codehawk
  CodeHawk Abstract Interpretation Engine and Analyzers
  ☆67Updated last week
• vrthra / F1
  ☆82Updated 6 months ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆69Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated last month
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago
• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago