hyc / randprogLinks
Randomly generate a C (or javascript) program
☆37Updated 7 years ago
Alternatives and similar repositories for randprog
Users that are interested in randprog are comparing it to the libraries listed below
Sorting:
- Static Slicer for LLVM☆67Updated 10 years ago
- ☆66Updated 6 years ago
- Variation of american fuzzy lop for testing compilers☆126Updated 3 years ago
- ☆38Updated 8 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- ☆78Updated 3 years ago
- Semantic program repair system for C programs☆101Updated 3 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆136Updated 5 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated 2 months ago
- The Cloud9 main repository☆54Updated 12 years ago
- minimal symbolic model checker & fuzzer☆114Updated 10 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- A toolkit for building whole-program LLVM bitcode files☆80Updated 4 years ago
- Automatic detection of speculative information flows☆75Updated 4 years ago
- SeaHorn Verification Framework☆469Updated 8 months ago
- SMACK Software Verifier and Verification Toolchain☆442Updated 9 months ago
- Fuzzer for Wasm and Wasmer☆33Updated 5 years ago
- Whole Program LLVM: wllvm ported to go☆332Updated last year
- Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751☆72Updated 2 years ago
- Tor anonymity network for SGX☆48Updated 6 years ago
- Domain-Specific Fuzzing with Waypoints☆240Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- A fuzzing framework for SMT solvers☆196Updated 2 months ago
- ☆53Updated 2 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆233Updated 6 years ago
- Dynamic Program Slicing in LLVM Compiler☆143Updated 7 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆95Updated 2 weeks ago
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆559Updated 3 months ago