{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WAA2QSCJMP3MCHCHZH7MYPSE6T","short_pith_number":"pith:WAA2QSCJ","canonical_record":{"source":{"id":"1803.04881","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","cross_cats_sorted":[],"title_canon_sha256":"239e197924f69f627b98d4ae03e61f3a4d03bfdb24c7392b1a5a8fd5d2fb9206","abstract_canon_sha256":"2a2b34763969ae29a880128aa8dd13e74c00eda187239fe34abb8313889799c5"},"schema_version":"1.0"},"canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","source":{"kind":"arxiv","id":"1803.04881","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04881","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04881v1","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04881","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"pith_short_12","alias_value":"WAA2QSCJMP3M","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WAA2QSCJMP3MCHCH","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WAA2QSCJ","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WAA2QSCJMP3MCHCHZH7MYPSE6T","target":"record","payload":{"canonical_record":{"source":{"id":"1803.04881","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","cross_cats_sorted":[],"title_canon_sha256":"239e197924f69f627b98d4ae03e61f3a4d03bfdb24c7392b1a5a8fd5d2fb9206","abstract_canon_sha256":"2a2b34763969ae29a880128aa8dd13e74c00eda187239fe34abb8313889799c5"},"schema_version":"1.0"},"canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:15.543764Z","signature_b64":"oQ/bxIX0TMjj9vG8trffNEODcXVSZd0NcnKjJv2vNBnrH/+OSiJVabfoGyf4tIS1N2RtUwRVdh/yI6Mv98SJBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","last_reissued_at":"2026-05-18T00:21:15.543379Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:15.543379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.04881","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-05-18T00:21:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a1HFO0GtTSgQdBDyG76YbHO7+qNSO5olAgAPDCxUkg5TMjWE4FGiufwDYUKh19m0mVNLkD6Bo3Hk8edvJfaXDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T12:23:15.283505Z"},"content_sha256":"a5aba30eba437aa8093222bdf0eea6b7462a11bb502ab1112d70cbe1a25ab0a4","schema_version":"1.0","event_id":"sha256:a5aba30eba437aa8093222bdf0eea6b7462a11bb502ab1112d70cbe1a25ab0a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WAA2QSCJMP3MCHCHZH7MYPSE6T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Pretschner, Eirini Psallida, Ricardo Nales Amato, Saahil Ognawala, Thomas Hutzelmann","submitted_at":"2018-03-13T15:29:24Z","abstract_excerpt":"Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, both these methods suffer from fundamental drawbacks that stop them from achieving high path coverage that may, consequently, lead to discovering vulnerabilities at the numerical scale of static analysis. In this presentation, we examine systems-under-test (SUTs) at the granularity level of functions and postulate that achieving higher function coverage (execution of functions in a program at least once) than, both, s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04881","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":""},"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-18T00:21:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c35pLgQjWnXGKInRlv2CYD8VRvxsdex2qC43JkFwyezah4tWCDLnclhbPyOS1rDi8fqDrpIA5usHoKQYtSqWCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T12:23:15.283851Z"},"content_sha256":"c1fa640f32ea72bff6496895e2dd5f5daac98243ea2ffe18618ad7f9aeac0dca","schema_version":"1.0","event_id":"sha256:c1fa640f32ea72bff6496895e2dd5f5daac98243ea2ffe18618ad7f9aeac0dca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/bundle.json","state_url":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/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-23T12:23:15Z","links":{"resolver":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T","bundle":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/bundle.json","state":"https://pith.science/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WAA2QSCJMP3MCHCHZH7MYPSE6T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WAA2QSCJMP3MCHCHZH7MYPSE6T","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":"2a2b34763969ae29a880128aa8dd13e74c00eda187239fe34abb8313889799c5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","title_canon_sha256":"239e197924f69f627b98d4ae03e61f3a4d03bfdb24c7392b1a5a8fd5d2fb9206"},"schema_version":"1.0","source":{"id":"1803.04881","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04881","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04881v1","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04881","created_at":"2026-05-18T00:21:15Z"},{"alias_kind":"pith_short_12","alias_value":"WAA2QSCJMP3M","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"WAA2QSCJMP3MCHCH","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"WAA2QSCJ","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:c1fa640f32ea72bff6496895e2dd5f5daac98243ea2ffe18618ad7f9aeac0dca","target":"graph","created_at":"2026-05-18T00:21:15Z","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"},"paper":{"abstract_excerpt":"Automatic test-case generation techniques of symbolic execution and fuzzing are the most widely used methods to discover vulnerabilities in, both, academia and industry. However, both these methods suffer from fundamental drawbacks that stop them from achieving high path coverage that may, consequently, lead to discovering vulnerabilities at the numerical scale of static analysis. In this presentation, we examine systems-under-test (SUTs) at the granularity level of functions and postulate that achieving higher function coverage (execution of functions in a program at least once) than, both, s","authors_text":"Alexander Pretschner, Eirini Psallida, Ricardo Nales Amato, Saahil Ognawala, Thomas Hutzelmann","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","title":"Reviewing KLEE's Sonar-Search Strategy in Context of Greybox Fuzzing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04881","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:a5aba30eba437aa8093222bdf0eea6b7462a11bb502ab1112d70cbe1a25ab0a4","target":"record","created_at":"2026-05-18T00:21:15Z","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":"2a2b34763969ae29a880128aa8dd13e74c00eda187239fe34abb8313889799c5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2018-03-13T15:29:24Z","title_canon_sha256":"239e197924f69f627b98d4ae03e61f3a4d03bfdb24c7392b1a5a8fd5d2fb9206"},"schema_version":"1.0","source":{"id":"1803.04881","kind":"arxiv","version":1}},"canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b001a8484963f6c11c47c9fecc3e44f4c425db9712fcc54d97121200bac87d98","first_computed_at":"2026-05-18T00:21:15.543379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:15.543379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oQ/bxIX0TMjj9vG8trffNEODcXVSZd0NcnKjJv2vNBnrH/+OSiJVabfoGyf4tIS1N2RtUwRVdh/yI6Mv98SJBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:15.543764Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.04881","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5aba30eba437aa8093222bdf0eea6b7462a11bb502ab1112d70cbe1a25ab0a4","sha256:c1fa640f32ea72bff6496895e2dd5f5daac98243ea2ffe18618ad7f9aeac0dca"],"state_sha256":"56b20cefa752d1df88681a9b4689f547a689c3bd30e196aaec5469e6282f7db3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Guiou8vhUR0TNbMN8N41KsNIM+8G+d1Ros0ptrlMImpnePoVry+Dr2uAFKJRbeFHbr1wgTrjCdU6nIBX/TEDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T12:23:15.285877Z","bundle_sha256":"d172d09d983a801da566ec4e7f9b28a490e19ec15c71107c4121bd00082a8848"}}