trailofbits / necessistLinks
A mutation-based tool for finding bugs in tests
☆132Updated 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☆195Updated last week
- Library for building symbolically executable stack-based virtual machines☆75Updated 3 years ago
- StarkNet smart contract fuzzer☆81Updated 3 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- A Solidity interpreter☆71Updated last week
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 9 months ago
- ☆53Updated this week
- Rust implementations of Ethereum Improvement Proposals (EIPs)☆48Updated 2 weeks ago
- Find unmaintained packages in Rust projects☆83Updated this week
- An EVM bytecode disassembler/assembler☆54Updated last year
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- ☆84Updated last year
- Rust Uint crate using const-generics☆201Updated this week
- A minimalistic, lock-free, fixed-size cache for Rust.☆52Updated this week
- Utilities for working with native solc and compiling projects.☆107Updated 2 weeks ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 6 months ago
- Fast implementation of Ethereum RLP serialization☆109Updated last week
- Validation code for the EOF specification☆57Updated 9 months ago
- Access your MDBX database over network safely☆27Updated last month
- Symbolic EVM in Rust (WIP)☆86Updated 2 years ago
- A performant high level server for hyper☆39Updated 10 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Updated 4 months ago
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆151Updated this week
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Ethereum Node Record☆64Updated 4 months ago
- ☆21Updated 2 months ago
- Lints based on the Sealevel Attacks☆47Updated 3 weeks ago
- LLVM-based Solidity compiler.☆169Updated this week
- ☆38Updated 3 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 9 months ago