hyc / randprog
Randomly generate a C (or javascript) program
☆35Updated 6 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 2 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Examples for TracerX KLEE☆9Updated 4 years ago
- ☆63Updated 5 years ago
- ☆35Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- Hierarchical Delta Debugging Framework☆59Updated 3 months ago
- Static analysis framework for EVM bytecode☆30Updated 5 years ago
- ☆76Updated 2 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆37Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- ☆50Updated 2 years ago
- SUPA☆28Updated 4 years ago
- Tor anonymity network for SGX☆46Updated 6 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 3 months ago
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆67Updated last year
- A framework for testing compilers' type checkers☆52Updated 8 months ago
- Automatic detection of speculative information flows☆67Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆58Updated last year
- ☆51Updated 9 years ago
- Regexp based tool for mutating generic source code across numerous languages☆140Updated 8 months ago
- solver for the reachability modulo theories problem☆60Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 9 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- KLEE's version of uClibc☆52Updated 10 months ago
- Public-facing course info for program analysis materials.☆40Updated 3 months ago