{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:IY7M7Y3YHEFTPVJSWD2BB25KCZ","short_pith_number":"pith:IY7M7Y3Y","schema_version":"1.0","canonical_sha256":"463ecfe378390b37d532b0f410ebaa16406f66cad86eb53759842544c1e1c0b1","source":{"kind":"arxiv","id":"2504.15948","version":1},"attestation_state":"computed","paper":{"title":"Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dario Di Nucci, Gerardo Iuliano, Luigi Allocca, Matteo Cicalese","submitted_at":"2025-04-22T14:46:18Z","abstract_excerpt":"The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerability detection tools evaluated using existing benchmarks. However, most benchmarks are outdated and focus on a narrow set of vulnerabilities. This work evaluates whether mutation seeding can effectively inject vulnerabilities into Solidity-based smart contracts and whether state-of-the-art static analysis tools can detect the injected flaws. We aim to automatically inject vulnerabilities into smart contracts to gener"},"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":"2504.15948","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-22T14:46:18Z","cross_cats_sorted":[],"title_canon_sha256":"01184ebe154672687d282cf5deae35cffffd7d20770f3974b1656e6334d804be","abstract_canon_sha256":"7cb125876b2b21eded1e1eb08d9a76eb96b0e6b17ce7d97051c623f4f59eb906"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:32.460502Z","signature_b64":"NUFCN9bcyOk8kmb2u6rS1jOn1w66Q9wOR157OV3MrBteE0c0zMNUgUX4b3lBUCDFCNVSPGQzticU+i6roKRiAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"463ecfe378390b37d532b0f410ebaa16406f66cad86eb53759842544c1e1c0b1","last_reissued_at":"2026-07-05T10:52:32.460066Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:32.460066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dario Di Nucci, Gerardo Iuliano, Luigi Allocca, Matteo Cicalese","submitted_at":"2025-04-22T14:46:18Z","abstract_excerpt":"The security of smart contracts is critical in blockchain systems, where even minor vulnerabilities can lead to substantial financial losses. Researchers proposed several vulnerability detection tools evaluated using existing benchmarks. However, most benchmarks are outdated and focus on a narrow set of vulnerabilities. This work evaluates whether mutation seeding can effectively inject vulnerabilities into Solidity-based smart contracts and whether state-of-the-art static analysis tools can detect the injected flaws. We aim to automatically inject vulnerabilities into smart contracts to gener"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15948","kind":"arxiv","version":1},"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/2504.15948/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":"2504.15948","created_at":"2026-07-05T10:52:32.460122+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.15948v1","created_at":"2026-07-05T10:52:32.460122+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15948","created_at":"2026-07-05T10:52:32.460122+00:00"},{"alias_kind":"pith_short_12","alias_value":"IY7M7Y3YHEFT","created_at":"2026-07-05T10:52:32.460122+00:00"},{"alias_kind":"pith_short_16","alias_value":"IY7M7Y3YHEFTPVJS","created_at":"2026-07-05T10:52:32.460122+00:00"},{"alias_kind":"pith_short_8","alias_value":"IY7M7Y3Y","created_at":"2026-07-05T10:52:32.460122+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ","json":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ.json","graph_json":"https://pith.science/api/pith-number/IY7M7Y3YHEFTPVJSWD2BB25KCZ/graph.json","events_json":"https://pith.science/api/pith-number/IY7M7Y3YHEFTPVJSWD2BB25KCZ/events.json","paper":"https://pith.science/paper/IY7M7Y3Y"},"agent_actions":{"view_html":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ","download_json":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ.json","view_paper":"https://pith.science/paper/IY7M7Y3Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.15948&json=true","fetch_graph":"https://pith.science/api/pith-number/IY7M7Y3YHEFTPVJSWD2BB25KCZ/graph.json","fetch_events":"https://pith.science/api/pith-number/IY7M7Y3YHEFTPVJSWD2BB25KCZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ/action/storage_attestation","attest_author":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ/action/author_attestation","sign_citation":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ/action/citation_signature","submit_replication":"https://pith.science/pith/IY7M7Y3YHEFTPVJSWD2BB25KCZ/action/replication_record"}},"created_at":"2026-07-05T10:52:32.460122+00:00","updated_at":"2026-07-05T10:52:32.460122+00:00"}