trailofbits / necessistLinks
A mutation-based tool for finding bugs in tests
☆116Updated 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☆181Updated last week
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- Rust Uint crate using const-generics☆188Updated last week
- Find unmaintained packages in Rust projects☆75Updated 3 weeks ago
- Utilities for working with native solc and compiling projects.☆89Updated this week
- LLVM-based Solidity compiler.☆84Updated this week
- ☆50Updated 2 weeks ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆249Updated 11 months ago
- ☆81Updated 4 months ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆61Updated 2 weeks ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- A Solidity interpreter☆66Updated last week
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆132Updated 2 weeks ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- Rust implementation of Discovery v5☆175Updated 2 months ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆82Updated 8 months ago
- A performant high level server for hyper☆37Updated 2 months ago
- A BSC-compatible implementation of the Reth client, using Reth's NodeBuilder API.☆44Updated this week
- Sierra decompiler and analyzer☆11Updated last month
- A symbolic execution engine for EVM smart contract binaries.☆109Updated last month
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 10 months ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- Messaging library for distributed systems built in Rust☆69Updated last month
- ☆29Updated last year
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 3 weeks ago
- ☆14Updated 8 months ago
- ☆37Updated 3 years ago
- Framework for Solana CTF challenges☆62Updated 2 weeks ago