{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WIVXYHCU2TFYPZSJREBL7ET3C6","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":"ee87f38677461618c0869b08a41fddec40c09d351c7af73b07c20054213351c3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-20T15:20:08Z","title_canon_sha256":"542c8bf64a457c074d886f15b7a31a26563d0e6311c1b6897e1b865bbc8caaa5"},"schema_version":"1.0","source":{"id":"2304.10379","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.10379","created_at":"2026-07-05T06:03:12Z"},{"alias_kind":"arxiv_version","alias_value":"2304.10379v2","created_at":"2026-07-05T06:03:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.10379","created_at":"2026-07-05T06:03:12Z"},{"alias_kind":"pith_short_12","alias_value":"WIVXYHCU2TFY","created_at":"2026-07-05T06:03:12Z"},{"alias_kind":"pith_short_16","alias_value":"WIVXYHCU2TFYPZSJ","created_at":"2026-07-05T06:03:12Z"},{"alias_kind":"pith_short_8","alias_value":"WIVXYHCU","created_at":"2026-07-05T06:03:12Z"}],"graph_snapshots":[{"event_id":"sha256:052b7ad81679fc2121a59937910b487b96ed6c4d72667eb9358f32bab1a99063","target":"graph","created_at":"2026-07-05T06:03:12Z","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/2304.10379/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose a method combining machine learning with a static analysis tool (i.e. Infer) to automatically repair source code. Machine Learning methods perform well for producing idiomatic source code. However, their output is sometimes difficult to trust as language models can output incorrect code with high confidence. Static analysis tools are trustable, but also less flexible and produce non-idiomatic code. In this paper, we propose to fix resource leak bugs in IR space, and to use a sequence-to-sequence model to propose fix in source code space. We also study several decoding strategies, an","authors_text":"Baptiste Rozi\\`ere, David Pichardie, Gabriel Synnaeve, Ruba Mutasim","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-20T15:20:08Z","title":"Leveraging Static Analysis for Bug Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.10379","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:667ef07151f159782f627a3c49af77f3ad47218788e4d025d7176e93c85e190f","target":"record","created_at":"2026-07-05T06:03:12Z","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":"ee87f38677461618c0869b08a41fddec40c09d351c7af73b07c20054213351c3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2023-04-20T15:20:08Z","title_canon_sha256":"542c8bf64a457c074d886f15b7a31a26563d0e6311c1b6897e1b865bbc8caaa5"},"schema_version":"1.0","source":{"id":"2304.10379","kind":"arxiv","version":2}},"canonical_sha256":"b22b7c1c54d4cb87e6498902bf927b17bcb273f646e28457bd8bc831a0bff635","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b22b7c1c54d4cb87e6498902bf927b17bcb273f646e28457bd8bc831a0bff635","first_computed_at":"2026-07-05T06:03:12.711120Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:03:12.711120Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CRxF6D84h0KhoMD8N4wVvcfIfl2JTA9SdmM6PMCG6J8zN3+N8U9y5boRJYMCHimVzvqZkK+RT51aE6TDC8ovBw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:03:12.711552Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.10379","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:667ef07151f159782f627a3c49af77f3ad47218788e4d025d7176e93c85e190f","sha256:052b7ad81679fc2121a59937910b487b96ed6c4d72667eb9358f32bab1a99063"],"state_sha256":"464045be52c17198ebe99eb1e0c34fba07cecf0ad909a0387dcc4d9e98ebefaf"}