Alternatives and similar repositories for byron

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

• FPSG-UIUC / synthCT
  Repository for synthCT framework (NDSS'22)
  ☆10Updated 2 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last week
• binsec / icse2021-artifact992
  ☆10Updated 4 years ago
• cloudspinx / terraform-openstack
  Collection of OpenStack Terraform modules (WIP)
  ☆11Updated 7 months ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆47Updated last month
• mfthomps / Visualization-of-Software-Execution
  Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…
  ☆14Updated 7 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• MSRSSP / hyperfuzzer-seeds
  ☆9Updated 3 years ago
• GrammaTech / gtirb-rewriting
  Python API for rewriting GTIRB files
  ☆19Updated 2 weeks ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 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
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆15Updated 3 months ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆33Updated last month
• riscv / riscv-memory-tagging
  Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores
  ☆17Updated last week
• cispa / hammulator
  Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
  ☆17Updated 2 years ago
• loonwerks / AGREE
  Assume-Guarantee REasoning Environment
  ☆16Updated 2 months ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 5 years ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆16Updated 10 months ago
• binsec / haunted
  Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.
  ☆17Updated last year
• Usibre / asmregex
  A small and simple regular expression matcher for assembly code.
  ☆10Updated 2 years ago
• michael-emmi / ct-fuzz
  ☆10Updated 4 years ago
• vusec / dangzero
  ☆17Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆33Updated 4 years ago
• L1NNA / jvd
  Disassembly Generation and Processing for JARV1S
  ☆15Updated this week
• moyix / fpsmt_gpu
  Solving floating point SMT constraints on a GPU
  ☆49Updated 4 years ago
• uds-se / AFLplusplus
  AFL++ with support for FormatFuzzer
  ☆13Updated last month
• cbouilla / pcg
  Prediction algorithms for the PCG pseudo-random generator
  ☆11Updated 4 years ago
• HE-Wenjian / SGXlinger
  A side-channel attack vector based on interrupt latency against enclave execution of Intel SGX
  ☆10Updated 4 years ago
• fuzzitdev / example-c
  This is an example of a project with continuous fuzzing integration
  ☆10Updated 4 years ago