{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:BOQGBAQUD5MCO7DDN7GEY3XBGD","short_pith_number":"pith:BOQGBAQU","schema_version":"1.0","canonical_sha256":"0ba06082141f58277c636fcc4c6ee130d1e66fe6a961d4e78171c69697bf9d9d","source":{"kind":"arxiv","id":"2404.18186","version":3},"attestation_state":"computed","paper":{"title":"Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haijun Wang, Han Liu, Kairan Sun, Kaixuan Li, Ming Hu, Sen Chen, Yang Liu, Yixiang Chen, Yue Xue","submitted_at":"2024-04-28T13:40:18Z","abstract_excerpt":"In recent years, the importance of smart contract security has been heightened by the increasing number of attacks against them. To address this issue, a multitude of static application security testing (SAST) tools have been proposed for detecting vulnerabilities in smart contracts. However, objectively comparing these tools to determine their effectiveness remains challenging. Existing studies often fall short due to the taxonomies and benchmarks only covering a coarse and potentially outdated set of vulnerability types, which leads to evaluations that are not entirely comprehensive and may "},"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":"2404.18186","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-04-28T13:40:18Z","cross_cats_sorted":[],"title_canon_sha256":"45685ccd969e067ac305c612202fc65e19ee7c1c45a8cd7f6b15a7c715e6d646","abstract_canon_sha256":"9e399d9c5a4677989c4c187e9da5acd4419263dc39262c51afa9d36dadd38bbd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:38:09.232462Z","signature_b64":"CRUodEp+ZjSbunkCH5Sm06x+08wJG1ckiIEY345EVhL+bv6VM7h66EQ+yyjk55YZ/MWhHW2SgfRzlN/A/O1WDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ba06082141f58277c636fcc4c6ee130d1e66fe6a961d4e78171c69697bf9d9d","last_reissued_at":"2026-07-05T08:38:09.231755Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:38:09.231755Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Haijun Wang, Han Liu, Kairan Sun, Kaixuan Li, Ming Hu, Sen Chen, Yang Liu, Yixiang Chen, Yue Xue","submitted_at":"2024-04-28T13:40:18Z","abstract_excerpt":"In recent years, the importance of smart contract security has been heightened by the increasing number of attacks against them. To address this issue, a multitude of static application security testing (SAST) tools have been proposed for detecting vulnerabilities in smart contracts. However, objectively comparing these tools to determine their effectiveness remains challenging. Existing studies often fall short due to the taxonomies and benchmarks only covering a coarse and potentially outdated set of vulnerability types, which leads to evaluations that are not entirely comprehensive and may "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.18186","kind":"arxiv","version":3},"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/2404.18186/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":"2404.18186","created_at":"2026-07-05T08:38:09.231812+00:00"},{"alias_kind":"arxiv_version","alias_value":"2404.18186v3","created_at":"2026-07-05T08:38:09.231812+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.18186","created_at":"2026-07-05T08:38:09.231812+00:00"},{"alias_kind":"pith_short_12","alias_value":"BOQGBAQUD5MC","created_at":"2026-07-05T08:38:09.231812+00:00"},{"alias_kind":"pith_short_16","alias_value":"BOQGBAQUD5MCO7DD","created_at":"2026-07-05T08:38:09.231812+00:00"},{"alias_kind":"pith_short_8","alias_value":"BOQGBAQU","created_at":"2026-07-05T08:38:09.231812+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.18395","citing_title":"Capturing Monetarily Exploitable Vulnerability in Smart Contracts via Auditor Knowledge-Learning Fuzzing","ref_index":19,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD","json":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD.json","graph_json":"https://pith.science/api/pith-number/BOQGBAQUD5MCO7DDN7GEY3XBGD/graph.json","events_json":"https://pith.science/api/pith-number/BOQGBAQUD5MCO7DDN7GEY3XBGD/events.json","paper":"https://pith.science/paper/BOQGBAQU"},"agent_actions":{"view_html":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD","download_json":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD.json","view_paper":"https://pith.science/paper/BOQGBAQU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2404.18186&json=true","fetch_graph":"https://pith.science/api/pith-number/BOQGBAQUD5MCO7DDN7GEY3XBGD/graph.json","fetch_events":"https://pith.science/api/pith-number/BOQGBAQUD5MCO7DDN7GEY3XBGD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD/action/storage_attestation","attest_author":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD/action/author_attestation","sign_citation":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD/action/citation_signature","submit_replication":"https://pith.science/pith/BOQGBAQUD5MCO7DDN7GEY3XBGD/action/replication_record"}},"created_at":"2026-07-05T08:38:09.231812+00:00","updated_at":"2026-07-05T08:38:09.231812+00:00"}