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:
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Updated 3 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Updated 2 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 5 years ago
- ☆22Updated 2 years ago
- CLI client for the MythX API☆20Updated 2 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).☆44Updated 3 years ago
- Vyper version manager☆26Updated 6 months ago
- Update or revert to a specific DappTools commit with ease.☆37Updated 3 years ago
- ☆48Updated 4 years ago
- Update or revert to a specific Foundry branch with ease.☆44Updated 3 years ago
- ☆32Updated 2 years ago
- A simple EVM bytecode debugger☆19Updated 3 years ago
- ☆109Updated last month
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆60Updated 4 years ago
- An interactive EVM repl/shell.☆32Updated 3 years ago
- Technical book about Erigon technology☆56Updated 3 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆146Updated 2 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 5 years ago
- Agent-based simulation environment for PoS Ethereum☆52Updated 2 years ago
- Know if a call is from an EOA no matter what☆35Updated 4 years ago
- Paper: Data Representation in Solidity☆60Updated 2 years ago
- Solidity mocking provider for testing☆62Updated 3 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated last year
- Memory access with runtime typechecking in Solidity☆75Updated 2 years ago
- ☆13Updated 3 years ago
- Minimal Ethereum delegatecall proxies☆22Updated 2 years ago
- Easily query and plot historical Ethereum data☆37Updated last year
- erc20 impl in evm assembly☆70Updated last year
- A solidity documentation generator, based in NatSpec format. with standalone HTML, pdf, gitbook and docsify output just plug and play.☆65Updated 2 years ago