{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:34SFEGNPEVGMFJBYS6JBWNKQVI","short_pith_number":"pith:34SFEGNP","schema_version":"1.0","canonical_sha256":"df245219af254cc2a43897921b3550aa0178c4351962a32614576fa8b05734d9","source":{"kind":"arxiv","id":"2007.04771","version":2},"attestation_state":"computed","paper":{"title":"SmartBugs: A Framework to Analyze Solidity Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jo\\~ao F. Ferreira, Pedro Cruz, Rui Abreu, Thomas Durieux","submitted_at":"2020-07-08T15:16:58Z","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2007.04771","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-07-08T15:16:58Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"5afc09a2c966d3f5eb64da1afe5fda70be48c02dfc821098c200cc261fc4d357","abstract_canon_sha256":"0ce3d38f79ffe590e183708a77a3f0e5fcc1a28897695fe25d8131414f51b298"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:17:42.280718Z","signature_b64":"ZURj7xsA28TgWS61R2zwXToSOmxzRtf2LVbZfann7p9vxopu69x4fvk8raWk629mQV4RcAr+KwVElX/CWqwgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"df245219af254cc2a43897921b3550aa0178c4351962a32614576fa8b05734d9","last_reissued_at":"2026-07-05T01:17:42.280271Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:17:42.280271Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SmartBugs: A Framework to Analyze Solidity Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SE","authors_text":"Jo\\~ao F. Ferreira, Pedro Cruz, Rui Abreu, Thomas Durieux","submitted_at":"2020-07-08T15:16:58Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.04771","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2007.04771/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2007.04771","created_at":"2026-07-05T01:17:42.280329+00:00"},{"alias_kind":"arxiv_version","alias_value":"2007.04771v2","created_at":"2026-07-05T01:17:42.280329+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.04771","created_at":"2026-07-05T01:17:42.280329+00:00"},{"alias_kind":"pith_short_12","alias_value":"34SFEGNPEVGM","created_at":"2026-07-05T01:17:42.280329+00:00"},{"alias_kind":"pith_short_16","alias_value":"34SFEGNPEVGMFJBY","created_at":"2026-07-05T01:17:42.280329+00:00"},{"alias_kind":"pith_short_8","alias_value":"34SFEGNP","created_at":"2026-07-05T01:17:42.280329+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.26169","citing_title":"ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification","ref_index":63,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI","json":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI.json","graph_json":"https://pith.science/api/pith-number/34SFEGNPEVGMFJBYS6JBWNKQVI/graph.json","events_json":"https://pith.science/api/pith-number/34SFEGNPEVGMFJBYS6JBWNKQVI/events.json","paper":"https://pith.science/paper/34SFEGNP"},"agent_actions":{"view_html":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI","download_json":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI.json","view_paper":"https://pith.science/paper/34SFEGNP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2007.04771&json=true","fetch_graph":"https://pith.science/api/pith-number/34SFEGNPEVGMFJBYS6JBWNKQVI/graph.json","fetch_events":"https://pith.science/api/pith-number/34SFEGNPEVGMFJBYS6JBWNKQVI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI/action/storage_attestation","attest_author":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI/action/author_attestation","sign_citation":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI/action/citation_signature","submit_replication":"https://pith.science/pith/34SFEGNPEVGMFJBYS6JBWNKQVI/action/replication_record"}},"created_at":"2026-07-05T01:17:42.280329+00:00","updated_at":"2026-07-05T01:17:42.280329+00:00"}