{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:6RJQTP24EFNLWEEI6CO5WHZU4E","short_pith_number":"pith:6RJQTP24","canonical_record":{"source":{"id":"2111.05770","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-11-10T16:17:13Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e302c066012da626c01219242ebf1fbcc263d2487e9941f89733d29ab5542e79","abstract_canon_sha256":"8fb6bef0874598c594799aa06343913726d265ef6b3e388123609f12999b6c64"},"schema_version":"1.0"},"canonical_sha256":"f45309bf5c215abb1088f09ddb1f34e121f451c2b7ff92ac87e6fabbfddb9fb4","source":{"kind":"arxiv","id":"2111.05770","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.05770","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"arxiv_version","alias_value":"2111.05770v2","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.05770","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_12","alias_value":"6RJQTP24EFNL","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_16","alias_value":"6RJQTP24EFNLWEEI","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_8","alias_value":"6RJQTP24","created_at":"2026-07-05T04:07:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:6RJQTP24EFNLWEEI6CO5WHZU4E","target":"record","payload":{"canonical_record":{"source":{"id":"2111.05770","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-11-10T16:17:13Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e302c066012da626c01219242ebf1fbcc263d2487e9941f89733d29ab5542e79","abstract_canon_sha256":"8fb6bef0874598c594799aa06343913726d265ef6b3e388123609f12999b6c64"},"schema_version":"1.0"},"canonical_sha256":"f45309bf5c215abb1088f09ddb1f34e121f451c2b7ff92ac87e6fabbfddb9fb4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:07:06.249688Z","signature_b64":"fFLoOCD7gkJEPC19Kdo7dbUEhT/aPPcjEw+li5pbjB39R2GEX8kGl/j3YMdDYfAuraseczQJbWl409w3/F4nCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f45309bf5c215abb1088f09ddb1f34e121f451c2b7ff92ac87e6fabbfddb9fb4","last_reissued_at":"2026-07-05T04:07:06.249253Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:07:06.249253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.05770","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-07-05T04:07:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/34c3G/fHbX3fw5+pDqE/e2bzxL3Y/1SA8fY80HfysHd4nSVf7EdtSngZSx2fk1QFu+86/kY59/YLH3qT6FwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:55:06.504153Z"},"content_sha256":"9fd88d4dc8db1aa6e84df6d134a2c04f5faae95a1cc794f613c62a4939331e04","schema_version":"1.0","event_id":"sha256:9fd88d4dc8db1aa6e84df6d134a2c04f5faae95a1cc794f613c62a4939331e04"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:6RJQTP24EFNLWEEI6CO5WHZU4E","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Symbolic Security Predicates: Hunt Program Weaknesses","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Darya Parygina, Eli Kobrin, Vlada Logunova","submitted_at":"2021-11-10T16:17:13Z","abstract_excerpt":"Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don't trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security predicate to verify some error condition. Thus, we may change the program data flow to entail null pointer dereference, division by zero, out-of-bounds access, or integer overflow weaknesses. Unlike stati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.05770","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/2111.05770/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-05T04:07:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"poBhmUlPoATmCRjI0Lm9AjcudT71vljm8gWDE75ANbs46d2TKX0NVi8e2Vwu4nARgJOALMGUy/syGpFW9cLSDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:55:06.504663Z"},"content_sha256":"3b9aa5e75f5aebdf1d02c9abff8ac0c77029ce367c098828f5a142802ab0860a","schema_version":"1.0","event_id":"sha256:3b9aa5e75f5aebdf1d02c9abff8ac0c77029ce367c098828f5a142802ab0860a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/bundle.json","state_url":"https://pith.science/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/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-13T05:55:06Z","links":{"resolver":"https://pith.science/pith/6RJQTP24EFNLWEEI6CO5WHZU4E","bundle":"https://pith.science/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/bundle.json","state":"https://pith.science/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6RJQTP24EFNLWEEI6CO5WHZU4E/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:6RJQTP24EFNLWEEI6CO5WHZU4E","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":"8fb6bef0874598c594799aa06343913726d265ef6b3e388123609f12999b6c64","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-11-10T16:17:13Z","title_canon_sha256":"e302c066012da626c01219242ebf1fbcc263d2487e9941f89733d29ab5542e79"},"schema_version":"1.0","source":{"id":"2111.05770","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.05770","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"arxiv_version","alias_value":"2111.05770v2","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.05770","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_12","alias_value":"6RJQTP24EFNL","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_16","alias_value":"6RJQTP24EFNLWEEI","created_at":"2026-07-05T04:07:06Z"},{"alias_kind":"pith_short_8","alias_value":"6RJQTP24","created_at":"2026-07-05T04:07:06Z"}],"graph_snapshots":[{"event_id":"sha256:3b9aa5e75f5aebdf1d02c9abff8ac0c77029ce367c098828f5a142802ab0860a","target":"graph","created_at":"2026-07-05T04:07:06Z","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/2111.05770/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect undefined behavior and memory access violation errors. Initially, we symbolically execute program on paths that don't trigger any errors (hybrid fuzzing may explore these paths). Then we construct a symbolic security predicate to verify some error condition. Thus, we may change the program data flow to entail null pointer dereference, division by zero, out-of-bounds access, or integer overflow weaknesses. Unlike stati","authors_text":"Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts, Darya Parygina, Eli Kobrin, Vlada Logunova","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-11-10T16:17:13Z","title":"Symbolic Security Predicates: Hunt Program Weaknesses"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.05770","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:9fd88d4dc8db1aa6e84df6d134a2c04f5faae95a1cc794f613c62a4939331e04","target":"record","created_at":"2026-07-05T04:07:06Z","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":"8fb6bef0874598c594799aa06343913726d265ef6b3e388123609f12999b6c64","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2021-11-10T16:17:13Z","title_canon_sha256":"e302c066012da626c01219242ebf1fbcc263d2487e9941f89733d29ab5542e79"},"schema_version":"1.0","source":{"id":"2111.05770","kind":"arxiv","version":2}},"canonical_sha256":"f45309bf5c215abb1088f09ddb1f34e121f451c2b7ff92ac87e6fabbfddb9fb4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f45309bf5c215abb1088f09ddb1f34e121f451c2b7ff92ac87e6fabbfddb9fb4","first_computed_at":"2026-07-05T04:07:06.249253Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:07:06.249253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fFLoOCD7gkJEPC19Kdo7dbUEhT/aPPcjEw+li5pbjB39R2GEX8kGl/j3YMdDYfAuraseczQJbWl409w3/F4nCg==","signature_status":"signed_v1","signed_at":"2026-07-05T04:07:06.249688Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.05770","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9fd88d4dc8db1aa6e84df6d134a2c04f5faae95a1cc794f613c62a4939331e04","sha256:3b9aa5e75f5aebdf1d02c9abff8ac0c77029ce367c098828f5a142802ab0860a"],"state_sha256":"19cbf0cc23799cc8fe4d8506fb94c1f34f548d0191fefeaa3dd213deefc13d51"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C5McZyrljzZju0bkIYN1zR2l5BPl0amhpsF4/BpkRDn8VCRZlVZZf9IuEk02/ER0rL6v59Av9WQc91olcubyAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T05:55:06.509554Z","bundle_sha256":"540cfe3fac7bdd82b5f2ca4b986966319bca9b8f7dfaa52cb00a6dff8802d182"}}