{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GDRQZXCVX2YQOOQ6LTGFYIOD64","short_pith_number":"pith:GDRQZXCV","canonical_record":{"source":{"id":"2503.10784","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-13T18:22:22Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"98cedb75a143cc5cc359d8740f601b18778fa3755a9bf5d8cd88d23a8b04a3be","abstract_canon_sha256":"49f806430de579644b0d661ff9efb02f2a4d9aa91796ec9c0c34233b8806b0f9"},"schema_version":"1.0"},"canonical_sha256":"30e30cdc55beb1073a1e5ccc5c21c3f70acfecb7636c24fe281fc39b1e83d59d","source":{"kind":"arxiv","id":"2503.10784","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.10784","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"arxiv_version","alias_value":"2503.10784v1","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10784","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_12","alias_value":"GDRQZXCVX2YQ","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"GDRQZXCVX2YQOOQ6","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"GDRQZXCV","created_at":"2026-07-05T10:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GDRQZXCVX2YQOOQ6LTGFYIOD64","target":"record","payload":{"canonical_record":{"source":{"id":"2503.10784","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-13T18:22:22Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"98cedb75a143cc5cc359d8740f601b18778fa3755a9bf5d8cd88d23a8b04a3be","abstract_canon_sha256":"49f806430de579644b0d661ff9efb02f2a4d9aa91796ec9c0c34233b8806b0f9"},"schema_version":"1.0"},"canonical_sha256":"30e30cdc55beb1073a1e5ccc5c21c3f70acfecb7636c24fe281fc39b1e83d59d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:31:05.871822Z","signature_b64":"swRiMJ4tfSEMBFh/LM71PAfelvIlN+BGq3OzHD22OYe3sLI9J1pS2Z7kaDr4AlzVYBOc2ULZqN7uMk/Qj+ZGBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30e30cdc55beb1073a1e5ccc5c21c3f70acfecb7636c24fe281fc39b1e83d59d","last_reissued_at":"2026-07-05T10:31:05.871253Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:31:05.871253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.10784","source_version":1,"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-07-05T10:31:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9J6R76v7E3ZQkGHPduNDU/6H0tj4ZJK1r5cHo7Nwv+q6lcQ/KKz5Trcq7nkrWBC1DftmPMzYsedsP7Y/KhUYAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T10:00:57.749867Z"},"content_sha256":"f3e54f9f4178fe515605f06e41fe88456d7903ece751a0e2d9d6f2daaeab47d0","schema_version":"1.0","event_id":"sha256:f3e54f9f4178fe515605f06e41fe88456d7903ece751a0e2d9d6f2daaeab47d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GDRQZXCVX2YQOOQ6LTGFYIOD64","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Bilel Cherif, Lucas C. Cordeiro, Mohamed Amine Ferrag, Norbert Tihanyi, Richard A. Dubniczky, Ridhi Jain, Tamas Bisztray","submitted_at":"2025-03-13T18:22:22Z","abstract_excerpt":"Software testing and verification are critical for ensuring the reliability and security of modern software systems. Traditionally, formal verification techniques, such as model checking and theorem proving, have provided rigorous frameworks for detecting bugs and vulnerabilities. However, these methods often face scalability challenges when applied to complex, real-world programs. Recently, the advent of Large Language Models (LLMs) has introduced a new paradigm for software analysis, leveraging their ability to understand insecure coding practices. Although LLMs demonstrate promising capabil"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10784","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/2503.10784/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-07-05T10:31:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9f9l1rmocj1jbJm/VAgCrXwIMAq6HUmFht0/2D0Xc5ySDprs2MVxiNt5/5MNYzU2Jc3EO1MNNlS0UebuRwccDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T10:00:57.750272Z"},"content_sha256":"478f0037ce1ca964235f1b21f611b729609476139abda58869a9c9503f50a8b9","schema_version":"1.0","event_id":"sha256:478f0037ce1ca964235f1b21f611b729609476139abda58869a9c9503f50a8b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/bundle.json","state_url":"https://pith.science/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/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-07-10T10:00:57Z","links":{"resolver":"https://pith.science/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64","bundle":"https://pith.science/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/bundle.json","state":"https://pith.science/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GDRQZXCVX2YQOOQ6LTGFYIOD64/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GDRQZXCVX2YQOOQ6LTGFYIOD64","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":"49f806430de579644b0d661ff9efb02f2a4d9aa91796ec9c0c34233b8806b0f9","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-13T18:22:22Z","title_canon_sha256":"98cedb75a143cc5cc359d8740f601b18778fa3755a9bf5d8cd88d23a8b04a3be"},"schema_version":"1.0","source":{"id":"2503.10784","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.10784","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"arxiv_version","alias_value":"2503.10784v1","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10784","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_12","alias_value":"GDRQZXCVX2YQ","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"GDRQZXCVX2YQOOQ6","created_at":"2026-07-05T10:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"GDRQZXCV","created_at":"2026-07-05T10:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:478f0037ce1ca964235f1b21f611b729609476139abda58869a9c9503f50a8b9","target":"graph","created_at":"2026-07-05T10:31:05Z","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/2503.10784/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software testing and verification are critical for ensuring the reliability and security of modern software systems. Traditionally, formal verification techniques, such as model checking and theorem proving, have provided rigorous frameworks for detecting bugs and vulnerabilities. However, these methods often face scalability challenges when applied to complex, real-world programs. Recently, the advent of Large Language Models (LLMs) has introduced a new paradigm for software analysis, leveraging their ability to understand insecure coding practices. Although LLMs demonstrate promising capabil","authors_text":"Bilel Cherif, Lucas C. Cordeiro, Mohamed Amine Ferrag, Norbert Tihanyi, Richard A. Dubniczky, Ridhi Jain, Tamas Bisztray","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-13T18:22:22Z","title":"Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10784","kind":"arxiv","version":1},"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:f3e54f9f4178fe515605f06e41fe88456d7903ece751a0e2d9d6f2daaeab47d0","target":"record","created_at":"2026-07-05T10:31:05Z","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":"49f806430de579644b0d661ff9efb02f2a4d9aa91796ec9c0c34233b8806b0f9","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-03-13T18:22:22Z","title_canon_sha256":"98cedb75a143cc5cc359d8740f601b18778fa3755a9bf5d8cd88d23a8b04a3be"},"schema_version":"1.0","source":{"id":"2503.10784","kind":"arxiv","version":1}},"canonical_sha256":"30e30cdc55beb1073a1e5ccc5c21c3f70acfecb7636c24fe281fc39b1e83d59d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30e30cdc55beb1073a1e5ccc5c21c3f70acfecb7636c24fe281fc39b1e83d59d","first_computed_at":"2026-07-05T10:31:05.871253Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:31:05.871253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"swRiMJ4tfSEMBFh/LM71PAfelvIlN+BGq3OzHD22OYe3sLI9J1pS2Z7kaDr4AlzVYBOc2ULZqN7uMk/Qj+ZGBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:31:05.871822Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.10784","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3e54f9f4178fe515605f06e41fe88456d7903ece751a0e2d9d6f2daaeab47d0","sha256:478f0037ce1ca964235f1b21f611b729609476139abda58869a9c9503f50a8b9"],"state_sha256":"709a535e09f8b5925f09df29294345ee3d49b686df6c945a4e2a36b1a05d39d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mCXklWnxT2vev5jPjWPy2uQYuCXfNglotVv3Z2Tt6seOMo2mm59gpvdyum2VSzRJy8P8gf9WlaMFyUmB83KwBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T10:00:57.752388Z","bundle_sha256":"78ca552632ddf3331df87ea9fa685668122e469a48b8a8f95e3b3c8925be9cfe"}}