cad-polito-it / byronLinks
An evolutionary source-code fuzzer
☆12Updated 2 months ago
Alternatives and similar repositories for byron
Users that are interested in byron are comparing it to the libraries listed below
Sorting:
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses☆45Updated last week
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 months ago
- Schedule for ArtOfSAT☆10Updated last year
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- The anytime MaxSAT solver Loandra☆17Updated 3 weeks ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- CNF minimizer and minimal independent set minimizer☆19Updated last week
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆16Updated 9 months ago
- Type qualifiers for C☆16Updated 13 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆47Updated last month
- Repository for synthCT framework (NDSS'22)☆10Updated 2 years ago
- Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.☆28Updated this week
- Grammar synthesis algorithm using a black box oracle☆36Updated last year
- TracerX Symbolic Virtual Machine☆33Updated last month
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated this week
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Updated last year
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 5 months ago
- ☆9Updated last year
- 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
- Assume-Guarantee REasoning Environment☆16Updated 2 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆14Updated 6 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago