elsina.eth

Popular repositories Loading

1. manticore manticore Public

   Forked from trailofbits/manticore

   Symbolic execution tool

   Python

2. scribble scribble Public

   Forked from ConsenSysDiligence/scribble

   Scribble instrumentation tool

   TypeScript

3. mythril mythril Public

   Forked from ConsenSysDiligence/mythril

   Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

   Python

4. blocksec-ctfs blocksec-ctfs Public

   Forked from blockthreat/blocksec-ctfs

   A curated list of blockchain security Capture the Flag (CTF) competitions

5. audits audits Public

   Forked from solidified-platform/audits

   Audits performed by Solidified

6. smartbugs smartbugs Public

   Forked from smartbugs/smartbugs

   SmartBugs: A Framework to Analyze Solidity Smart Contracts

   Solidity