Paper Citation Record · LEDGER

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables

As of 7 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2506.00313.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.00313 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:14:08.416916Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact2
verified fuzzy11
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch6

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7ea9e273-70f7-4a40-9e7e-0c8ac2cbe438 · outbound

This paper cites WYSINWYX: what you see is not what you execute,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables WYSINWYX: what you see is not what you execute,

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:14:10.817158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7244b907-5812-47e1-bb4c-da2582202b3f · outbound

This paper cites The Angr binary analysis platform,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables The Angr binary analysis platform,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:14.536115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a96fb58-ba84-4f80-940e-2ec7daeea1a1 · outbound

This paper cites an unresolved cited work.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:14:13.436546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 428dc125-787d-4a8d-ab44-fda6d46e580f · outbound

This paper cites an unresolved cited work.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:14:13.294096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 47bc9d42-4b4e-40ea-b69e-f9e0771358d7 · outbound

This paper cites Undecidability of context-sensitive data-independence analysis,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Undecidability of context-sensitive data-independence analysis,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:13.140249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 18fd8f67-ac47-4b49-bb56-ad7eb323417d · outbound

This paper cites an unresolved cited work.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T12:14:06.131847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66ffc9d1-4072-4d10-801f-c2041af2ad82 · outbound

This paper cites Interprocedural static slicing of binary executables,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Interprocedural static slicing of binary executables,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:12.944935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 627a05de-bfcb-4bab-9dd4-259caa176a51 · outbound

This paper cites WYSINWYX: what you see is not what you execute,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables WYSINWYX: what you see is not what you execute,

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T12:14:08.611679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5a0f27ad-70b6-4843-be30-ba5b457809af · outbound

This paper cites Classes of recursively enumerable sets and their decision problems,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Classes of recursively enumerable sets and their decision problems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:12.731500Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 017f47c3-c453-4297-9b86-41b7f86c411e · outbound

This paper cites The undecidability of aliasing,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables The undecidability of aliasing,

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:14:09.900810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 95be475f-6bdc-49ef-82a4-5886d0e979c9 · outbound

This paper cites Pyelftools,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Pyelftools,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:12.559562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0df10c78-e59b-4b76-8dc9-2fafe7d8df5c · outbound

This paper cites Coreutils - GNU core utilities,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Coreutils - GNU core utilities,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:12.349091Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5ce4dd6b-9cc5-4278-949c-9d825ac5bee5 · outbound

This paper cites Apache - HTTP Server Project,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Apache - HTTP Server Project,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:12.108871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b966dfaa-f2c0-46e1-8bf4-fa0b2f869920 · outbound

This paper cites an unresolved cited work.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:14:11.868524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 271247a5-809d-4cf3-9f8d-968152bc10b2 · outbound

This paper cites cJSON - Ultralightweight JSON parser in ANSI C ,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables cJSON - Ultralightweight JSON parser in ANSI C ,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:11.644842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 66945c16-7448-498c-a72b-b5397ce45229 · outbound

This paper cites Pin: building customized program analysis tools with dynamic instrumentation,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Pin: building customized program analysis tools with dynamic instrumentation,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T12:14:07.516894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b4b3a14-5239-49db-b3f0-ce50886df989 · outbound

This paper cites Bvdetector: A program slice- based binary code vulnerability intelligent detection system,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Bvdetector: A program slice- based binary code vulnerability intelligent detection system,

Reference 17

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:14:09.548769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3719f21a-6e8e-4e53-a928-5a5d94f5f3d9 · outbound

This paper cites Binhunter: A fine-grained graph representation for localizing vulnerabilities in binary executables *,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Binhunter: A fine-grained graph representation for localizing vulnerabilities in binary executables *,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T12:14:07.740622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68241e1b-70ba-4560-aec3-1ae1180c2c07 · outbound

This paper cites An in-depth analysis of disassembly on full-scale x86/x64 binaries,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables An in-depth analysis of disassembly on full-scale x86/x64 binaries,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:11.435514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b9951a52-8095-4050-b1ae-80ee1bc9f223 · outbound

This paper cites Ground truth for binary disassembly is not easy,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Ground truth for binary disassembly is not easy,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:11.231368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8ecc143a-6022-4085-85ec-23fb4db6a51c · outbound

This paper cites Sok: All you ever wanted to know about x86/x64 binary disassembly but were afraid to ask,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Sok: All you ever wanted to know about x86/x64 binary disassembly but were afraid to ask,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T12:14:08.135212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6da9cec-67bd-4116-991d-67e04f1f510b · outbound

This paper cites rev.ng: a unified binary analysis framework to recover cfgs and function boundaries,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables rev.ng: a unified binary analysis framework to recover cfgs and function boundaries,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:14:11.069266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fd2b47d5-2cc8-4146-a45c-319aefc63250 · outbound

This paper cites Pointer analysis: haven’t we solved this problem yet?.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Pointer analysis: haven’t we solved this problem yet?

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:14:09.162352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3a0546ad-f1ec-4c6e-b205-6aca5f66f4ed · outbound

This paper cites Towards automatically generating a sound and complete dataset for evaluating static analysis tools,.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Towards automatically generating a sound and complete dataset for evaluating static analysis tools,

Reference 24

Resolution: verified exact; raw_fallback, observed 2026-08-07T12:14:08.842449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8a9e343d-2f03-4e06-a33c-34836745b824 · outbound

This paper cites General formula to design a freeform singlet free of spherical aberration and astigmatism : Comment.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables General formula to design a freeform singlet free of spherical aberration and astigmatism : Comment

Reference 118

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T12:14:10.110115Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1cc41fd7-d403-44a2-b918-0ad81c9efb54 · outbound

This paper cites Available: https://doi.org/10.1145/345099.345137.

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables Available: https://doi.org/10.1145/345099.345137

Reference 2000

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:14:10.508260Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.