cad-polito-it / byron
An evolutionary source-code fuzzer
☆9Updated 2 weeks ago
Alternatives and similar repositories for byron:
Users that are interested in byron are comparing it to the libraries listed below
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- ☆10Updated 3 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆12Updated 9 months ago
- 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
- WIP: evolutionary explorations of weird machines☆10Updated 3 years ago
- Support material for "A New Cellular Platform for the Development of Synthetic Living Machines"☆10Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- A Player vs AI game of checkers implemented in Prolog☆11Updated 3 years ago
- Utilities for constructing a large dataset of LLVM IR☆16Updated 5 months ago
- AFL++ with support for FormatFuzzer☆11Updated 2 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 3 years ago
- Assembly language Artificial Neural Network☆17Updated 4 months ago
- ☆11Updated 5 months ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated last month
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated last year
- program synthesis is possible☆41Updated 5 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- MIPS I simulator☆19Updated 6 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- Counterexample-Driven Genetic Programming☆17Updated 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 8 months ago
- CodeQL Security Queries☆23Updated this week
- Assume-Guarantee REasoning Environment☆14Updated 2 months ago
- Sort of Lambdas for gcc☆34Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Verified, Incremental, Binary Editing with Synthesis☆52Updated last year
- A list of source-to-source compilers for various languages☆43Updated 5 months ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 5 months ago