trailofbits / necessistLinks
A mutation-based tool for finding bugs in tests
☆120Updated 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☆184Updated last week
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- Find unmaintained packages in Rust projects☆75Updated this week
- Rust Uint crate using const-generics☆190Updated 3 weeks ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆250Updated last year
- Find the ideal fuzz targets in a Rust codebase☆215Updated 2 weeks ago
- LLVM-based Solidity compiler.☆88Updated this week
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆82Updated 8 months ago
- ☆51Updated last week
- StarkNet smart contract fuzzer☆80Updated 2 years ago
- A gentle, example-based guide to getting started with the Move prover.☆50Updated 2 years ago
- Utilities for working with native solc and compiling projects.☆92Updated last week
- A Solidity interpreter☆68Updated 3 weeks ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 11 months ago
- Sierra decompiler and analyzer☆11Updated 2 months ago
- Automated coverage analysis of WASM executables on embedded and other constrained environments☆30Updated 10 months ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Rust implementation of Discovery v5☆177Updated 2 months ago
- Fast implementation of Ethereum RLP serialization☆91Updated last month
- Framework for Solana CTF challenges☆63Updated last month
- ☆81Updated 4 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 11 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 last month
- Lints based on the Sealevel Attacks☆43Updated 2 weeks ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆58Updated last month
- A static analyzer for NEAR smart contract in Rust☆106Updated last year
- ☆29Updated last year
- A multi-fuzzer management utility for all of your Rust fuzzing needs 🧑🎤☆78Updated last week
- Experimental tool to ease the review of smart contracts upgrades☆80Updated last year
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆135Updated last week