code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
☆18Dec 10, 2018Updated 7 years ago
Alternatives and similar repositories for rb_tree_demo
Users that are interested in rb_tree_demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- .NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.☆19Feb 4, 2021Updated 5 years ago
- A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!☆17Feb 13, 2018Updated 8 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- ☆15Dec 16, 2014Updated 11 years ago
- Very simple runtime hooking library for OS X.☆15Aug 9, 2015Updated 11 years ago
- Artifact for the OOPSLA 17 DejaVu Paper☆10Jul 26, 2017Updated 9 years ago
- Fuzz testing for various parts of the Lua interpreter, mostly for use as a test-case generator for alternate Lua implementations☆10Jun 7, 2020Updated 6 years ago
- A UCI (Universal Chess Interface) chess engine written in the Rust programming language☆20Dec 24, 2016Updated 9 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 4 years ago
- Coq utility and tactic library.☆27Dec 9, 2023Updated 2 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Feb 19, 2025Updated last year
- Virtual Machine profiler (so far restricted to pypy and cpython)☆11Dec 14, 2014Updated 11 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years ago
- How many x86_64 instructions are there anyway?☆23Mar 8, 2016Updated 10 years ago
- A stupid module that lets you use `dictproxy` on any Python.☆15Aug 6, 2013Updated 13 years ago
- A Platform for Digital Real-Time Control.☆15Jun 14, 2013Updated 13 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 6 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Exploits used on hacking CTF's☆28Sep 16, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Nov 29, 2023Updated 2 years ago
- Class on embedded systems testing☆13Apr 29, 2020Updated 6 years ago
- A StableHLO analyzer in Lean☆25Oct 8, 2026Updated 3 weeks ago
- These testcases are generated by running afl-fuzz against libbitcoinconsensus.☆15May 22, 2015Updated 11 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35May 4, 2018Updated 8 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Nov 21, 2022Updated 3 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆17May 27, 2022Updated 4 years ago
- Memory awesomeness.☆30Mar 22, 2015Updated 11 years ago
- Implementation of Nuprl's type theory in Coq☆48Jul 28, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Metagenomic Analysis☆11Apr 5, 2021Updated 5 years ago
- Portable console handling for Mirage applications☆12Feb 2, 2022Updated 4 years ago
- Red-black tree C implementation☆37Dec 3, 2018Updated 7 years ago
- Entropy driver for MirageOS -- this has been imported into https://github.com/mirage/mirage-crypto☆11Feb 24, 2020Updated 6 years ago
- Python API for rewriting GTIRB files☆21Oct 14, 2026Updated 3 weeks ago
- OCaml bindings for libgccjit☆29Feb 13, 2017Updated 9 years ago
- Modernized mode-line or status bar for emacs☆16Mar 18, 2016Updated 10 years ago