{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:DG2WQHQEFMZTGLQBEOARFWDJQD","short_pith_number":"pith:DG2WQHQE","schema_version":"1.0","canonical_sha256":"19b5681e042b33332e01238112d86980e46dbeaadc2368a43fef2e1187b7fa51","source":{"kind":"arxiv","id":"2209.08510","version":1},"attestation_state":"computed","paper":{"title":"Infrared: A Meta Bug Detector","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Chi Zhang, Linzhang Wang, Yu Wang","submitted_at":"2022-09-18T09:08:51Z","abstract_excerpt":"The recent breakthroughs in deep learning methods have sparked a wave of interest in learning-based bug detectors. Compared to the traditional static analysis tools, these bug detectors are directly learned from data, thus, easier to create. On the other hand, they are difficult to train, requiring a large amount of data which is not readily available. In this paper, we propose a new approach, called meta bug detection, which offers three crucial advantages over existing learning-based bug detectors: bug-type generic (i.e., capable of catching the types of bugs that are totally unobserved duri"},"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":"2209.08510","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2022-09-18T09:08:51Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4b060b72000b7c4e17665d6b45218291df6521e9e3b692ba1dc883644abdf2e9","abstract_canon_sha256":"7c70bdd02c7c1a98e9e41b840bf1659bbf0bba4aff0500076e1f766dd9e5ff4f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:58:42.335591Z","signature_b64":"UUvYOBez4uynWJ/XRre7Z4czlOCJef5d2wP8rw79AiPJJSNN7OlAnkueg736JIWjutk/Mtr9i9fx/+mqPDRUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19b5681e042b33332e01238112d86980e46dbeaadc2368a43fef2e1187b7fa51","last_reissued_at":"2026-07-05T04:58:42.335234Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:58:42.335234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Infrared: A Meta Bug Detector","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Chi Zhang, Linzhang Wang, Yu Wang","submitted_at":"2022-09-18T09:08:51Z","abstract_excerpt":"The recent breakthroughs in deep learning methods have sparked a wave of interest in learning-based bug detectors. Compared to the traditional static analysis tools, these bug detectors are directly learned from data, thus, easier to create. On the other hand, they are difficult to train, requiring a large amount of data which is not readily available. In this paper, we propose a new approach, called meta bug detection, which offers three crucial advantages over existing learning-based bug detectors: bug-type generic (i.e., capable of catching the types of bugs that are totally unobserved duri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2209.08510","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2209.08510/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":"2209.08510","created_at":"2026-07-05T04:58:42.335291+00:00"},{"alias_kind":"arxiv_version","alias_value":"2209.08510v1","created_at":"2026-07-05T04:58:42.335291+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2209.08510","created_at":"2026-07-05T04:58:42.335291+00:00"},{"alias_kind":"pith_short_12","alias_value":"DG2WQHQEFMZT","created_at":"2026-07-05T04:58:42.335291+00:00"},{"alias_kind":"pith_short_16","alias_value":"DG2WQHQEFMZTGLQB","created_at":"2026-07-05T04:58:42.335291+00:00"},{"alias_kind":"pith_short_8","alias_value":"DG2WQHQE","created_at":"2026-07-05T04:58:42.335291+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/DG2WQHQEFMZTGLQBEOARFWDJQD","json":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD.json","graph_json":"https://pith.science/api/pith-number/DG2WQHQEFMZTGLQBEOARFWDJQD/graph.json","events_json":"https://pith.science/api/pith-number/DG2WQHQEFMZTGLQBEOARFWDJQD/events.json","paper":"https://pith.science/paper/DG2WQHQE"},"agent_actions":{"view_html":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD","download_json":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD.json","view_paper":"https://pith.science/paper/DG2WQHQE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2209.08510&json=true","fetch_graph":"https://pith.science/api/pith-number/DG2WQHQEFMZTGLQBEOARFWDJQD/graph.json","fetch_events":"https://pith.science/api/pith-number/DG2WQHQEFMZTGLQBEOARFWDJQD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD/action/storage_attestation","attest_author":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD/action/author_attestation","sign_citation":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD/action/citation_signature","submit_replication":"https://pith.science/pith/DG2WQHQEFMZTGLQBEOARFWDJQD/action/replication_record"}},"created_at":"2026-07-05T04:58:42.335291+00:00","updated_at":"2026-07-05T04:58:42.335291+00:00"}