{"as_of":"2026-08-08T12:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:73750a1ee326ff2ed36bca46d4930e3eb44788571cd7aeab46837927463347a4","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:14:08.416916Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.00313/citation-record","integrity":"/paper/2506.00313/integrity","json":"/paper/2506.00313/citation-record.json","paper":"/paper/2506.00313"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9608.17496","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:10.703381Z","title":"WYSINWYX: what you see is not what you execute,","venue":null,"work_id":"d08d8989-a0b5-4921-8161-26184dc8faca","year":2010},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:05.531950Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:0b9e99e17ef1b6b3750a1480d52f152a451050e7a0d9efd89d17b81d92861cfe","observation_id":"7ea9e273-70f7-4a40-9e7e-0c8ac2cbe438","resolution":{"observed_at":"2026-08-07T12:14:10.817158Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:13.611404Z","title":"The Angr binary analysis platform,","venue":null,"work_id":"8589bb1c-fdc9-40fe-923d-16a97dff339e","year":2016},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:05.575448Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:4c0c7b14a8a09b6cc49d5adcc6d035d3619f553953d7308fdcb2ad6e2b6dfe7b","observation_id":"7244b907-5812-47e1-bb4c-da2582202b3f","resolution":{"observed_at":"2026-08-07T12:14:14.536115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:13.367705Z","title":null,"venue":null,"work_id":"ea951131-5608-40a2-9906-b903245b45b2","year":2022},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:05.666256Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:eb53e7ed4bad422b8263d82045339e34bd57f07e54d16b0189366ac48205a625","observation_id":"7a96fb58-ba84-4f80-940e-2ec7daeea1a1","resolution":{"observed_at":"2026-08-07T12:14:13.436546Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:13.221059Z","title":null,"venue":null,"work_id":"999670ec-0a5a-4b16-8d37-f478ff060865","year":2019},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:05.741305Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:5fd5734aa522408d6c39d66fe0eba73727881a9969ea2bf38cc88cdb3b0840f6","observation_id":"428dc125-787d-4a8d-ab44-fda6d46e580f","resolution":{"observed_at":"2026-08-07T12:14:13.294096Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:13.055545Z","title":"Undecidability of context-sensitive data-independence analysis,","venue":null,"work_id":"e3d09bb0-96d9-4e7f-9e36-ac19a331f2aa","year":null},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:05.891725Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:cd51d4b8ffbfe278a6af5d9fe58756c308333e659aba30ccb239d98c5f824557","observation_id":"47bc9d42-4b4e-40ea-b69e-f9e0771358d7","resolution":{"observed_at":"2026-08-07T12:14:13.140249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:06.131847Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.131847Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:9cb439f12a08e78249cc7fe08727d7625438b2e13ca9011e4815c5f0fa3b7bea","observation_id":"18fd8f67-ac47-4b49-bb56-ad7eb323417d","resolution":{"observed_at":"2026-08-07T12:14:06.131847Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:12.844174Z","title":"Interprocedural static slicing of binary executables,","venue":null,"work_id":"122da731-3ed9-4078-8b10-bb5cff674f49","year":2003},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.242079Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:beb5a34a650469ed18a07d9df5918f4a8f9c1faa6f5acc9a619e9c45375b5b74","observation_id":"66ffc9d1-4072-4d10-801f-c2041af2ad82","resolution":{"observed_at":"2026-08-07T12:14:12.944935Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-69149-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:08.548255Z","title":"WYSINWYX: what you see is not what you execute,","venue":null,"work_id":"1909e39e-892e-4c40-8771-b108fd513950","year":2005},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.513673Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:bc1508623983f5059ea1d76c970af1b12d2c3212e1f035e73f00bc45a4b2e5c9","observation_id":"627a05de-bfcb-4bab-9dd4-259caa176a51","resolution":{"observed_at":"2026-08-07T12:14:08.611679Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:12.641798Z","title":"Classes of recursively enumerable sets and their decision problems,","venue":null,"work_id":"337189df-59d5-46cc-ba9b-d1826d10ba81","year":1953},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.628574Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:69768087476be7d782e4c35f76f342c7edcba3f044c3e33ae21d2c8d4abc96cf","observation_id":"5a0f27ad-70b6-4843-be30-ba5b457809af","resolution":{"observed_at":"2026-08-07T12:14:12.731500Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6025.18604","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:09.844893Z","title":"The undecidability of aliasing,","venue":null,"work_id":"54bbb8f2-56b2-4773-8959-48ad8dcbfaa7","year":1994},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.745261Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:490ee8e3ed500d5851f67dc59a92cbaffbad5ffd2910048469dd2f76fe98edda","observation_id":"017f47c3-c453-4297-9b86-41b7f86c411e","resolution":{"observed_at":"2026-08-07T12:14:09.900810Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:12.462727Z","title":"Pyelftools,","venue":null,"work_id":"9c61ae6d-1a2f-418c-a542-177dca211836","year":2023},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.858795Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:95613d4876b92d3bd578edde85a2b45175fcedc1ce0b24989b6abd3300ea2520","observation_id":"95be475f-6bdc-49ef-82a4-5886d0e979c9","resolution":{"observed_at":"2026-08-07T12:14:12.559562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:12.212032Z","title":"Coreutils - GNU core utilities,","venue":null,"work_id":"f13c5550-cbd9-4a21-8dd4-9f9c225c3a2a","year":2023},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.033635Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:72515f1be2da9c4602490d970042dbd4c295e83e461d925059321494516b0087","observation_id":"0df10c78-e59b-4b76-8dc9-2fafe7d8df5c","resolution":{"observed_at":"2026-08-07T12:14:12.349091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:12.001665Z","title":"Apache - HTTP Server Project,","venue":null,"work_id":"5281a549-2d7a-4949-af5c-3d30a5907cdd","year":2023},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.150609Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:c2d693311d2015c73ce4c7c79d3226f920969dc718ab33c8a3bc41348886f0db","observation_id":"5ce4dd6b-9cc5-4278-949c-9d825ac5bee5","resolution":{"observed_at":"2026-08-07T12:14:12.108871Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:11.744756Z","title":null,"venue":null,"work_id":"1b0e7ce9-46db-4c1b-b009-9ed735c5cf4f","year":2023},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.263475Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:882865cf8b2c153028c16f0ec42cc388b939fe0776763709b53f73c0bca7507c","observation_id":"b966dfaa-f2c0-46e1-8bf4-fa0b2f869920","resolution":{"observed_at":"2026-08-07T12:14:11.868524Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:11.519610Z","title":"cJSON - Ultralightweight JSON parser in ANSI C ,","venue":null,"work_id":"a5c481fc-0cf7-4c48-ae27-03cac2ee507e","year":2023},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.370348Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:f8fe6c1f27023916d30ea3df692ff2607756bf607fef7c36434841cec2a69f63","observation_id":"271247a5-809d-4cf3-9f8d-968152bc10b2","resolution":{"observed_at":"2026-08-07T12:14:11.644842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:07.516894Z","title":"Pin: building customized program analysis tools with dynamic instrumentation,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.516894Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:ee658e6e482ee13d4aa1b40dae109178b5b207e33a77a61a8e046be093e53f57","observation_id":"66945c16-7448-498c-a72b-b5397ce45229","resolution":{"observed_at":"2026-08-07T12:14:07.516894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2020.10628","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:09.446952Z","title":"Bvdetector: A program slice- based binary code vulnerability intelligent detection system,","venue":null,"work_id":"4a28f2b7-dcc5-4df3-ad20-e29b174c2da5","year":2020},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.621059Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:fd4768282a6dd016686037e7f1dd42844daa93dead76f39cd304606e1776798f","observation_id":"6b4b3a14-5239-49db-b3f0-ce50886df989","resolution":{"observed_at":"2026-08-07T12:14:09.548769Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:07.740622Z","title":"Binhunter: A fine-grained graph representation for localizing vulnerabilities in binary executables *,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.740622Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:f158a46fe01374eaaf959e9c1c8833b12f30663e8671c72d88fc7dc47f8b72bd","observation_id":"3719f21a-6e8e-4e53-a928-5a5d94f5f3d9","resolution":{"observed_at":"2026-08-07T12:14:07.740622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:11.354740Z","title":"An in-depth analysis of disassembly on full-scale x86/x64 binaries,","venue":null,"work_id":"d9f1ec5a-dbfe-470c-8047-8092c24967f3","year":2016},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.861490Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:8a3949029b2d00ece26b12960d67e33398cef0a234dc29e793ae3ca544b442be","observation_id":"68241e1b-70ba-4560-aec3-1ae1180c2c07","resolution":{"observed_at":"2026-08-07T12:14:11.435514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:11.150605Z","title":"Ground truth for binary disassembly is not easy,","venue":null,"work_id":"8f45fe31-1d3c-4e32-b14b-a9c309118430","year":2022},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:07.996743Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:ac0eea6e958655c3209208913a78eb80dd50c0413a8bf4ed0e302237746c6c0b","observation_id":"b9951a52-8095-4050-b1ae-80ee1bc9f223","resolution":{"observed_at":"2026-08-07T12:14:11.231368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:08.135212Z","title":"Sok: All you ever wanted to know about x86/x64 binary disassembly but were afraid to ask,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:08.135212Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:a3463b5e7edc8eead1e756ff64cd09bf8f1beb0e7413ec3a1d9e347da7c928d8","observation_id":"8ecc143a-6022-4085-85ec-23fb4db6a51c","resolution":{"observed_at":"2026-08-07T12:14:08.135212Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:10.960123Z","title":"rev.ng: a unified binary analysis framework to recover cfgs and function boundaries,","venue":null,"work_id":"f264f839-d861-4be8-a2f7-74e3e44faa3c","year":2017},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:08.231969Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:04f79f227b95ac5c7bd54224044f7b94b0a54c93a4b5171edc4cb0dcb10464d4","observation_id":"c6da9cec-67bd-4116-991d-67e04f1f510b","resolution":{"observed_at":"2026-08-07T12:14:11.069266Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9605.37966","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:09.041954Z","title":"Pointer analysis: haven’t we solved this problem yet?","venue":null,"work_id":"9f2fe7ae-6239-459e-8612-d075e1b1777d","year":2001},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:08.294736Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:625680a90bad92cdb4d8ed6387ce0e171e02f2dcde5b2b213e672e115fedfc89","observation_id":"fd2b47d5-2cc8-4146-a45c-319aefc63250","resolution":{"observed_at":"2026-08-07T12:14:09.162352Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"biblio/1015511","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:08.781564Z","title":"Towards automatically generating a sound and complete dataset for evaluating static analysis tools,","venue":null,"work_id":"21a80b0f-59fa-4d0e-80ab-eb55b2694ac1","year":2019},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:08.416916Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:60e17961e38ef68806f72de0b4506946fae86464440a94393856ef2bea8384f6","observation_id":"3a0546ad-f1ec-4c6e-b205-6aca5f66f4ed","resolution":{"observed_at":"2026-08-07T12:14:08.842449Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.12380","last_updated":"2020-03-25T23:20:18Z","snapshot_observed_at":"2026-07-06T09:07:49.229343Z","submitted_at":"2020-03-25T23:20:18Z","title":"General formula to design a freeform singlet free of spherical aberration and astigmatism : Comment","version":1},"cited_work":{"arxiv_id":"2003.12380","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.12380","snapshot_observed_at":"2026-08-07T12:14:10.027330Z","title":"General formula to design a freeform singlet free of spherical aberration and astigmatism : Comment","venue":"physics.optics","work_id":"6879a82b-625d-4227-9228-e824454e6203","year":2020},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":118,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.379976Z"},"links":{"cited_paper":"/paper/2003.12380","citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:b8069671d8d38c4dc37fc740d15d6dfe933db282b0919db5fad1fba53cb98ec3","observation_id":"8a9e343d-2f03-4e06-a33c-34836745b824","resolution":{"observed_at":"2026-08-07T12:14:10.110115Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5099.34513","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:14:10.439457Z","title":"Available: https://doi.org/10.1145/345099.345137","venue":null,"work_id":"bfe54699-ccba-4b49-ae17-de6e0af99aa6","year":null},"citing_paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-07T12:14:06.041267Z"},"links":{"citing_paper":"/paper/2506.00313"},"observation_digest":"sha256:d1bcb40d7e7e73b7155839e33ca506b45a3a02dff0fb70ae9d2316ef6ba0b102","observation_id":"1cc41fd7-d403-44a2-b918-0ad81c9efb54","resolution":{"observed_at":"2026-08-07T12:14:10.508260Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.00313","last_updated":"2025-05-30T23:49:57Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-07T12:05:29.860972Z","submitted_at":"2025-05-30T23:49:57Z","title":"Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":7,"verified_exact":2,"verified_fuzzy":11},"total_outbound_references":26},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2506.00313."}