JoranHonig / tarantulaLinks
Implementation of the tarantula fault localisation algorithm
☆13Updated 4 years ago
Alternatives and similar repositories for tarantula
Users that are interested in tarantula are comparing it to the libraries listed below
Sorting:
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Updated 4 years ago
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- An interactive EVM repl/shell.☆32Updated 4 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated last year
- ☆16Updated 2 years ago
- RStore - use the runtime code of metamorphic contracts for dynamic storage.☆20Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 3 years ago
- Update or revert to a specific Foundry branch with ease.☆44Updated 3 years ago
- Merge Mock - testing tool for the Ethereum Merge☆41Updated 3 years ago
- ☆48Updated 4 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- Know if a call is from an EOA no matter what☆33Updated 4 years ago
- Simulates a call to Convex Finance's system shutdown method, which uses about 16M gas☆59Updated 3 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- A simple EVM bytecode debugger☆19Updated 4 years ago
- Wrapped ETH, written in Yul+☆24Updated 3 years ago
- Paper: Data Representation in Solidity☆61Updated 2 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆54Updated last year
- A static verifer for Ethereum Smart Contracts written in Vyper☆50Updated 2 years ago
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆42Updated 2 years ago
- Online ERC20 verifier based on tinchoabbate's slither-scripts☆13Updated 6 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 4 years ago
- Easily query and plot historical Ethereum data☆37Updated last year
- Technical book about Erigon technology☆55Updated 3 years ago
- simple lockfile for your dapp's addresses and artifacts☆51Updated 3 years ago
- ☆22Updated 2 years ago
- Vyper version manager☆28Updated 10 months ago
- Solidity error logging☆23Updated 4 years ago