{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OID67OFQMBA45QQDOJZIUKPRE2","short_pith_number":"pith:OID67OFQ","canonical_record":{"source":{"id":"2509.08524","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","cross_cats_sorted":["cs.AI","cs.CR"],"title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87","abstract_canon_sha256":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4"},"schema_version":"1.0"},"canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","source":{"kind":"arxiv","id":"2509.08524","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08524v1","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"OID67OFQMBA4","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_16","alias_value":"OID67OFQMBA45QQD","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_8","alias_value":"OID67OFQ","created_at":"2026-07-05T12:08:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OID67OFQMBA45QQDOJZIUKPRE2","target":"record","payload":{"canonical_record":{"source":{"id":"2509.08524","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","cross_cats_sorted":["cs.AI","cs.CR"],"title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87","abstract_canon_sha256":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4"},"schema_version":"1.0"},"canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:08:31.724244Z","signature_b64":"g59heuRnjz/MkL7lQFO9IHfnZJMfV/s75nLunvtYUy2obgU9C1ukaB3ktXDHbpSxdDj3AZ5FMiZLHwQC0+R8Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","last_reissued_at":"2026-07-05T12:08:31.723795Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:08:31.723795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.08524","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-05T12:08:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5oQXEqC5iGPEgJF0V89IdhOOTqaiP9BnpcfcEhrd/ZigL4aYQdhb0cL31d5nMfECOZrTbLktRdMd3N54zNZ7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:23:58.599030Z"},"content_sha256":"7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7","schema_version":"1.0","event_id":"sha256:7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OID67OFQMBA45QQDOJZIUKPRE2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CR"],"primary_cat":"cs.SE","authors_text":"Felix M\\\"achtle, Jan-Niclas Serr, Jonas Sander, Nils Loose, Thomas Eisenbarth","submitted_at":"2025-09-10T12:08:59Z","abstract_excerpt":"Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context, expensive SMT solvers, or manual intervention to approximate these functions through symbolic stubs. In this work, we propose a novel approach to automatically generate symbolic stubs for external functions during symbolic execution that leverages Genetic Programming. When the symbolic executor encounters an external function, AutoStub generates training data by e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08524","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/2509.08524/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-05T12:08:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BNeplxKJ4K5+rZDdOysLM+TLwroobFUu4+R72BPBfQqzduNHmdcrc2/Rdvh1QEbqjhLnyFnFlifK05JPrAQTBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T09:23:58.600242Z"},"content_sha256":"4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623","schema_version":"1.0","event_id":"sha256:4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OID67OFQMBA45QQDOJZIUKPRE2/bundle.json","state_url":"https://pith.science/pith/OID67OFQMBA45QQDOJZIUKPRE2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OID67OFQMBA45QQDOJZIUKPRE2/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-08-10T09:23:58Z","links":{"resolver":"https://pith.science/pith/OID67OFQMBA45QQDOJZIUKPRE2","bundle":"https://pith.science/pith/OID67OFQMBA45QQDOJZIUKPRE2/bundle.json","state":"https://pith.science/pith/OID67OFQMBA45QQDOJZIUKPRE2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OID67OFQMBA45QQDOJZIUKPRE2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OID67OFQMBA45QQDOJZIUKPRE2","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":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87"},"schema_version":"1.0","source":{"id":"2509.08524","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08524v1","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08524","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"OID67OFQMBA4","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_16","alias_value":"OID67OFQMBA45QQD","created_at":"2026-07-05T12:08:31Z"},{"alias_kind":"pith_short_8","alias_value":"OID67OFQ","created_at":"2026-07-05T12:08:31Z"}],"graph_snapshots":[{"event_id":"sha256:4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623","target":"graph","created_at":"2026-07-05T12:08:31Z","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/2509.08524/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context, expensive SMT solvers, or manual intervention to approximate these functions through symbolic stubs. In this work, we propose a novel approach to automatically generate symbolic stubs for external functions during symbolic execution that leverages Genetic Programming. When the symbolic executor encounters an external function, AutoStub generates training data by e","authors_text":"Felix M\\\"achtle, Jan-Niclas Serr, Jonas Sander, Nils Loose, Thomas Eisenbarth","cross_cats":["cs.AI","cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title":"AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08524","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:7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7","target":"record","created_at":"2026-07-05T12:08:31Z","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":"a892eed58b6426ff49ae2ae7199f9d8d21890357e4124552c61c02d07859f8b4","cross_cats_sorted":["cs.AI","cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-10T12:08:59Z","title_canon_sha256":"c4b7770f6d3d5ea9ccf84fe58349088ab67c831678fdf3129376cb8e2cda3d87"},"schema_version":"1.0","source":{"id":"2509.08524","kind":"arxiv","version":1}},"canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7207efb8b06041cec20372728a29f126ac76823b35608ef7a15ed5de3f36cbe1","first_computed_at":"2026-07-05T12:08:31.723795Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:31.723795Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"g59heuRnjz/MkL7lQFO9IHfnZJMfV/s75nLunvtYUy2obgU9C1ukaB3ktXDHbpSxdDj3AZ5FMiZLHwQC0+R8Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:31.724244Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08524","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d0fc26c987afba3efc9a14707402c28c107369ccc36c6d65c630b8c3c6c31c7","sha256:4e0eff70d477e505cf2e47fa48079ab43d6daec17d47d8afbe36e90761eea623"],"state_sha256":"0a0ff0e8beb431f41aae6b923fffb33372e688f4b3fa62df1749e1d5b7a72ef9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mCb4Ly1l/jEp3jKIjFQDey5qqTHBGmzMuCWbHuIEmAjfVnQLL45EfFpsfZnwti1YSEVkoMuW7fDCF3vt+5MpCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T09:23:58.616856Z","bundle_sha256":"2a52b823f517dc5aaec9bd3547c277f7658bb358e3b2a6f190030ce0e52e8a3d"}}