CraigStuntz / FizilView external linksLinks
A fuzzer. Work in progress!
☆21Sep 8, 2017Updated 8 years ago
Alternatives and similar repositories for Fizil
Users that are interested in Fizil are comparing it to the libraries listed below
Sorting:
- A portable source-level debugger for postscript programs.☆20Aug 28, 2020Updated 5 years ago
- covFuzz☆34Jun 8, 2017Updated 8 years ago
- a grammar-based data generator☆61Jan 10, 2019Updated 7 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- CRash Scope (CRScope) is a ML-guided crash classifier of a given JavaScript engine crash-dump file.☆13Aug 28, 2019Updated 6 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Apr 23, 2021Updated 4 years ago
- Immunity Debugger Taint Tracer☆20Jun 18, 2013Updated 12 years ago
- experiment☆11Jan 29, 2021Updated 5 years ago
- Small example MirageOS unikernels.☆15Jun 14, 2019Updated 6 years ago
- The tool for bugs detection in the process of tainted data processing (based on DBI Intel PIN).☆12Jul 23, 2015Updated 10 years ago
- Port of Seatbelt in F#☆13Jul 12, 2020Updated 5 years ago
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- Terraform .net DSL☆15Aug 14, 2018Updated 7 years ago
- A Myriad plugin for generating statically typed lossless wrappers around JToken given a schema.☆15Jul 1, 2020Updated 5 years ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Jun 3, 2021Updated 4 years ago
- ☆36May 4, 2025Updated 9 months ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 11 years ago
- A home-made stack based language heavily inspired from PostScript☆11Jan 24, 2020Updated 6 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- Postscript Virtual Machine using Lua☆16Jul 28, 2020Updated 5 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Sep 30, 2015Updated 10 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆20Sep 7, 2023Updated 2 years ago
- Builds cloud-init VM configuration files in F#☆16Jan 24, 2026Updated 3 weeks ago
- Line-based testcase reducer☆100Dec 15, 2025Updated last month
- Code from MSc thesis on combining learning and fuzzing☆19Jul 30, 2018Updated 7 years ago
- DBGBench Website:☆19Feb 24, 2021Updated 4 years ago
- Akka clustering in F#☆22Jan 15, 2020Updated 6 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- FSI ♥️ IDE☆20Feb 12, 2023Updated 3 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 years ago
- ☆18Dec 27, 2021Updated 4 years ago
- Pure python functional programming☆28Feb 5, 2010Updated 16 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- OCaml REST and WebSockets client for the Gemini Trading Exchange.☆20Dec 29, 2025Updated last month
- Bbuzz: a bit-aware network protocol fuzzing and reverse engineering framework☆23Jan 27, 2021Updated 5 years ago
- ☆19Dec 28, 2021Updated 4 years ago