{"as_of":"2026-08-18T16:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:59ebf36cde8424252ff05ea6767d8052ffe7e1a3a273ac72c23be49813d09a1d","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:15:14.511351Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2608.10265/citation-record","integrity":"/paper/2608.10265/integrity","json":"/paper/2608.10265/citation-record.json","paper":"/paper/2608.10265"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:15:15.359807Z","title":"Mythril,","venue":null,"work_id":"4ee31fff-c26f-4c43-80f0-84911292f619","year":2018},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.348473Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:012d212d22cfab581caaef6240b914787a5f34c22ff456e1ec2d67aa7a8aeae9","observation_id":"3d234934-7733-425f-8ad9-8e552c7ea0eb","resolution":{"observed_at":"2026-08-14T04:15:15.365449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.340388Z","title":"Gigahorse-benchmarks,","venue":null,"work_id":"14dabdd0-3db0-4718-bd03-80c8bbaf510d","year":2019},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.354426Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:0ad94077c97ea29f977540bc390230804fb4eaccec191ce3d2085b917d20a62e","observation_id":"7abbaf53-3d48-4a42-bc36-7b149c8bd4b0","resolution":{"observed_at":"2026-08-14T04:15:15.346674Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2005.11613","last_updated":"2020-05-23T22:21:55Z","snapshot_observed_at":"2026-08-18T08:17:42.138718Z","submitted_at":"2020-05-23T22:21:55Z","title":"How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection","version":1},"cited_work":{"arxiv_id":"2005.11613","doi":null,"metadata_source":"pith","pith_arxiv_id":"2005.11613","snapshot_observed_at":"2026-08-14T04:15:14.950213Z","title":"How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection","venue":"cs.SE","work_id":"c1ec2075-78d5-4eae-b6d7-610213ad70f7","year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.359589Z"},"links":{"cited_paper":"/paper/2005.11613","citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:554ff3bf8cacd0b7cf7d643d21b72b99aacf748840bebfa370c1097afa0c48a3","observation_id":"e1c0be1f-641d-4f33-8346-cd45c98ddee6","resolution":{"observed_at":"2026-08-14T04:15:14.956860Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.319729Z","title":"Solidifi benchmark,","venue":null,"work_id":"a4148e58-2878-43b2-b007-4ce208b4dd78","year":null},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.365127Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:58b3e65731c8668949fef6a5c973186f3440edd1e32ee2c936abbebb1e20d434","observation_id":"50922f5f-d847-4b92-a406-4c8e77585b92","resolution":{"observed_at":"2026-08-14T04:15:15.326389Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.277541Z","title":"Loi Luu, H","venue":null,"work_id":"b301be0a-cd3d-4115-9e44-2b0feab3473e","year":null},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.375652Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:d469b9c99c78ca0377abde9546e19661fd92d84291d1bd5e83f41097c3e3033f","observation_id":"d0945817-2358-4a4c-a84e-83400a9579f1","resolution":{"observed_at":"2026-08-14T04:15:15.283305Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.234648Z","title":"Securify,","venue":null,"work_id":"f16007e6-fa53-410f-b914-76a24389cda3","year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.387690Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:01e918c5738d8cf221c446082f758ba6c637f723a31f456cd47cba840b2cc4d7","observation_id":"de82d073-5580-48fb-8087-f4dc46055e87","resolution":{"observed_at":"2026-08-14T04:15:15.240875Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.259025Z","title":"Available: https://github.com/enzymefinance/oyente","venue":null,"work_id":"97219145-0113-4720-9d14-0b8789925203","year":null},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.382147Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:d29e57dfffb03d81b5634688be48f478d6e9bc45620476494c3462fc0c43df69","observation_id":"65ce0f43-7288-44c7-890d-4c193cf1db8e","resolution":{"observed_at":"2026-08-14T04:15:15.265175Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.193303Z","title":"Manticore,","venue":null,"work_id":"8ef2d4c1-cf99-4f3c-b652-7aa4374c804c","year":2017},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.399691Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:256710d428c8fc513f223e4f4dee39d5a7ad8d6ce03ab5b7a3432a6d2a1f7f90","observation_id":"328aefc2-a2aa-4bd2-bb89-0e671ae6e763","resolution":{"observed_at":"2026-08-14T04:15:15.198975Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.211559Z","title":"Smartcheck: Static analysis of ethereum smart contracts,","venue":null,"work_id":"171e719b-969e-4aa5-a95a-e886dacfe118","year":2018},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.393575Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:a50b3771f76f2f6dd02f7420e7d8b2eb92c4d1c20daaeaddc9b0c987997d95b1","observation_id":"854da458-c3e4-499d-8d0f-fbd44ec5d1b0","resolution":{"observed_at":"2026-08-14T04:15:15.219392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1809.02702","last_updated":"2018-09-07T22:39:49Z","snapshot_observed_at":"2026-08-14T18:31:24.688182Z","submitted_at":"2018-09-07T22:39:49Z","title":"Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains","version":1},"cited_work":{"arxiv_id":"1809.02702","doi":null,"metadata_source":"pith","pith_arxiv_id":"1809.02702","snapshot_observed_at":"2026-08-14T04:15:14.924523Z","title":"Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains","venue":"cs.CR","work_id":"d5c0103b-9270-4e81-9eab-059dddc0c253","year":2018},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.411356Z"},"links":{"cited_paper":"/paper/1809.02702","citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:5d9261712742c7246bd62e3d96f3c6e605bd5dd6b407a9990dac5048ba008f6b","observation_id":"a7047f65-516d-409e-92c3-a14e98e2f6e4","resolution":{"observed_at":"2026-08-14T04:15:14.930206Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.176894Z","title":"Precise attack synthesis for smart contracts,","venue":null,"work_id":"04e9d600-6a4c-4107-bc01-da55243fc493","year":2019},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.405226Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:e26f18679141c1bd0edfd180a8c06275258b46908e8b4d135070bfd51850a154","observation_id":"63221b13-4316-4017-9926-ac3c1bc1ac25","resolution":{"observed_at":"2026-08-14T04:15:15.181879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.135669Z","title":"Remix - solidity ide,","venue":null,"work_id":"de8195b9-13e8-46f7-91b8-ab621873dac1","year":2017},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.423351Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:b67a604e9783e9fec1f60f2bceccdd0ba94c12516c5d2d34d67dde37ce564dad","observation_id":"444e73fa-765e-4feb-8675-ee64e25d07ae","resolution":{"observed_at":"2026-08-14T04:15:15.141361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.158408Z","title":"Security vulnerabilities in ethereum smart contracts,","venue":null,"work_id":"3ee566d5-11f7-47f8-9a08-889b843a55dd","year":2018},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.417133Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:9c30879c6822234c209c217b9e5a6794bca6a81f4c12eb15b3da2f05abd29abb","observation_id":"cd57f1a1-b870-45cc-bee8-e923f79e88ab","resolution":{"observed_at":"2026-08-14T04:15:15.164529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:14.433401Z","title":"Formal verification of smart contracts: Short paper,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.433401Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:0b8c0dacd57a976f35c33d4f286f811ea3510022187c130724da9f574ec49784","observation_id":"011e9894-dac5-4a10-b64e-b6bb0e049146","resolution":{"observed_at":"2026-08-14T04:15:14.433401Z","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":"2373.32824","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:15:14.897968Z","title":"Security vulnerabilities in ethereum smart contracts,","venue":null,"work_id":"7e973c58-211d-4482-b6cc-e4ab060f2bc0","year":2018},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.428470Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:88405e835501f012b6400c6e0a8c04dd74e56a80fd7299a60258443fdb6bfac4","observation_id":"0f9c6c41-a516-4a7d-9dbc-3be011645696","resolution":{"observed_at":"2026-08-14T04:15:14.906277Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.078369Z","title":"Analysis of blockchain smart contracts: Techniques and insights,","venue":null,"work_id":"9e335343-ebdb-4ff7-9aab-957771fb2e6e","year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.444422Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:a8c75fef5901a18bf62d30e7cabf7cd92049df2c90de0b5fb0ba926c3b6a0f19","observation_id":"1e552ca1-b8fb-464e-901f-6216bd08d651","resolution":{"observed_at":"2026-08-14T04:15:15.083397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.103655Z","title":"Under-optimized smart contracts devour your money,","venue":null,"work_id":"7e71d197-bdb9-4156-ae2e-67ae92d9c6f6","year":2017},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.439442Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:a71ebbbc5496d997de30a4131ded9a90ba9c7a39e795d4ff351036b21f016480","observation_id":"4940fb5b-6d91-4340-894d-f435cab062a4","resolution":{"observed_at":"2026-08-14T04:15:15.108901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.061745Z","title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart con- tracts,","venue":null,"work_id":"89cf409e-0e03-43cb-8df4-142eb07f3967","year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.454623Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:9bc65b70a3503df7f2ce20e5bdc5365a78ce5a17db8450a2ee0ad2a60ce0c17c","observation_id":"5a6478a2-47fe-4a54-bcd2-e4d782adafe3","resolution":{"observed_at":"2026-08-14T04:15:15.066911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:14.449419Z","title":"Static analysis of integer overflow of smart contracts in ethereum,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.449419Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:92afea9509b61ef520d0ce970d9ead067cb34e0975acc7346967969881e03f7b","observation_id":"c95c916e-7372-45ea-99b8-54fd8b3d4171","resolution":{"observed_at":"2026-08-14T04:15:14.449419Z","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-14T04:15:15.026898Z","title":"Ra: Hunting for re- entrancy attacks in ethereum smart contracts via static analysis,","venue":null,"work_id":"9ea5990f-48ca-4153-a750-7a0a6a22bf71","year":2020},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.464517Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:c7ee0be3ffbb9817da0557a19354f905627f0d540310df10e37e79e1c2c46f8a","observation_id":"c917be7f-b299-4f3b-8c3a-275fc810e9bc","resolution":{"observed_at":"2026-08-14T04:15:15.032688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.045082Z","title":"Solanalyser: A framework for analysing and testing smart contracts,","venue":null,"work_id":"56679ed3-c89c-437b-96e6-731432c11046","year":2019},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.459493Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:e28294af1680cb244890a31c4e3661fffd549a3c39321703e04a09db1a5042ef","observation_id":"165d4e5a-df5e-45cf-9889-f1a329e6339b","resolution":{"observed_at":"2026-08-14T04:15:15.050998Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.007258Z","title":"A semantic analysis-based method for smart contract vulnerability,","venue":null,"work_id":"00513135-c3ce-4fa7-952a-cbdf7dbb618b","year":2022},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.474343Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:128e16e7a3f9bcc905c2c2822822a3516f28b855cca3d05378492a441c532c6e","observation_id":"6696d3ac-e4dc-4e49-8b54-b2d698cf4c75","resolution":{"observed_at":"2026-08-14T04:15:15.013309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2007.04771","last_updated":"2020-07-10T08:08:38Z","snapshot_observed_at":"2026-07-06T09:36:51.892047Z","submitted_at":"2020-07-08T15:16:58Z","title":"SmartBugs: A Framework to Analyze Solidity Smart Contracts","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2007.04771","snapshot_observed_at":"2026-08-14T04:15:14.469328Z","title":"Smartbugs: A framework to analyze solidity smart contracts,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.469328Z"},"links":{"cited_paper":"/paper/2007.04771","citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:a867062c9e59cff5d469fae955d6443917f7a90e6a9a7de4eda322a38551d9d1","observation_id":"f05d1e7e-d265-4778-b002-ddbc30699e1a","resolution":{"observed_at":"2026-08-14T04:15:14.469328Z","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":"document/1003474","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:15:14.732543Z","title":"Detection of vulnerabilities of blockchain smart contracts,","venue":null,"work_id":"0c4eed85-901d-4acc-84e6-9a6b91d0b6db","year":2023},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.483883Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:0d110ce93191826d1ffed53ffc7cb97b8b467c2227dc1d088873a5063c62d3ed","observation_id":"dbdf5b7b-7919-45d7-8aa7-1a75a8dc5b5a","resolution":{"observed_at":"2026-08-14T04:15:14.742975Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:14.479100Z","title":"Security threat mitigation for smart contracts: A comprehensive survey,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.479100Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:b49b091e5964cf3921f21d2119c179b94d51a869c40472e875f94776c79bad4c","observation_id":"3f1c7bfa-88f8-41a7-b1bd-c593be7ab62b","resolution":{"observed_at":"2026-08-14T04:15:14.479100Z","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-14T04:15:14.987060Z","title":"Demystifying invariant effectiveness for securing smart contracts,","venue":null,"work_id":"010e43c1-3dcd-49ed-ba70-934637936be0","year":2024},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.494260Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:31c6b6d7c9ff95a55b34df8f7cfd039976e4895100e37fc002a53b9a33d22d0d","observation_id":"d64f5c26-7baa-4f64-a9a7-d6afbef21a5b","resolution":{"observed_at":"2026-08-14T04:15:14.993330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2309.05520","last_updated":"2024-08-21T07:40:16Z","snapshot_observed_at":"2026-08-16T15:01:42.091969Z","submitted_at":"2023-09-11T15:02:44Z","title":"When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.05520","snapshot_observed_at":"2026-08-14T04:15:14.488743Z","title":"When chatgpt meets smart contract vulnerability detection: How far are we?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.488743Z"},"links":{"cited_paper":"/paper/2309.05520","citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:24bac6c37c9ccba03b42fd9f475026fa6e7db06bf1bc084b0f19f00a853829eb","observation_id":"855da886-4d49-4bdc-9b5c-66cc9e11a236","resolution":{"observed_at":"2026-08-14T04:15:14.488743Z","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-14T04:15:14.969277Z","title":"Z3: An efficient smt solver,","venue":null,"work_id":"dd00d339-6248-494d-b0dc-f7e8a9eeb5a5","year":2008},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.511351Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:5ae19102791fe4c1933af8df52913ae6b27814585128485fa3e8bc9b90aa0d3a","observation_id":"3d570148-8665-4127-88a7-03d2ac8b505a","resolution":{"observed_at":"2026-08-14T04:15:14.974732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:14.505411Z","title":"Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.505411Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:00ea3af52ce2792be674b855a9bfba4e57ebfafa8384114759558f4446e665f4","observation_id":"6e9c6e93-4ef7-46be-90fb-8f3a99676fe8","resolution":{"observed_at":"2026-08-14T04:15:14.505411Z","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":"10.1145/3660786","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:15:14.546459Z","title":"Available: https://dl.acm.org/doi/10.1145/3660786","venue":null,"work_id":"30073234-6284-4806-b945-ace18439f557","year":null},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":1795,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.499581Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:77ac556aa096ea70fa9f4ee7ba7ee1ab86c9f6cb72860b8a0d358787796b272c","observation_id":"f4f246f7-303b-48e0-a460-c95652225430","resolution":{"observed_at":"2026-08-14T04:15:14.554578Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-14T04:15:15.297996Z","title":"Available: https://github.com/DependableSystemsLab/ SolidiFI-benchmark","venue":null,"work_id":"65c63b4e-bc29-4c36-bd01-6bb658d98a4c","year":null},"citing_paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-14T04:15:14.370069Z"},"links":{"citing_paper":"/paper/2608.10265"},"observation_digest":"sha256:63b8f34d3f96186483efbc87fa8b497fe7799d79bdee7116f722e915d07924e1","observation_id":"191f2d08-7db0-496a-89ff-2dfe3b2ff33c","resolution":{"observed_at":"2026-08-14T04:15:15.304817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.10265","last_updated":"2026-08-10T22:06:14Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-14T23:10:23.782775Z","submitted_at":"2026-08-10T22:06:14Z","title":"Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":6,"verified_exact":4,"verified_fuzzy":20},"total_outbound_references":31},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"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."}