{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:J27WGEM3VUTLLWQPONCJFGR7G4","short_pith_number":"pith:J27WGEM3","schema_version":"1.0","canonical_sha256":"4ebf63119bad26b5da0f7344929a3f3721c8f836be4f659ccbc8dcbd3644ff60","source":{"kind":"arxiv","id":"2102.02394","version":2},"attestation_state":"computed","paper":{"title":"Refined Grey-Box Fuzzing with SIVO","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Ivica Nikolic, Prateek Saxena, Radu Mantu, Shiqi Shen","submitted_at":"2021-02-04T03:40:30Z","abstract_excerpt":"We design and implement from scratch a new fuzzer called SIVO that refines multiple stages of grey-box fuzzing. First, SIVO refines data-flow fuzzing in two ways: (a) it provides a new taint inference engine that requires only logarithmic in the input size number of tests to infer the dependency of all program branches on the input bytes, and (b) it deploys a novel method for inverting branches by solving directly and efficiently systems of inequalities. Second, our fuzzer refines accurate tracking and detection of code coverage with simple and easily implementable methods. Finally, SIVO refin"},"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":"2102.02394","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-02-04T03:40:30Z","cross_cats_sorted":[],"title_canon_sha256":"c37c66c835d15c2e56ebdadb76af384ce4235a7a1b3e6b8b75665d3b38dd02a8","abstract_canon_sha256":"1db72d7b829b2162db99b1314128393f28ac92525f511c25d44309d1952e0769"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:58:05.682209Z","signature_b64":"FqkeB8ZSC1jQi2xqvGvCDTBi92fZ4m4q+P/o3p/CCBwBROly6cBGbTbIAGAJ9Gx8n6k0I0b8eiDD1yuUa1/dAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ebf63119bad26b5da0f7344929a3f3721c8f836be4f659ccbc8dcbd3644ff60","last_reissued_at":"2026-07-05T02:58:05.681746Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:58:05.681746Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Refined Grey-Box Fuzzing with SIVO","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Ivica Nikolic, Prateek Saxena, Radu Mantu, Shiqi Shen","submitted_at":"2021-02-04T03:40:30Z","abstract_excerpt":"We design and implement from scratch a new fuzzer called SIVO that refines multiple stages of grey-box fuzzing. First, SIVO refines data-flow fuzzing in two ways: (a) it provides a new taint inference engine that requires only logarithmic in the input size number of tests to infer the dependency of all program branches on the input bytes, and (b) it deploys a novel method for inverting branches by solving directly and efficiently systems of inequalities. Second, our fuzzer refines accurate tracking and detection of code coverage with simple and easily implementable methods. Finally, SIVO refin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.02394","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/2102.02394/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":"2102.02394","created_at":"2026-07-05T02:58:05.681805+00:00"},{"alias_kind":"arxiv_version","alias_value":"2102.02394v2","created_at":"2026-07-05T02:58:05.681805+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.02394","created_at":"2026-07-05T02:58:05.681805+00:00"},{"alias_kind":"pith_short_12","alias_value":"J27WGEM3VUTL","created_at":"2026-07-05T02:58:05.681805+00:00"},{"alias_kind":"pith_short_16","alias_value":"J27WGEM3VUTLLWQP","created_at":"2026-07-05T02:58:05.681805+00:00"},{"alias_kind":"pith_short_8","alias_value":"J27WGEM3","created_at":"2026-07-05T02:58:05.681805+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4","json":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4.json","graph_json":"https://pith.science/api/pith-number/J27WGEM3VUTLLWQPONCJFGR7G4/graph.json","events_json":"https://pith.science/api/pith-number/J27WGEM3VUTLLWQPONCJFGR7G4/events.json","paper":"https://pith.science/paper/J27WGEM3"},"agent_actions":{"view_html":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4","download_json":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4.json","view_paper":"https://pith.science/paper/J27WGEM3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2102.02394&json=true","fetch_graph":"https://pith.science/api/pith-number/J27WGEM3VUTLLWQPONCJFGR7G4/graph.json","fetch_events":"https://pith.science/api/pith-number/J27WGEM3VUTLLWQPONCJFGR7G4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4/action/storage_attestation","attest_author":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4/action/author_attestation","sign_citation":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4/action/citation_signature","submit_replication":"https://pith.science/pith/J27WGEM3VUTLLWQPONCJFGR7G4/action/replication_record"}},"created_at":"2026-07-05T02:58:05.681805+00:00","updated_at":"2026-07-05T02:58:05.681805+00:00"}