dirkriehle / adap-courseLinks
A course on advanced object-oriented design and programming
☆18Updated 2 weeks ago
Alternatives and similar repositories for adap-course
Users that are interested in adap-course are comparing it to the libraries listed below
Sorting:
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- ☆14Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated last year
- A collection of high-performance crypto implementations.☆52Updated 2 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- ☆52Updated 3 years ago
- Load-time selective binary rewriting☆164Updated 3 years ago
- ☆29Updated 6 years ago
- Java Concolic Unit Testing Engine☆93Updated 11 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆17Updated 6 months ago
- ☆20Updated 6 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆95Updated 2 months ago
- Parallel Delta Debugging Framework☆54Updated 2 months ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Reproducible experimeents on UTF-8 validation using SIMD instructions☆41Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- ☆13Updated 7 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- Automatic Binary Parallelisation☆43Updated 11 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- ☆38Updated 8 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- ☆24Updated last year
- Static Analyzer and Verifier☆51Updated last year
- A minimalistic and high-performance SAT solver☆29Updated 2 years ago
- Lord of the io_uring: io_uring tutorial, examples and reference☆100Updated last year