{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3CUL3PGDIG3ZH3SSCR3LBPPSHM","short_pith_number":"pith:3CUL3PGD","canonical_record":{"source":{"id":"1906.00307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-01T23:06:11Z","cross_cats_sorted":["cs.LG","cs.NE"],"title_canon_sha256":"49a13eb608597c8db3f2412fb85021fc33b1113a12427132412e6222cccefaf0","abstract_canon_sha256":"31fcfba3547915cb02e03491a34cf74a5aa82e04e1a0f8867369a05c18915b83"},"schema_version":"1.0"},"canonical_sha256":"d8a8bdbcc341b793ee521476b0bdf23b270bc8b16a42fc0d4eb682e0374e3c46","source":{"kind":"arxiv","id":"1906.00307","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00307","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00307v1","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00307","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"pith_short_12","alias_value":"3CUL3PGDIG3Z","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3CUL3PGDIG3ZH3SS","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3CUL3PGD","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3CUL3PGDIG3ZH3SSCR3LBPPSHM","target":"record","payload":{"canonical_record":{"source":{"id":"1906.00307","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-01T23:06:11Z","cross_cats_sorted":["cs.LG","cs.NE"],"title_canon_sha256":"49a13eb608597c8db3f2412fb85021fc33b1113a12427132412e6222cccefaf0","abstract_canon_sha256":"31fcfba3547915cb02e03491a34cf74a5aa82e04e1a0f8867369a05c18915b83"},"schema_version":"1.0"},"canonical_sha256":"d8a8bdbcc341b793ee521476b0bdf23b270bc8b16a42fc0d4eb682e0374e3c46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:27.504354Z","signature_b64":"mPp/oYWpuRVBK8wRY9HLpaT7vjrrYhSMFb/23ME0Sxy+1HDZPvXAUpSgo0+x8zm+2FnFt6UcoYdLqj63gPiYDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8a8bdbcc341b793ee521476b0bdf23b270bc8b16a42fc0d4eb682e0374e3c46","last_reissued_at":"2026-05-17T23:44:27.503750Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:27.503750Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.00307","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-17T23:44:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l7iuxMZJt8b1EDx75fOM8AaivER3WPVMSQihRPqHb74SZ6bI0AlNpVMnwuxf6XNQlMyA9u4THexWvmi4218xCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:23:21.733341Z"},"content_sha256":"f6187acf421e17292d7e15373659b9ba88954b212ff9f358ce0080026c45e4b7","schema_version":"1.0","event_id":"sha256:f6187acf421e17292d7e15373659b9ba88954b212ff9f358ce0080026c45e4b7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3CUL3PGDIG3ZH3SSCR3LBPPSHM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Bug Finding: A Study of Opportunities and Challenges","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.NE"],"primary_cat":"cs.SE","authors_text":"Andrew Habib, Michael Pradel","submitted_at":"2019-06-01T23:06:11Z","abstract_excerpt":"Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analyses is difficult and requires high expertise, which results in only a few experts able to write such analyses. This paper explores the opportunities and challenges of an alternative way of creating static bug detectors: neural bug finding. The basic idea is to formulate bug detection as a classification problem, and to address this problem with neural networks trained on examples of buggy and non-buggy code. We syste"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00307","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-17T23:44:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mDhHgEMH5TO5ldivcrGBTaWOy2qB9d2Lj5OzlCl6asfJKHL6dTAzgrn4takLpVQ6LAjtQhQVk3Ysx498MnDeAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T06:23:21.733790Z"},"content_sha256":"2851fa73c5247f532551cab504d7e06df08ba548e20a8cb78f35a328fdd1979e","schema_version":"1.0","event_id":"sha256:2851fa73c5247f532551cab504d7e06df08ba548e20a8cb78f35a328fdd1979e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/bundle.json","state_url":"https://pith.science/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/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-05-28T06:23:21Z","links":{"resolver":"https://pith.science/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM","bundle":"https://pith.science/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/bundle.json","state":"https://pith.science/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3CUL3PGDIG3ZH3SSCR3LBPPSHM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3CUL3PGDIG3ZH3SSCR3LBPPSHM","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":"31fcfba3547915cb02e03491a34cf74a5aa82e04e1a0f8867369a05c18915b83","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-01T23:06:11Z","title_canon_sha256":"49a13eb608597c8db3f2412fb85021fc33b1113a12427132412e6222cccefaf0"},"schema_version":"1.0","source":{"id":"1906.00307","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.00307","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"arxiv_version","alias_value":"1906.00307v1","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.00307","created_at":"2026-05-17T23:44:27Z"},{"alias_kind":"pith_short_12","alias_value":"3CUL3PGDIG3Z","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"3CUL3PGDIG3ZH3SS","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"3CUL3PGD","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:2851fa73c5247f532551cab504d7e06df08ba548e20a8cb78f35a328fdd1979e","target":"graph","created_at":"2026-05-17T23:44:27Z","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":"Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production. Designing and implementing effective and efficient static analyses is difficult and requires high expertise, which results in only a few experts able to write such analyses. This paper explores the opportunities and challenges of an alternative way of creating static bug detectors: neural bug finding. The basic idea is to formulate bug detection as a classification problem, and to address this problem with neural networks trained on examples of buggy and non-buggy code. We syste","authors_text":"Andrew Habib, Michael Pradel","cross_cats":["cs.LG","cs.NE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-01T23:06:11Z","title":"Neural Bug Finding: A Study of Opportunities and Challenges"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.00307","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:f6187acf421e17292d7e15373659b9ba88954b212ff9f358ce0080026c45e4b7","target":"record","created_at":"2026-05-17T23:44:27Z","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":"31fcfba3547915cb02e03491a34cf74a5aa82e04e1a0f8867369a05c18915b83","cross_cats_sorted":["cs.LG","cs.NE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-01T23:06:11Z","title_canon_sha256":"49a13eb608597c8db3f2412fb85021fc33b1113a12427132412e6222cccefaf0"},"schema_version":"1.0","source":{"id":"1906.00307","kind":"arxiv","version":1}},"canonical_sha256":"d8a8bdbcc341b793ee521476b0bdf23b270bc8b16a42fc0d4eb682e0374e3c46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8a8bdbcc341b793ee521476b0bdf23b270bc8b16a42fc0d4eb682e0374e3c46","first_computed_at":"2026-05-17T23:44:27.503750Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:27.503750Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mPp/oYWpuRVBK8wRY9HLpaT7vjrrYhSMFb/23ME0Sxy+1HDZPvXAUpSgo0+x8zm+2FnFt6UcoYdLqj63gPiYDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:27.504354Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.00307","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6187acf421e17292d7e15373659b9ba88954b212ff9f358ce0080026c45e4b7","sha256:2851fa73c5247f532551cab504d7e06df08ba548e20a8cb78f35a328fdd1979e"],"state_sha256":"0e8f75c8024a3ca0f356052f59d34baa1f7f054db18d5aacf1cfb547cbf37301"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FpsY/egu07aIssDavQMQZaIHaQZVWJf4t6bYRCkqlxbmV8C1ek15HSI6UCgI6NjoGis9i3B8m2hj0pPUfov/DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T06:23:21.736227Z","bundle_sha256":"1d64298f3535ba807270187d461c13f93bcd0e13ce4ecd7d8ec8a9a6a231a0d4"}}