trailofbits / necessistLinks
A mutation-based tool for finding bugs in tests
☆124Updated this week
Alternatives and similar repositories for necessist
Users that are interested in necessist are comparing it to the libraries listed below
Sorting:
- To make fuzzing Rust easy☆185Updated this week
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- StarkNet smart contract fuzzer☆80Updated 3 years ago
- LLVM-based Solidity compiler.☆146Updated this week
- ☆30Updated 2 years ago
- A Solidity interpreter☆70Updated 2 weeks ago
- Access your MDBX database over network safely☆25Updated last week
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆51Updated last month
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- ☆81Updated 7 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- Utilities for working with native solc and compiling projects.☆95Updated last week
- A static analyzer and linter for the Circom zero-knowledge DSL☆252Updated last year
- An EVM bytecode disassembler/assembler☆51Updated 8 months ago
- ☆38Updated 3 years ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆64Updated 3 months ago
- ☆51Updated last week
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆98Updated 11 months ago
- Find unmaintained packages in Rust projects☆77Updated last week
- Lints based on the Sealevel Attacks☆44Updated last week
- ☆80Updated this week
- Rust Uint crate using const-generics☆197Updated this week
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 2 years ago
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆38Updated last month
- Validation code for the EOF specification☆57Updated 4 months ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.☆73Updated this week