Alternatives and similar repositories for f1x:

Users that are interested in f1x are comparing it to the libraries listed below

• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆140Updated last month
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆55Updated 4 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆91Updated 4 years ago
• trailofbits / binrec-tob
  BinRec: Dynamic Binary Lifting and Recompilation
  ☆129Updated last year
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆56Updated this week
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆103Updated 3 months ago
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 3 months ago
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆66Updated 3 weeks ago
• shao-hua-li / CompDiff
  ☆36Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 2 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• GrammaTech / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆64Updated 6 years ago
• seclab-ucr / Unias
  A Hybrid Alias Analysis
  ☆18Updated last year
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 4 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆23Updated 4 years ago
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆112Updated 4 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated 2 weeks ago
• GrammaTech / gtirb-pprinter
  Pretty printer from GTIRB to assembly code
  ☆48Updated last week
• ssrg-vt / FoxDec
  Formally verified x86-64 decompilation
  ☆22Updated 2 weeks ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆35Updated this week
• SVF-tools / Simplified-STL
  A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation
  ☆11Updated 2 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last week
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 11 months ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆79Updated 4 years ago
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 7 months ago
• ZJU-Automated-Reasoning-Group / smtfuzz
  A fuzzer for SMT solvers
  ☆19Updated 2 months ago