Paper Citation Record · LEDGER

Scalpel: The Python Static Analysis Framework

As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2202.11840.

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

pith.paper-citation-record.v1
2202.11840 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:54:43.654508Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-02T08:06:47.754285Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation f22fb2b7-a2ff-4dcc-bbf2-53886c907c5c · inbound

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine cites this paper.

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine Scalpel: The Python Static Analysis Framework

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-05-22T20:37:04.942588Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation af20cb23-5501-4a7b-b2f5-3e3752b90ad7 · inbound

Combining Type Inference and Automated Unit Test Generation for Python cites this paper.

Combining Type Inference and Automated Unit Test Generation for Python Scalpel: The Python Static Analysis Framework

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T20:54:43.654508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5fb9d50-8d3c-4cb2-beeb-4ca4142d2052 · inbound

Can Large Language Models Reason About Complex Execution Paths? An Empirical Study on Python cites this paper.

Can Large Language Models Reason About Complex Execution Paths? An Empirical Study on Python Scalpel: The Python Static Analysis Framework

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T20:51:07.108268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41f0966f-6ad6-45dd-8e7f-c5f1f213d1ab · inbound

RepoRescue: An Empirical Study of LLM Agents on Whole-Repository Compatibility Rescue cites this paper.

RepoRescue: An Empirical Study of LLM Agents on Whole-Repository Compatibility Rescue Scalpel: The Python Static Analysis Framework

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:06:47.755681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.