Paper Citation Record · LEDGER

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction

As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2608.10265.

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

pith.paper-citation-record.v1
2608.10265 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T04:15:14.511351Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

31 of 31 outbound references displayed

verified exact4
verified fuzzy20
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3d234934-7733-425f-8ad9-8e552c7ea0eb · outbound

This paper cites Mythril,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Mythril,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.365449Z

Source-reported events for the cited work

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

Observation 7abbaf53-3d48-4a42-bc36-7b149c8bd4b0 · outbound

This paper cites Gigahorse-benchmarks,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Gigahorse-benchmarks,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.346674Z

Source-reported events for the cited work

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

Observation e1c0be1f-641d-4f33-8346-cd45c98ddee6 · outbound

This paper cites How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-14T04:15:14.956860Z

Source-reported events for the cited work

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

Observation 50922f5f-d847-4b92-a406-4c8e77585b92 · outbound

This paper cites Solidifi benchmark,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Solidifi benchmark,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.326389Z

Source-reported events for the cited work

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

Observation d0945817-2358-4a4c-a84e-83400a9579f1 · outbound

This paper cites Loi Luu, H.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Loi Luu, H

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.283305Z

Source-reported events for the cited work

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

Observation de82d073-5580-48fb-8087-f4dc46055e87 · outbound

This paper cites Securify,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Securify,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.240875Z

Source-reported events for the cited work

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

Observation 65ce0f43-7288-44c7-890d-4c193cf1db8e · outbound

This paper cites Available: https://github.com/enzymefinance/oyente.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Available: https://github.com/enzymefinance/oyente

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.265175Z

Source-reported events for the cited work

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

Observation 328aefc2-a2aa-4bd2-bb89-0e671ae6e763 · outbound

This paper cites Manticore,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Manticore,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.198975Z

Source-reported events for the cited work

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

Observation 854da458-c3e4-499d-8d0f-fbd44ec5d1b0 · outbound

This paper cites Smartcheck: Static analysis of ethereum smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Smartcheck: Static analysis of ethereum smart contracts,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.219392Z

Source-reported events for the cited work

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

Observation a7047f65-516d-409e-92c3-a14e98e2f6e4 · outbound

This paper cites Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-14T04:15:14.930206Z

Source-reported events for the cited work

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

Observation 63221b13-4316-4017-9926-ac3c1bc1ac25 · outbound

This paper cites Precise attack synthesis for smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Precise attack synthesis for smart contracts,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.181879Z

Source-reported events for the cited work

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

Observation 444e73fa-765e-4feb-8675-ee64e25d07ae · outbound

This paper cites Remix - solidity ide,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Remix - solidity ide,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.141361Z

Source-reported events for the cited work

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

Observation cd57f1a1-b870-45cc-bee8-e923f79e88ab · outbound

This paper cites Security vulnerabilities in ethereum smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Security vulnerabilities in ethereum smart contracts,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.164529Z

Source-reported events for the cited work

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

Observation 011e9894-dac5-4a10-b64e-b6bb0e049146 · outbound

This paper cites Formal verification of smart contracts: Short paper,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Formal verification of smart contracts: Short paper,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.433401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f9c6c41-a516-4a7d-9dbc-3be011645696 · outbound

This paper cites Security vulnerabilities in ethereum smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Security vulnerabilities in ethereum smart contracts,

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T04:15:14.906277Z

Source-reported events for the cited work

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

Observation 1e552ca1-b8fb-464e-901f-6216bd08d651 · outbound

This paper cites Analysis of blockchain smart contracts: Techniques and insights,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Analysis of blockchain smart contracts: Techniques and insights,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.083397Z

Source-reported events for the cited work

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

Observation 4940fb5b-6d91-4340-894d-f435cab062a4 · outbound

This paper cites Under-optimized smart contracts devour your money,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Under-optimized smart contracts devour your money,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.108901Z

Source-reported events for the cited work

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

Observation 5a6478a2-47fe-4a54-bcd2-e4d782adafe3 · outbound

This paper cites Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart con- tracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart con- tracts,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.066911Z

Source-reported events for the cited work

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

Observation c95c916e-7372-45ea-99b8-54fd8b3d4171 · outbound

This paper cites Static analysis of integer overflow of smart contracts in ethereum,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Static analysis of integer overflow of smart contracts in ethereum,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.449419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c917be7f-b299-4f3b-8c3a-275fc810e9bc · outbound

This paper cites Ra: Hunting for re- entrancy attacks in ethereum smart contracts via static analysis,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Ra: Hunting for re- entrancy attacks in ethereum smart contracts via static analysis,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.032688Z

Source-reported events for the cited work

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

Observation 165d4e5a-df5e-45cf-9889-f1a329e6339b · outbound

This paper cites Solanalyser: A framework for analysing and testing smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Solanalyser: A framework for analysing and testing smart contracts,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.050998Z

Source-reported events for the cited work

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

Observation 6696d3ac-e4dc-4e49-8b54-b2d698cf4c75 · outbound

This paper cites A semantic analysis-based method for smart contract vulnerability,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction A semantic analysis-based method for smart contract vulnerability,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.013309Z

Source-reported events for the cited work

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

Observation f05d1e7e-d265-4778-b002-ddbc30699e1a · outbound

This paper cites SmartBugs: A Framework to Analyze Solidity Smart Contracts.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction SmartBugs: A Framework to Analyze Solidity Smart Contracts

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.469328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbdf5b7b-7919-45d7-8aa7-1a75a8dc5b5a · outbound

This paper cites Detection of vulnerabilities of blockchain smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Detection of vulnerabilities of blockchain smart contracts,

Reference 24

Resolution: verified exact; raw_fallback, observed 2026-08-14T04:15:14.742975Z

Source-reported events for the cited work

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

Observation 3f1c7bfa-88f8-41a7-b1bd-c593be7ab62b · outbound

This paper cites Security threat mitigation for smart contracts: A comprehensive survey,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Security threat mitigation for smart contracts: A comprehensive survey,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.479100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d64f5c26-7baa-4f64-a9a7-d6afbef21a5b · outbound

This paper cites Demystifying invariant effectiveness for securing smart contracts,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Demystifying invariant effectiveness for securing smart contracts,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:14.993330Z

Source-reported events for the cited work

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

Observation 855da886-4d49-4bdc-9b5c-66cc9e11a236 · outbound

This paper cites When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.488743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d570148-8665-4127-88a7-03d2ac8b505a · outbound

This paper cites Z3: An efficient smt solver,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Z3: An efficient smt solver,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:14.974732Z

Source-reported events for the cited work

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

Observation 6e9c6e93-4ef7-46be-90fb-8f3a99676fe8 · outbound

This paper cites Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-14T04:15:14.505411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4f246f7-303b-48e0-a460-c95652225430 · outbound

This paper cites Available: https://dl.acm.org/doi/10.1145/3660786.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Available: https://dl.acm.org/doi/10.1145/3660786

Reference 1795

Resolution: verified exact; doi, observed 2026-08-14T04:15:14.554578Z

Source-reported events for the cited work

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

Observation 191f2d08-7db0-496a-89ff-2dfe3b2ff33c · outbound

This paper cites Available: https://github.com/DependableSystemsLab/ SolidiFI-benchmark.

Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Available: https://github.com/DependableSystemsLab/ SolidiFI-benchmark

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T04:15:15.304817Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.