{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6VZDGNR6DNSWBWE3KP4PVOCEX2","short_pith_number":"pith:6VZDGNR6","canonical_record":{"source":{"id":"1810.12617","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-10-30T10:06:35Z","cross_cats_sorted":[],"title_canon_sha256":"26cdfe28c1bcc547b2f5be57da33d178061012c1e19a4de964cca7c8bad06ed6","abstract_canon_sha256":"4cb0c1d5311515d3bb13e194078a18fb40ce81418f6c49b3ce94485f154831ca"},"schema_version":"1.0"},"canonical_sha256":"f57233363e1b6560d89b53f8fab844beb1b873971f38226e9a4bd8ee0d240da3","source":{"kind":"arxiv","id":"1810.12617","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.12617","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"arxiv_version","alias_value":"1810.12617v1","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.12617","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"pith_short_12","alias_value":"6VZDGNR6DNSW","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6VZDGNR6DNSWBWE3","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6VZDGNR6","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6VZDGNR6DNSWBWE3KP4PVOCEX2","target":"record","payload":{"canonical_record":{"source":{"id":"1810.12617","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-10-30T10:06:35Z","cross_cats_sorted":[],"title_canon_sha256":"26cdfe28c1bcc547b2f5be57da33d178061012c1e19a4de964cca7c8bad06ed6","abstract_canon_sha256":"4cb0c1d5311515d3bb13e194078a18fb40ce81418f6c49b3ce94485f154831ca"},"schema_version":"1.0"},"canonical_sha256":"f57233363e1b6560d89b53f8fab844beb1b873971f38226e9a4bd8ee0d240da3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:56.514461Z","signature_b64":"VewTdGZjBtp2DAnpf13SBlPoZ448i98//Riru+MuMKOu2DjhKFujew5M2bwYXM0zS0oLM3WB1Rl1LPFR5MAADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f57233363e1b6560d89b53f8fab844beb1b873971f38226e9a4bd8ee0d240da3","last_reissued_at":"2026-05-18T00:01:56.513952Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:56.513952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.12617","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:01:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2leVLdafczTe6xT7m3/ZVEvZX8kqb8AidzXdpo5VcM8lFS5FltnOSpcfqtpOjzksgKMPHg4FPex4sWpTgXpxAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:53:20.274027Z"},"content_sha256":"1bb6da3f05864c63249a6770372c5941f0655f7ffe4e1060eda573797a6f6036","schema_version":"1.0","event_id":"sha256:1bb6da3f05864c63249a6770372c5941f0655f7ffe4e1060eda573797a6f6036"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6VZDGNR6DNSWBWE3KP4PVOCEX2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jan Strej\\v{c}ek, Marek Chalupa, Martina Vitovsk\\'a","submitted_at":"2018-10-30T10:06:35Z","abstract_excerpt":"The paper describes a member of the Symbiotic toolbox called sbt-instrumentation, which is a tool for configurable instrumentation of LLVM bitcode. The tool enables a user to specify patterns of instructions and to define functions whose calls will be inserted before or after instructions that match the patterns. Moreover, the tool offers additional functionality. First, the instrumentation can be divided into phases in order to pass information acquired in an earlier phase to the later phases. Second, it can utilize results of some external static analysis by connecting it as a plugin. The sb"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.12617","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:01:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/GzrWlmQyyoiWfIlGgL3Ad7HJiVeaET4kf+7dGWE7zjl5agmCPZFN0VL70ZvUqtf8dPuGztDVdmzftb7LlRAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T06:53:20.274452Z"},"content_sha256":"0cb084b222bb41e9030af70503bfb539feb3cc641107a5e84d8ff4457c425c61","schema_version":"1.0","event_id":"sha256:0cb084b222bb41e9030af70503bfb539feb3cc641107a5e84d8ff4457c425c61"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/bundle.json","state_url":"https://pith.science/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/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-02T06:53:20Z","links":{"resolver":"https://pith.science/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2","bundle":"https://pith.science/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/bundle.json","state":"https://pith.science/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6VZDGNR6DNSWBWE3KP4PVOCEX2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6VZDGNR6DNSWBWE3KP4PVOCEX2","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":"4cb0c1d5311515d3bb13e194078a18fb40ce81418f6c49b3ce94485f154831ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-10-30T10:06:35Z","title_canon_sha256":"26cdfe28c1bcc547b2f5be57da33d178061012c1e19a4de964cca7c8bad06ed6"},"schema_version":"1.0","source":{"id":"1810.12617","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.12617","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"arxiv_version","alias_value":"1810.12617v1","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.12617","created_at":"2026-05-18T00:01:56Z"},{"alias_kind":"pith_short_12","alias_value":"6VZDGNR6DNSW","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"6VZDGNR6DNSWBWE3","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"6VZDGNR6","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:0cb084b222bb41e9030af70503bfb539feb3cc641107a5e84d8ff4457c425c61","target":"graph","created_at":"2026-05-18T00:01:56Z","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":"The paper describes a member of the Symbiotic toolbox called sbt-instrumentation, which is a tool for configurable instrumentation of LLVM bitcode. The tool enables a user to specify patterns of instructions and to define functions whose calls will be inserted before or after instructions that match the patterns. Moreover, the tool offers additional functionality. First, the instrumentation can be divided into phases in order to pass information acquired in an earlier phase to the later phases. Second, it can utilize results of some external static analysis by connecting it as a plugin. The sb","authors_text":"Jan Strej\\v{c}ek, Marek Chalupa, Martina Vitovsk\\'a","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-10-30T10:06:35Z","title":"SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.12617","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:1bb6da3f05864c63249a6770372c5941f0655f7ffe4e1060eda573797a6f6036","target":"record","created_at":"2026-05-18T00:01:56Z","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":"4cb0c1d5311515d3bb13e194078a18fb40ce81418f6c49b3ce94485f154831ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-10-30T10:06:35Z","title_canon_sha256":"26cdfe28c1bcc547b2f5be57da33d178061012c1e19a4de964cca7c8bad06ed6"},"schema_version":"1.0","source":{"id":"1810.12617","kind":"arxiv","version":1}},"canonical_sha256":"f57233363e1b6560d89b53f8fab844beb1b873971f38226e9a4bd8ee0d240da3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f57233363e1b6560d89b53f8fab844beb1b873971f38226e9a4bd8ee0d240da3","first_computed_at":"2026-05-18T00:01:56.513952Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:56.513952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VewTdGZjBtp2DAnpf13SBlPoZ448i98//Riru+MuMKOu2DjhKFujew5M2bwYXM0zS0oLM3WB1Rl1LPFR5MAADg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:56.514461Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.12617","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bb6da3f05864c63249a6770372c5941f0655f7ffe4e1060eda573797a6f6036","sha256:0cb084b222bb41e9030af70503bfb539feb3cc641107a5e84d8ff4457c425c61"],"state_sha256":"cf5808dd99ef85838323f45e8b82a08eb4b400f20086564c398b8438f60a5dfd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vQMYME/UahgoHImJ5cWHmpEwn1YC/KMFkGmLY8LfHxOIRzTfQARLsQS4VDhPqGLxpENtbK8EVEuquHg4r67oCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T06:53:20.276539Z","bundle_sha256":"610b0e7ad964309c15770de12f4c9c9fd2980f458eb2d92feaae2f00221e44f5"}}