cad-polito-it / byron
An evolutionary source-code fuzzer
☆10Updated last month
Alternatives and similar repositories for byron:
Users that are interested in byron are comparing it to the libraries listed below
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Updated 6 years ago
- ☆10Updated 3 years ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 9 months ago
- GoTEE - example application☆14Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…☆14Updated 6 years ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated last year
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- TracerX Symbolic Virtual Machine☆33Updated last month
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 5 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- MIPS I simulator☆19Updated 6 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last month
- Memory Tagging ISA extension that can be used by software to enforce memory tag checks on memory loads and stores☆11Updated last week
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- QEmu backend for avatar²☆21Updated 3 months ago
- Symbolic execution of LLVM IR☆13Updated last year
- Prediction algorithms for the PCG pseudo-random generator☆11Updated 4 years ago
- ☆12Updated 6 months ago
- ConFuzz is an advanced FPGA configuration engine fuzzing and rapid prototyping framework based on boofuzz and OpenOCD.☆13Updated 2 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- DARPA Cyber Grand Challenge Linux source code☆17Updated 9 years ago
- fast probabilistic symmetry detection on graphs☆14Updated 2 weeks ago
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated last year
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago