hyc / randprog
Randomly generate a C (or javascript) program
☆35Updated 7 years ago
Alternatives and similar repositories for randprog:
Users that are interested in randprog are comparing it to the libraries listed below
- Variation of american fuzzy lop for testing compilers☆122Updated 3 years ago
- ☆63Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- ☆50Updated 2 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Fuzzer for Wasm and Wasmer☆27Updated 5 years ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- Tor anonymity network for SGX☆46Updated 6 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- C crypto library☆23Updated last year
- ☆76Updated 2 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆68Updated last year
- Examples for TracerX KLEE☆9Updated 4 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- An AES-based 384 bit permutation.☆19Updated 5 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Constraint solver based on coverage-guided fuzzing☆244Updated last year
- Runtime type and bounds-error checking for C/C++☆103Updated 4 months ago
- Haraka is a secure and efficient short-input hash function.☆56Updated 7 years ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆41Updated 5 years ago
- KLEE's version of uClibc☆52Updated 10 months ago
- ☆35Updated 8 years ago
- ☆10Updated 5 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year