{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BHSDFBQFJVVTEXS3ALYV3DQO4Z","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":"3c6f6b8f5aa9a0c4e447688a1af2f8029d6d67a3ed5befcd6e6fe6adaddb48ef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T02:45:27Z","title_canon_sha256":"b8424b89f5ed3327501af8b0c7eff840f875fd1f82b9c2ff202034473d4db317"},"schema_version":"1.0","source":{"id":"2506.03504","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.03504","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.03504v1","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.03504","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_12","alias_value":"BHSDFBQFJVVT","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_16","alias_value":"BHSDFBQFJVVTEXS3","created_at":"2026-07-05T11:15:28Z"},{"alias_kind":"pith_short_8","alias_value":"BHSDFBQF","created_at":"2026-07-05T11:15:28Z"}],"graph_snapshots":[{"event_id":"sha256:4fe449315a4f3957e359f4425ba52b5742f41eebd6b13b4a72a7fab45ad15cda","target":"graph","created_at":"2026-07-05T11:15:28Z","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/2506.03504/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This proposal discusses the growing challenges in reverse engineering modern software binaries, particularly those compiled from newer system programming languages such as Rust, Go, and Mojo. Traditional reverse engineering techniques, developed with a focus on C and C++, fall short when applied to these newer languages due to their reliance on outdated heuristics and failure to fully utilize the rich semantic information embedded in binary programs. These challenges are exacerbated by the limitations of current data-driven methods, which are susceptible to generating inaccurate results, commo","authors_text":"Xiangyu Zhang, Zhuo Zhuo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T02:45:27Z","title":"Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.03504","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:619daac834a01676463fd3daccaa80ec3dda860ab0fa0fcf1fe27b8e45d7686f","target":"record","created_at":"2026-07-05T11:15:28Z","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":"3c6f6b8f5aa9a0c4e447688a1af2f8029d6d67a3ed5befcd6e6fe6adaddb48ef","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-04T02:45:27Z","title_canon_sha256":"b8424b89f5ed3327501af8b0c7eff840f875fd1f82b9c2ff202034473d4db317"},"schema_version":"1.0","source":{"id":"2506.03504","kind":"arxiv","version":1}},"canonical_sha256":"09e43286054d6b325e5b02f15d8e0ee6548aa5cf1ba5c8d877912410879c6a38","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09e43286054d6b325e5b02f15d8e0ee6548aa5cf1ba5c8d877912410879c6a38","first_computed_at":"2026-07-05T11:15:28.873657Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:15:28.873657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1MM4sO4K/nH0MyW1lQUZZQf14dMYAOyzcwANXeJUnJYguJGmYE3rcaGMdoyvpZHwvxECKA7ncipdFBpKiihPDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:15:28.874060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.03504","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:619daac834a01676463fd3daccaa80ec3dda860ab0fa0fcf1fe27b8e45d7686f","sha256:4fe449315a4f3957e359f4425ba52b5742f41eebd6b13b4a72a7fab45ad15cda"],"state_sha256":"8c360e5b05e7c84bb1a1a1dbc479703ddebb8cc8d924e71421d444e83a4e9503"}