Laakeri / contestlib
Collection of algorithm implementations for ICPC programming contests
☆23Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for contestlib
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- Analysis and generation of substitutions☆22Updated 2 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 7 years ago
- Although the Mersenne Twister PRNG is by design not cryptographically secure many applications tend to use it for cryptographic operation…☆27Updated 9 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 4 years ago
- ☆12Updated 5 years ago
- Measure branching along code paths☆20Updated 8 years ago
- A dynamic analysis framework for C and C++ programs☆26Updated 5 months ago
- ROP Payload Compiler☆11Updated 7 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆38Updated 4 years ago
- Automatically exported from code.google.com/p/mao☆11Updated 3 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- A c++ implementation of the Two-Pass Pairing Heap data structure.☆11Updated 8 years ago
- Generator of "nothing-up-my-sleeve" constants☆23Updated 9 years ago
- gcc plugin to discover optimization passes used during compilation☆19Updated 3 years ago
- Reference implementations of the GIMLI permutation☆13Updated 7 years ago
- ☆19Updated 4 years ago
- Pintool to detect Read before Write memory access☆21Updated 11 years ago
- Tools, documentation and test inputs for fuzzing opensource projects with AddressSanitizer and friends.☆28Updated 9 years ago
- An Oblivious RAM program☆7Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- Fuzzing compression libraries☆19Updated 8 years ago
- Official repository for ASAP: High System-code Security at Low Overhead☆24Updated 8 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆26Updated last month
- ☆11Updated 2 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago