trailofbits / necessistLinks
A mutation-based tool for finding bugs in tests
☆125Updated 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☆188Updated 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
- Find unmaintained packages in Rust projects☆77Updated last week
- Rust Uint crate using const-generics☆198Updated last week
- A Solidity interpreter☆70Updated last month
- Automated coverage analysis of WASM executables on embedded and other constrained environments☆32Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Updated 4 months ago
- ☆81Updated 7 months ago
- LLVM-based Solidity compiler.☆153Updated last week
- An EVM bytecode disassembler/assembler☆51Updated 9 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
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Lints based on the Sealevel Attacks☆44Updated last week
- Access your MDBX database over network safely☆25Updated last month
- ☆30Updated 2 years ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆59Updated 2 weeks ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 2 months ago
- Validation code for the EOF specification☆57Updated 4 months ago
- A performant high level server for hyper☆39Updated 6 months ago
- ☆53Updated last week
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- ☆38Updated 3 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- Find the ideal fuzz targets in a Rust codebase☆218Updated this week
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆17Updated this week
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆54Updated 2 months ago
- Web3 Security Toolbox☆73Updated last year