agroce / universalmutatorLinks
Regexp based tool for mutating generic source code across numerous languages
☆143Updated last year
Alternatives and similar repositories for universalmutator
Users that are interested in universalmutator are comparing it to the libraries listed below
Sorting:
- Static analysis framework for EVM bytecode☆31Updated 5 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆15Updated 3 years ago
- ☆20Updated 5 years ago
- AI based fuzzer based on imitation learning☆155Updated last year
- a safety verifier for Solidity smart contracts☆97Updated 2 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Updated 4 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Updated 2 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- ☆17Updated 6 months ago
- ☆65Updated 3 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- poststructural fuzzing☆31Updated 5 years ago
- This is solc-verify, a modular verifier for Solidity.☆52Updated last year
- The ISLa (Input Specification Language) language & solver.☆70Updated last year
- solver for the reachability modulo theories problem☆60Updated last year
- A framework for testing compilers' type checkers☆55Updated last year
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆12Updated 3 years ago
- Python Symbolic Execution☆71Updated 6 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆165Updated 4 years ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆59Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 10 months ago
- Hierarchical Delta Debugging Framework☆59Updated 8 months ago
- Solidity code instrumentation and analysis framework.☆53Updated 5 years ago
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆81Updated last year
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆152Updated 3 weeks ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆21Updated 3 years ago
- Map2Check: Finding Software Vulnerabilities☆29Updated 4 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆34Updated 3 months ago
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago