{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:34SFEGNPEVGMFJBYS6JBWNKQVI","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0ce3d38f79ffe590e183708a77a3f0e5fcc1a28897695fe25d8131414f51b298","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-07-08T15:16:58Z","title_canon_sha256":"5afc09a2c966d3f5eb64da1afe5fda70be48c02dfc821098c200cc261fc4d357"},"schema_version":"1.0","source":{"id":"2007.04771","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.04771","created_at":"2026-07-05T01:17:42Z"},{"alias_kind":"arxiv_version","alias_value":"2007.04771v2","created_at":"2026-07-05T01:17:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.04771","created_at":"2026-07-05T01:17:42Z"},{"alias_kind":"pith_short_12","alias_value":"34SFEGNPEVGM","created_at":"2026-07-05T01:17:42Z"},{"alias_kind":"pith_short_16","alias_value":"34SFEGNPEVGMFJBY","created_at":"2026-07-05T01:17:42Z"},{"alias_kind":"pith_short_8","alias_value":"34SFEGNP","created_at":"2026-07-05T01:17:42Z"}],"graph_snapshots":[{"event_id":"sha256:687aa65b66819e89df445b4d63da066d28302d518957383bc2a389ffc0332e13","target":"graph","created_at":"2026-07-05T01:17:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2007.04771/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present SmartBugs, an extensible and easy-to-use execution framework that simplifies the execution of analysis tools on smart contracts written in Solidity, the primary language used in Ethereum. SmartBugs is currently distributed with support for 10 tools and two datasets of Solidity contracts. The first dataset can be used to evaluate the precision of analysis tools, as it","authors_text":"Jo\\~ao F. Ferreira, Pedro Cruz, Rui Abreu, Thomas Durieux","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-07-08T15:16:58Z","title":"SmartBugs: A Framework to Analyze Solidity Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.04771","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4a2854fa0525d2a9a2dd291221044fc77abf4c9b2c85b7866cb6ed6e55a33df0","target":"record","created_at":"2026-07-05T01:17:42Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0ce3d38f79ffe590e183708a77a3f0e5fcc1a28897695fe25d8131414f51b298","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-07-08T15:16:58Z","title_canon_sha256":"5afc09a2c966d3f5eb64da1afe5fda70be48c02dfc821098c200cc261fc4d357"},"schema_version":"1.0","source":{"id":"2007.04771","kind":"arxiv","version":2}},"canonical_sha256":"df245219af254cc2a43897921b3550aa0178c4351962a32614576fa8b05734d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"df245219af254cc2a43897921b3550aa0178c4351962a32614576fa8b05734d9","first_computed_at":"2026-07-05T01:17:42.280271Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:17:42.280271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZURj7xsA28TgWS61R2zwXToSOmxzRtf2LVbZfann7p9vxopu69x4fvk8raWk629mQV4RcAr+KwVElX/CWqwgDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:17:42.280718Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.04771","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4a2854fa0525d2a9a2dd291221044fc77abf4c9b2c85b7866cb6ed6e55a33df0","sha256:687aa65b66819e89df445b4d63da066d28302d518957383bc2a389ffc0332e13"],"state_sha256":"7106900fc8ff39f93908e0812cfe264e84c85f90683933c48c3ddf12d22fc823"}