Contributor
@mihairaulea
repos
12
ecosystems
4
languages
5
commits
14
An example of generated Unit Tests that highlight smart contract vulnerabilities.
Static Analyzer for Solidity and Vyper
Snapshot of the DAO at the moment of the hack - June 17, 2016
Static Analyzer for Solidity
CLI to easily generate reports and unit tests for found vulnerabilities, using the most popular engines
CertiK fork of Slither Analyzer
Snapshot of the Parity Multisig Wallet at the moment of the hack - July 20, 2017
Parity Multisig Hacked. Again. Snapshot from November 7, 2017
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
