trailofbits / necessist
A mutation-based tool for finding bugs in tests
☆113Updated this week
Alternatives and similar repositories for necessist:
Users that are interested in necessist are comparing it to the libraries listed below
- To make fuzzing Rust easy☆170Updated this week
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- Find unmaintained packages in Rust projects☆69Updated this week
- ☆49Updated 3 weeks ago
- Utilities for working with native solc and compiling projects.☆81Updated 3 weeks ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆242Updated 8 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 5 months ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆75Updated 5 months ago
- A gentle, example-based guide to getting started with the Move prover.☆43Updated 2 years ago
- ☆46Updated last year
- A Solidity interpreter☆66Updated this week
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Find the ideal fuzz targets in a Rust codebase☆210Updated 2 weeks ago
- Fast implementation of Ethereum RLP serialization☆91Updated last month
- Solidity 0.8.X AST parsing and analysis in Rust.☆77Updated last year
- Fast Merkle-Patricia Trie (MPT) state root calculator and proof generator for prefix-sorted nibbles☆118Updated 3 weeks ago
- Rust Uint crate using const-generics☆183Updated this week
- Sierra decompiler and analyzer☆11Updated 2 weeks ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- Validation code for the EOF specification☆51Updated this week
- uTorrent transport protocol☆32Updated this week
- Implementation of ethereum's `ssz`☆104Updated 5 months ago
- Lints based on the Sealevel Attacks☆40Updated 2 weeks ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆142Updated 8 months ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- An EVM bytecode disassembler/assembler☆37Updated 2 months ago
- 256-bit unsigned integer implementation.☆57Updated last year
- ☆66Updated this week
- Rust bindings for the Solidity compiler.☆27Updated 4 years ago
- A static analyzer for NEAR smart contract in Rust☆105Updated last year