Trace2Inv-Artifact repositories

4 repositories

Trace2Inv-Artifact-FSE24
Public
Solidity
•
MIT License
•6•3•0•0•Updated Mar 13, 2025Mar 13, 2025
OpenTracer
Public
An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
Python
•
MIT License
•11•0•0•0•Updated Dec 25, 2024Dec 25, 2024
Trace2Inv-Invariant-Study-FSE24
Public
TypeScript
•1•1•0•0•Updated May 9, 2024May 9, 2024
Trace2Inv-Benchmarks
Public
python benchmark research
python benchmark research ethereum smart-contracts evaluation artifact trace-analysis invariant-detection
Python
•0•2•0•0•Updated Feb 28, 2024Feb 28, 2024

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.