{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:IVR3ZAE6G3VLYQEQAJLYTJCECH","short_pith_number":"pith:IVR3ZAE6","canonical_record":{"source":{"id":"2505.15756","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T17:01:18Z","cross_cats_sorted":[],"title_canon_sha256":"15a37ae83a9596350b1de0824555ba8d1bf49077e5b32ac802f3e0887ec4c95e","abstract_canon_sha256":"ca0492cbd0fef0c461143ccf183fbc5f867554bb928fbc56271fd75c20487cfe"},"schema_version":"1.0"},"canonical_sha256":"4563bc809e36eabc4090025789a44411f1edf0d28a2df10758042e8d0c66579c","source":{"kind":"arxiv","id":"2505.15756","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15756","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15756v2","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15756","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_12","alias_value":"IVR3ZAE6G3VL","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_16","alias_value":"IVR3ZAE6G3VLYQEQ","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_8","alias_value":"IVR3ZAE6","created_at":"2026-05-20T00:05:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:IVR3ZAE6G3VLYQEQAJLYTJCECH","target":"record","payload":{"canonical_record":{"source":{"id":"2505.15756","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T17:01:18Z","cross_cats_sorted":[],"title_canon_sha256":"15a37ae83a9596350b1de0824555ba8d1bf49077e5b32ac802f3e0887ec4c95e","abstract_canon_sha256":"ca0492cbd0fef0c461143ccf183fbc5f867554bb928fbc56271fd75c20487cfe"},"schema_version":"1.0"},"canonical_sha256":"4563bc809e36eabc4090025789a44411f1edf0d28a2df10758042e8d0c66579c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:28.856554Z","signature_b64":"MYLk8WAlEGUldqNV7zj+me+fdMTwyHaCQqY0h1aJY5097o7PpDMW2e0le4l6yx8FcPpBDu2U2GJZxOH109pYAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4563bc809e36eabc4090025789a44411f1edf0d28a2df10758042e8d0c66579c","last_reissued_at":"2026-05-20T00:05:28.855658Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:28.855658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.15756","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:05:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GEx4/58T3nyurlGZfFker8ScZtHLJczM1ofeIRxkj4iaySP+hbtlY8C8/KxXpm4VCzdP8bj54LciubFpBu4YCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:43:41.583262Z"},"content_sha256":"86e34baef101fe66a20717627c0482d15d5902a1e147f19462b239ab07d187b3","schema_version":"1.0","event_id":"sha256:86e34baef101fe66a20717627c0482d15d5902a1e147f19462b239ab07d187b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:IVR3ZAE6G3VLYQEQAJLYTJCECH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An empirical analysis of vulnerability detection tools for solidity smart contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cosmo Kevin Antenucci, Francesco Salzano, Giovanni Rosa, Remo Pareschi, Rocco Oliveto, Simone Scalabrino","submitted_at":"2025-05-21T17:01:18Z","abstract_excerpt":"The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution on blockchain platforms. This paper provides an empirical evaluation of automated vulnerability analysis tools specifically designed for Solidity smart contracts. Leveraging the extensive SmartBugs 2.0 framework, which includes 20 analysis tools, we conducted a comprehensive assessment using an annotated dataset of 2,182 instances we manually annotated with line-level vulnerability labels. Our evaluation highlights t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15756","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/2505.15756/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:05:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kA8DMRpgmcjOBWIOOSeZSef5huuw2vJ1tkAvJVaCDpMza+Zv5sbpMblzm1BPd8p2D86KKTZeb9X9zMGfnAoPDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:43:41.583659Z"},"content_sha256":"01e8b0e693ec30ec39ede7d3c6c64a51f2192687aaeb6d8cd4d4bcc9c7ef7473","schema_version":"1.0","event_id":"sha256:01e8b0e693ec30ec39ede7d3c6c64a51f2192687aaeb6d8cd4d4bcc9c7ef7473"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/bundle.json","state_url":"https://pith.science/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T00:43:41Z","links":{"resolver":"https://pith.science/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH","bundle":"https://pith.science/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/bundle.json","state":"https://pith.science/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVR3ZAE6G3VLYQEQAJLYTJCECH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IVR3ZAE6G3VLYQEQAJLYTJCECH","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":"ca0492cbd0fef0c461143ccf183fbc5f867554bb928fbc56271fd75c20487cfe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T17:01:18Z","title_canon_sha256":"15a37ae83a9596350b1de0824555ba8d1bf49077e5b32ac802f3e0887ec4c95e"},"schema_version":"1.0","source":{"id":"2505.15756","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15756","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15756v2","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15756","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_12","alias_value":"IVR3ZAE6G3VL","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_16","alias_value":"IVR3ZAE6G3VLYQEQ","created_at":"2026-05-20T00:05:28Z"},{"alias_kind":"pith_short_8","alias_value":"IVR3ZAE6","created_at":"2026-05-20T00:05:28Z"}],"graph_snapshots":[{"event_id":"sha256:01e8b0e693ec30ec39ede7d3c6c64a51f2192687aaeb6d8cd4d4bcc9c7ef7473","target":"graph","created_at":"2026-05-20T00:05:28Z","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/2505.15756/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution on blockchain platforms. This paper provides an empirical evaluation of automated vulnerability analysis tools specifically designed for Solidity smart contracts. Leveraging the extensive SmartBugs 2.0 framework, which includes 20 analysis tools, we conducted a comprehensive assessment using an annotated dataset of 2,182 instances we manually annotated with line-level vulnerability labels. Our evaluation highlights t","authors_text":"Cosmo Kevin Antenucci, Francesco Salzano, Giovanni Rosa, Remo Pareschi, Rocco Oliveto, Simone Scalabrino","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T17:01:18Z","title":"An empirical analysis of vulnerability detection tools for solidity smart contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15756","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:86e34baef101fe66a20717627c0482d15d5902a1e147f19462b239ab07d187b3","target":"record","created_at":"2026-05-20T00:05:28Z","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":"ca0492cbd0fef0c461143ccf183fbc5f867554bb928fbc56271fd75c20487cfe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-21T17:01:18Z","title_canon_sha256":"15a37ae83a9596350b1de0824555ba8d1bf49077e5b32ac802f3e0887ec4c95e"},"schema_version":"1.0","source":{"id":"2505.15756","kind":"arxiv","version":2}},"canonical_sha256":"4563bc809e36eabc4090025789a44411f1edf0d28a2df10758042e8d0c66579c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4563bc809e36eabc4090025789a44411f1edf0d28a2df10758042e8d0c66579c","first_computed_at":"2026-05-20T00:05:28.855658Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:28.855658Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MYLk8WAlEGUldqNV7zj+me+fdMTwyHaCQqY0h1aJY5097o7PpDMW2e0le4l6yx8FcPpBDu2U2GJZxOH109pYAg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:28.856554Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.15756","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:86e34baef101fe66a20717627c0482d15d5902a1e147f19462b239ab07d187b3","sha256:01e8b0e693ec30ec39ede7d3c6c64a51f2192687aaeb6d8cd4d4bcc9c7ef7473"],"state_sha256":"cce369295aeec5300943bd76db8c8747586feb477ba6a860c03c2ed5831790be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9TAf57xOg8OR56OMgBlbbFBgSvhThxzSD+CsZvU+89EheWaFg/qHrDRlpC0dFzcl8FIRKeZpWriHHZJ3VEiGAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:43:41.585719Z","bundle_sha256":"5815c6e40dab65d74063f35e0ae2604ce8d57718e0ccf1c3bf9401b590bd548e"}}