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:
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- Expression-oriented fast file finder☆22Oct 21, 2018Updated 7 years ago
- A decorater-based backport of PEP-3107 function annotations to Python 2.7, and related tools☆13Feb 19, 2013Updated 13 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- OCaml bindings to libuv -- Cross-platform asychronous I/O☆18Jan 12, 2015Updated 11 years ago
- Virtual Machine profiler (so far restricted to pypy and cpython)☆11Dec 14, 2014Updated 11 years ago
- Prince cipher source code in C99 and test vectors with intermediate values☆15May 22, 2021Updated 5 years ago
- Infuse some sanity into FDA's FAERS data set.☆10Oct 20, 2020Updated 5 years ago
- An example implementation of WOLA BATCH for z/OS Connect Enterprise Edition, including COBOL source files, sample JCLs, a matching zCEE A…☆10Sep 1, 2020Updated 6 years ago
- A StableHLO analyzer in Lean☆23Oct 8, 2026Updated last week
- Zipper data structure for Java☆14Sep 10, 2009Updated 17 years ago
- A C/C++ pretty printing library.☆12May 26, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- How many x86_64 instructions are there anyway?☆23Mar 8, 2016Updated 10 years ago
- Memory awesomeness.☆30Mar 22, 2015Updated 11 years ago
- ☆12Apr 22, 2020Updated 6 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆17May 27, 2022Updated 4 years ago
- Stuff I originally stored on my personal website☆12May 8, 2022Updated 4 years ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- REIL translation library☆36May 6, 2016Updated 10 years ago
- OCaml bindings for clang☆24May 1, 2018Updated 8 years ago
- ☆11Jul 23, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Red-black tree C implementation☆37Dec 3, 2018Updated 7 years ago
- Object Algebra Composition☆24Jul 4, 2013Updated 13 years ago
- A library for tracking program state☆15Jun 18, 2016Updated 10 years ago
- Code and sample data for evaluating rating systems for asymmetric multiplayer games☆15May 19, 2019Updated 7 years ago
- Java client API for Google Code Jam contest☆12Apr 21, 2017Updated 9 years ago
- Portable console handling for Mirage applications☆12Feb 2, 2022Updated 4 years ago
- Exploits used on hacking CTF's☆28Sep 16, 2019Updated 7 years ago
- Rexx scripts☆13Sep 10, 2014Updated 12 years ago
- A script to connect to a mainframe at a given hostname[:port] or a file containing hostnames[:ports] and take a screenshot of the first s…☆12Dec 1, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The bvim is an advanced fork of bvi, a display-oriented editor for binary files, based on the vi texteditor. This version include support…☆31Jul 19, 2012Updated 14 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Apr 22, 2015Updated 11 years ago
- VM Runtime Java simple 'hello world' app☆12May 18, 2018Updated 8 years ago
- C Foreign function interface generator.☆19Jun 10, 2018Updated 8 years ago
- Trace bitmaps in scalable fonts☆23Mar 30, 2025Updated last year
- ☆16May 12, 2013Updated 13 years ago
- A wrapper service for z/OS® Connect, enabling node applications to discover and access IBM z Systems resources that are service-enabled b…☆11Jan 28, 2026Updated 8 months ago