regehr / rb_tree_demoLinks
code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
☆18Updated 6 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
Sorting:
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆32Updated 5 years ago
- Abstract interpreter for real-world application programs☆32Updated 12 years ago
- custom type systems for Clang☆98Updated 9 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- ☆89Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Parser for the llvm bitcode format☆59Updated 2 months ago
- DExTer - Debug Experience Tester☆34Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Experimental results of the strata project☆9Updated 9 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- pre-release.☆12Updated 9 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Universal instruction selection☆12Updated 6 years ago
- T2 Temporal Prover☆95Updated 7 years ago