Pinned Loading

1. OpenTracer OpenTracer Public

   An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer

   Python 56 11

2. Trace2Inv-Artifact-FSE24 Trace2Inv-Artifact-FSE24 Public

   Solidity 2 6

3. Trace2Inv-Invariant-Study-FSE24 Trace2Inv-Invariant-Study-FSE24 Public

   TypeScript 1 1

4. vyper-select vyper-select Public

   A tool to quickly switch between Vyper compiler versions. Same usage as solc-select

   Python 2

5. FlashSyn-Artifact/FlashSyn-Artifact-ICSE24 FlashSyn-Artifact/FlashSyn-Artifact-ICSE24 Public

   Python 5 3

6. CrossGuard-Artifact CrossGuard-Artifact Public

   Artifact for the paper "Enforcing Control Flow Integrity on DeFi Smart Contracts"

   Python 2 1