{"as_of":"2026-08-14T11:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c7ee102cd1c1200369da4feca8e21dd83bae4fe7e3c2a0983f7a32a8425d66ed","coverage":[{"denominator":67,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":67,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:39:50.099268Z","state":"measured"},{"denominator":67,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":67,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2505.14437/citation-record","integrity":"/paper/2505.14437/integrity","json":"/paper/2505.14437/citation-record.json","paper":"/paper/2505.14437"},"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-07T15:40:02.995206Z","title":"Attack analysis: How unchecked mapping makes 200m usd losses of nomad bridge,","venue":null,"work_id":"78635f79-a599-4064-86c3-c1024e6b54e5","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:43.695950Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:b2ad277eecf93c76487d6a93186f54d0d860446472e22d4678784f5927a2affc","observation_id":"01201d21-9d19-40f8-9730-3a9defa8c57f","resolution":{"observed_at":"2026-08-07T15:40:03.062365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:02.831260Z","title":"A new memory overwrite vulnerability discovered in wyvern protocol,","venue":null,"work_id":"c5daf284-c7c1-4dfa-9f48-d2f6b5dd8768","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:43.754034Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:7f94234466dd1398bceeeec2690a7cd18f614edad6a5d5b113b019cd734bb3c3","observation_id":"baf51fef-a91b-4026-9dd2-117f8614369b","resolution":{"observed_at":"2026-08-07T15:40:02.913146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:02.650254Z","title":"How the mirror protocol got exploited,","venue":null,"work_id":"af5cb5a3-3f5e-4e02-aca2-2f8438191942","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:43.839233Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:6cfded7cbd7d2096c95c3063395f09a89dfd280fbe578f3f01b46a6674c5d2d8","observation_id":"05f5dae9-3e02-4fc9-9cfb-05090dcad6bd","resolution":{"observed_at":"2026-08-07T15:40:02.749218Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:02.421109Z","title":"Attack smart contract of daomaker,","venue":null,"work_id":"1948a247-8354-4936-b180-662d3b608d05","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:43.944965Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:4cbf0ccd76f72fa068ed180b8667e442f347811bb303cd88c156352d2da05eda","observation_id":"90a7bda6-d7ea-4c2b-b415-a20cd744c3f4","resolution":{"observed_at":"2026-08-07T15:40:02.526135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:02.234725Z","title":"Attack smart contract of transitswap,","venue":null,"work_id":"a56452ec-7c9a-4d3e-8363-21daf714be2a","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.034878Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:128a2f2f94a3e264cb1174052b36763cb037f725204519627571f0614cc90c17","observation_id":"b168a904-5b14-4860-920e-eb2c54a11270","resolution":{"observed_at":"2026-08-07T15:40:02.324307Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:02.014081Z","title":"Crypto losses in 2022,","venue":null,"work_id":"ae58efd0-0b4f-498d-aace-011794997fcb","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.155878Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:6aa0e9ca6ac0398a9555dd703d8f61074c76343875abd45d4b28e16f3ec425d3","observation_id":"b8012bcc-9cb7-43c6-8bb6-59fa9c23fceb","resolution":{"observed_at":"2026-08-07T15:40:02.115419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1809.03981","last_updated":"2018-09-11T15:39:35Z","snapshot_observed_at":"2026-07-06T07:00:32.953836Z","submitted_at":"2018-09-11T15:39:35Z","title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1809.03981","snapshot_observed_at":"2026-08-07T15:39:44.204019Z","title":"Vandal: A scalable security analysis framework for smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.204019Z"},"links":{"cited_paper":"/paper/1809.03981","citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:de6aff2a4a85f02197cf372022afee400bf61d7ccdfa7329a95e8891f16d3c5d","observation_id":"b159e1ff-d998-4db0-9289-e2ae14274a60","resolution":{"observed_at":"2026-08-07T15:39:44.204019Z","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-07T15:40:01.827205Z","title":null,"venue":null,"work_id":"a1228722-53e7-4eca-8332-32b808220d03","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.294029Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:910350dc4583be03e1d06fb716e29e231d99463543e4a3d3e78ec84ceda195b5","observation_id":"8c4a4086-841e-415b-ab36-5492ce06c539","resolution":{"observed_at":"2026-08-07T15:40:01.889365Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:01.600280Z","title":"Ethersolve: Computing an accurate control-flow graph from ethereum bytecode,","venue":null,"work_id":"64cd749d-432b-4241-b5c9-a3865187632c","year":2021},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.373094Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:dadf79d16f221cd2587c2903f96e149341f67aa52df1a289d10759fe6132e241","observation_id":"401adb33-f913-41e1-afa2-83e6db7c2736","resolution":{"observed_at":"2026-08-07T15:40:01.728924Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:01.408337Z","title":"Enhancing ethereum smart-contracts static analysis by computing a precise control-flow graph of ethereum bytecode,","venue":null,"work_id":"d6f9f363-0992-479d-98c3-137e8e09503f","year":2023},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.463520Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:79df1a45caabc90671a6b83e4a6e24a706da7cdd72460a182b5fa7fc3b6cadc4","observation_id":"4a738849-1229-43ca-9b90-a3ac6e568c15","resolution":{"observed_at":"2026-08-07T15:40:01.495682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:01.222426Z","title":"Octopus,","venue":null,"work_id":"d60383ea-6c30-4700-96de-1641de997bd9","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.555749Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:c6c00ebfe7957317401d08ffb3a816849a04198f69cec4fa0ee64e328125d827","observation_id":"e6b35f35-c245-4264-889c-09b8d0389232","resolution":{"observed_at":"2026-08-07T15:40:01.300002Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:44.665725Z","title":"Making smart contracts smarter,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.665725Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:ddb924f61b6d4ee1d59e4e5fd61dc34138f2ef386c489a8947b28842bd2100e2","observation_id":"446febb9-7e0c-436e-964b-dd8047212716","resolution":{"observed_at":"2026-08-07T15:39:44.665725Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:39:44.785980Z","title":"Madmax: Surviving out-of-gas conditions in ethereum smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.785980Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:f03939ab519e8e82b2ee393d6b9c40c568b6527b9d1523a4c2056f523643197c","observation_id":"01ca0f75-f16d-453d-b7e4-4d20e8edfd89","resolution":{"observed_at":"2026-08-07T15:39:44.785980Z","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-07T15:40:01.000970Z","title":"Ethir: A framework for high-level analysis of ethereum bytecode,","venue":null,"work_id":"93ba11dc-1828-4ca3-ab9a-53c4e3a2bf47","year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.848575Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:0ba969b60021fbd367f5e6a6536f699d3a98a22847e1c35282b37a62237ac3dc","observation_id":"6d1f76f6-e33f-42f9-9d89-e872b11d33ee","resolution":{"observed_at":"2026-08-07T15:40:01.098747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:00.817826Z","title":"Erays: reverse engineering ethereum’s opaque smart contracts,","venue":null,"work_id":"ec1d7c78-896b-404c-b83b-8b59421d3342","year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:44.911122Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:3cfdc9be5b845ebc31fe153d43b6ebdcded834f6383fe7f912c221972cc92bc1","observation_id":"cc180379-7770-4636-b8de-230315f41df7","resolution":{"observed_at":"2026-08-07T15:40:00.897517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:00.632009Z","title":"Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts,","venue":null,"work_id":"44f5c219-6b8b-42c2-b6dd-b5ec59ddfd0b","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.003017Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:632323111262e5c22b12953ef3a8a4d2e5dba719a94ce689e29a7024d2c15998","observation_id":"7403f23e-16bd-47bd-9b9d-d806e9432156","resolution":{"observed_at":"2026-08-07T15:40:00.717092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:00.393608Z","title":"Etherscan,","venue":null,"work_id":"1471e9f7-1f14-4869-874c-56f120bdcd6d","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.080627Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:1322bd1c9fb34be7f34a1c9ccc449bae0a0f078e89c6145de79339ca19ff8b07","observation_id":"f4f9ad5d-0109-4a1b-ad61-3e4d5bde119c","resolution":{"observed_at":"2026-08-07T15:40:00.480954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:40:00.173048Z","title":"Gigahorse: thor- ough, declarative decompilation of smart contracts,","venue":null,"work_id":"449b91b5-51ca-47ce-affe-c41b76101e5b","year":2019},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.188301Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:c42860c1b9f8e881349431fe3dd5491e4e2a73c3b5881ed6de7a527072532d3c","observation_id":"e8b063a4-fc3b-450e-9ef7-c4a60bd0c6df","resolution":{"observed_at":"2026-08-07T15:40:00.304102Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:59.951626Z","title":"Elipmoc: Advanced decompilation of ethereum smart contracts,","venue":null,"work_id":"78e9dad9-9bb3-415e-abdd-6ab8ea76569e","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.322985Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:fa089c8efd937d0a552efd42cc76435a014ec931f8510d55dac5758bf0e73c85","observation_id":"d0f5bdff-4af0-4c52-a405-9ce192d2eb42","resolution":{"observed_at":"2026-08-07T15:40:00.042753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:59.752022Z","title":"How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection,","venue":null,"work_id":"fbd033dc-911b-443f-8d43-b290aec0eec9","year":2020},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.486980Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:d63ae431c4c80a765c2d156c64e3dd78f9664188a4fbf1f131a1aad058cd7a76","observation_id":"d215cee9-bbc3-4506-b748-19892f78ace9","resolution":{"observed_at":"2026-08-07T15:39:59.856336Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:59.529773Z","title":"Ethereum: A secure decentralised generalised trans- action ledger,","venue":null,"work_id":"e8844332-a340-4978-9848-9b1047f3d96d","year":2014},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.633540Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:80463170a286689ee477d4aa1e9b526f61ea9f8c077efea5b896f588ed3df990","observation_id":"fe46ddaa-9cae-451b-9829-38775cb35d9e","resolution":{"observed_at":"2026-08-07T15:39:59.606612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:59.397805Z","title":"Binance smart chain (bsc),","venue":null,"work_id":"f8fce711-d07b-47d3-a402-7e54fcd89011","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.766652Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:b6376e6c65c3fbcf489b8b923252674d51ce5ea025e537dfc8111aee08550510","observation_id":"bce99cc2-d6d8-4e7b-b497-10046dc235d1","resolution":{"observed_at":"2026-08-07T15:39:59.461325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:59.178094Z","title":"Polygon,","venue":null,"work_id":"bfde0bc3-95f1-40f3-be9d-94030705cd7c","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:45.903029Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:db3b2b35f6e0033d1ec2ca0c16c82abb20a00914c38bcb2ead4ef7c335186dbf","observation_id":"19980403-f8c5-4d10-9708-a1e083b69bf7","resolution":{"observed_at":"2026-08-07T15:39:59.264403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:58.959332Z","title":"Jakstab: A static analysis platform for binaries,","venue":null,"work_id":"083658ec-69ca-428a-b858-cb6d9c7d7936","year":2008},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.019594Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:419c567b7ac6499f50121b681d1c8b2cb54fc11e7f2f954879eb305995435193","observation_id":"f0cfdc07-2b3f-42a1-b7db-1f8ccf450585","resolution":{"observed_at":"2026-08-07T15:39:59.091403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:58.771029Z","title":"Static disassembly of obfuscated binaries,","venue":null,"work_id":"9d8d703e-ce4d-469c-95eb-2fef5f85c1d9","year":2004},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.121406Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:68f455302feab8d8333bfc67582ab353f06cf138ad1f18de664478d96ab8ad11","observation_id":"7d6dabcc-b1a8-405a-b267-adfd25706fe2","resolution":{"observed_at":"2026-08-07T15:39:58.848157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:58.609233Z","title":"Disassembly of executable code revisited,","venue":null,"work_id":"f65d50ba-d130-456b-8279-9a2324447aba","year":null},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.193151Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:5e86e758655eb17e578cd2d66069f98adb7bbff824e953c96e0674230d41660d","observation_id":"0a83fc42-cc85-4708-9b6d-0b5db291a90e","resolution":{"observed_at":"2026-08-07T15:39:58.673355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:58.263303Z","title":"Constructing precise control flow graphs from binaries,","venue":null,"work_id":"93062e89-3311-44fb-b17a-f9a3cc1b7f93","year":2009},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.369523Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:a73bbdcfaa69fd862521ad6ed287e3e9850ca5bf760a54370dd85f76601d682e","observation_id":"4906b3ee-71d5-4d79-8c63-cb308bcc6ec0","resolution":{"observed_at":"2026-08-07T15:39:58.323561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.985395Z","title":"The optimizer in solidity compiler,","venue":null,"work_id":"8675b74a-2eba-468f-863a-862fb9340c28","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.468529Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:30004a61cc89c1d155fa5b0fcd8d66f7ee67499f215827d86f2bf2b5aeb27951","observation_id":"fb615f4e-210e-4a28-a62e-ffe4158dcf82","resolution":{"observed_at":"2026-08-07T15:39:58.064578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.780679Z","title":"Simple generation of static single- assignment form,","venue":null,"work_id":"4f3ae72f-4916-49bf-b518-5cb74f24358e","year":2000},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.617445Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:017b369afca37039a62c99549cc41658736e39771c09a852d39418f63595993d","observation_id":"97bb1763-6471-41dc-8915-b33220becbb2","resolution":{"observed_at":"2026-08-07T15:39:57.891732Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.567477Z","title":"Efficiently computing static single assignment form and the control dependence graph,","venue":null,"work_id":"e123e7d7-4997-4449-91dc-87979434e659","year":1991},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.715310Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:b4f5694e89523ebbcb26965d229de6050c6044a0391543f45611f1735e084cba","observation_id":"6aafb84c-ba80-48a9-9f3d-b3853adb1ac5","resolution":{"observed_at":"2026-08-07T15:39:57.648881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.370121Z","title":"Global value numbers and redundant computations,","venue":null,"work_id":"e0b0dff0-bd44-4b14-ac6f-f559f6a49b98","year":1988},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.771373Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:bf8737cca3d334e581e26d0c543bd0adc1f380a164a6e6849a0c46be935a2433","observation_id":"c49aac0f-e0ae-454e-b67d-83d89b475b4a","resolution":{"observed_at":"2026-08-07T15:39:57.466773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.217161Z","title":"Two jump patterns in solidity com- piler,","venue":null,"work_id":"62a4ec6c-9439-4e6c-9c52-595b0eef9489","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.840553Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:d2b625b8460c5161918e37b3719e137e031415976e41a19f50969f5939a426de","observation_id":"fed62bdd-0e85-426e-809e-38d0f22a3fbb","resolution":{"observed_at":"2026-08-07T15:39:57.279320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:57.001359Z","title":"Jump patterns for reuse in solidity compiler,","venue":null,"work_id":"f6bd80a8-74ff-4e75-b0ea-9fe8c89eb47f","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.013380Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:500fcdbf7d9e6292df4bc9b6b11853feff7e64c0eaad68b3a36293f519f5ecde","observation_id":"e8daf69a-f872-4b74-a345-5260f2644450","resolution":{"observed_at":"2026-08-07T15:39:57.094588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:56.864150Z","title":"A large-scale empirical study on control flow identification of smart contracts,","venue":null,"work_id":"9448518a-3d7d-4abb-b0f1-540679e5c8d6","year":2019},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.126846Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:3c1053ead59567809bb35f2bc369507e5203d90ff80e505fd6dd80d4607a8902","observation_id":"93adf1f3-03d2-4d1d-83fd-0a80fbced6a6","resolution":{"observed_at":"2026-08-07T15:39:56.926258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:56.676956Z","title":"Solidifi-benchmark,","venue":null,"work_id":"2128119c-254e-43bc-ae41-e2160e2d3859","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.294717Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:344e727d80fc741c5c9ed8520f38dcd01ef3588b51604a768f4f0fb637b10195","observation_id":"59e8e969-5439-489b-b880-a7a18289f643","resolution":{"observed_at":"2026-08-07T15:39:56.768113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:56.493790Z","title":"Mythril,","venue":null,"work_id":"4d628eb1-0dd5-4964-8eec-b4ad6165eb80","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.444157Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:e0199a27d066a6e61bb8f3ed8207223ee80b733456af0ca169960b0f7eb1008f","observation_id":"e155406e-467c-419a-bbf0-32005b132712","resolution":{"observed_at":"2026-08-07T15:39:56.562059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:56.289403Z","title":"Analysis of the dao exploit","venue":null,"work_id":"90f92014-b0b7-4d34-913a-29084fdf0768","year":2016},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.506376Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:6d71302e17be9a124feee14c484f95853e3e7cbcf55fbe6be7daa75bdf57f574","observation_id":"9ffcdcf6-5050-4e77-a29d-d7d92f1d4a4f","resolution":{"observed_at":"2026-08-07T15:39:56.410627Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:56.062689Z","title":"Smart contract : Security patterns,","venue":null,"work_id":"714ad94c-ee96-4699-8147-c9526a416d57","year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.556169Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:fcb0d70e86c93d0bcae7f287a4bb373646ac1f28895d041795fa8887140f733d","observation_id":"b47caab2-76d9-4f8b-8757-334a1d9295a9","resolution":{"observed_at":"2026-08-07T15:39:56.179055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:55.864992Z","title":"Solidity smart contract security: 4 ways to prevent reentrancy attacks,","venue":null,"work_id":"9dc8951b-68ac-4c3b-9bea-24250a33ea70","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.614292Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:0db28e1a7bda8792e1dd12b1debefb9d44b6259a565c3edd888fe9791bd68cc7","observation_id":"0c458fcd-6d9a-4c15-9b2f-24d5de49679a","resolution":{"observed_at":"2026-08-07T15:39:55.981547Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:55.599283Z","title":null,"venue":null,"work_id":"1c94f3ae-fda1-46a6-92c4-deb6a6fbc861","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.677364Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:398c53e2429d578ee1913b06b4a18b7b456ac5cf562cb28e1f6d2f51a212202d","observation_id":"af171272-14b1-4efd-80c2-05f5133d52eb","resolution":{"observed_at":"2026-08-07T15:39:55.750347Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:55.439791Z","title":"Decompiler in etherscan,","venue":null,"work_id":"608a670b-fa08-414d-954c-14e9a2171741","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.750115Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:0544f55f882713e2ede389e1a926f4584a2cf03324b9a91115c041a5cb3c437a","observation_id":"8c06d932-cf78-46c0-bda2-be2bf3230bfc","resolution":{"observed_at":"2026-08-07T15:39:55.503542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:55.180750Z","title":"Porosity: A decompiler for blockchain-based smart con- tracts bytecode,","venue":null,"work_id":"6ab22e67-4690-43a9-a269-2cfa1f12a983","year":2017},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:47.929347Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:d30a894a4d77f593c93b0ae630e01e253c5d5b4330c1d695636b3b654c9e1ecf","observation_id":"8e810e8a-b4c4-4fee-b3a7-841aca23e1e6","resolution":{"observed_at":"2026-08-07T15:39:55.312373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:48.085351Z","title":"Securify: Practical security analysis of smart contracts,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.085351Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:33b3b8a3b5a05c94417f11c29a756c032df967e00eca133418505bc47889f292","observation_id":"f3ce1172-05dc-48d7-8a41-6bf9dcccab31","resolution":{"observed_at":"2026-08-07T15:39:48.085351Z","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-07T15:39:54.958785Z","title":"Ethainter: a smart contract security analyzer for composite vulner- abilities,","venue":null,"work_id":"9691101b-8cfb-4d98-acac-0b5b1a9c804b","year":2020},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.148132Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:50adb161bb4e0681d148e7c31fac16d69acc1ef614809b6eae13cdf49ce39efd","observation_id":"2ea2f68a-93fb-4fda-8544-dfb985aa32e1","resolution":{"observed_at":"2026-08-07T15:39:55.080672Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:54.532131Z","title":"{ETHBMC}: A bounded model checker for smart contracts,","venue":null,"work_id":"5e1b740e-b022-4a62-ac02-8e28e9fe3a2e","year":2020},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.227996Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:1f8bb69e8884ca92b0dcaa7f17c9fdb6d1b3c345c748cb5ae319bc0fe43d6c7b","observation_id":"8bd11621-cfad-47a3-9bf3-08d55ae294bc","resolution":{"observed_at":"2026-08-07T15:39:54.738462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:54.232242Z","title":"Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,","venue":null,"work_id":"b2bf5353-215f-43a7-8faa-9c18de8425e2","year":2019},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.301522Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:3727dc054b0565263deb8fba18ebbf364afc2d62b8de3a6ff0a1fed84770c047","observation_id":"d05f1ced-31f6-47a6-99e0-3de90318710d","resolution":{"observed_at":"2026-08-07T15:39:54.351106Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:48.382067Z","title":"Sailfish: Vetting smart contract state-inconsistency bugs in seconds,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.382067Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:74e64e2d22bfb4606343e13ac47934d2d44ff80a75ac4c45fe7eb46de6d1ae7a","observation_id":"02454d3a-d04e-45d8-9d96-5be256e952b9","resolution":{"observed_at":"2026-08-07T15:39:48.382067Z","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-07T15:39:53.944417Z","title":"Osiris: Hunting for integer bugs in ethereum smart contracts,","venue":null,"work_id":"bd502a47-2207-45f4-87cf-10a54b2c4bb8","year":2018},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.440882Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:a908256b37ad0b83efd27cf8fb3c3e9aa0d44142896cf59d1b880673784580fa","observation_id":"2ae9ea05-aea3-4c99-9ef8-2c7edf3a2b29","resolution":{"observed_at":"2026-08-07T15:39:54.089825Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:53.683332Z","title":"Demystifying random number in ethereum smart contract: taxonomy, vulnerability identification, and attack detection,","venue":null,"work_id":"e65f4c30-6228-418b-aae9-139dd3cb4f0f","year":2023},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.518182Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:8a183a05ee8f9d82a70bbc265ac36ca291f4f19fcf417f6bab1dc087520de937","observation_id":"3cf1cb26-15e4-4428-98f2-2176fee65071","resolution":{"observed_at":"2026-08-07T15:39:53.798014Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.11254","last_updated":"2024-03-17T16:08:30Z","snapshot_observed_at":"2026-08-13T00:52:29.051576Z","submitted_at":"2024-03-17T16:08:30Z","title":"Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.11254","snapshot_observed_at":"2026-08-07T15:39:48.589683Z","title":"Effi- ciently detecting reentrancy vulnerabilities in complex smart contracts,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.589683Z"},"links":{"cited_paper":"/paper/2403.11254","citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:32381a065ee6bb517059a005954057f129dbad8b7a47583c6e26625f37f9f29c","observation_id":"dbc31859-6603-40a3-924b-c04c92bb807f","resolution":{"observed_at":"2026-08-07T15:39:48.589683Z","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-07T15:39:53.390480Z","title":"Smartdagger: a bytecode- based static analysis approach for detecting cross-contract vulnerability,","venue":null,"work_id":"341cd1a8-69cc-436f-916a-338f3b6e1847","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.675064Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:66263eb15fdd2e3c20e1e1c6d22b286d1d07690bd3395991778f763fe169c0a4","observation_id":"74eb3e2d-b50a-45b7-9e26-b21aa28a7334","resolution":{"observed_at":"2026-08-07T15:39:53.540795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:53.182882Z","title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts,","venue":null,"work_id":"4b9414a6-b56b-4863-89ea-fe63b410e3d1","year":2020},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.733894Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:9215d792d739b81e16e121e458dff50459b8679f6632adc7cba5ec21e21eacaf","observation_id":"93b4e971-6d5d-46ea-a520-800b9724ed4d","resolution":{"observed_at":"2026-08-07T15:39:53.268062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02981","last_updated":"2024-01-22T06:47:29Z","snapshot_observed_at":"2026-08-13T12:08:08.829736Z","submitted_at":"2023-04-06T10:27:19Z","title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?","version":2},"cited_work":{"arxiv_id":"2304.02981","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.02981","snapshot_observed_at":"2026-08-07T15:39:50.520217Z","title":"Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?","venue":"cs.CR","work_id":"4d14b226-7a3e-466f-a9bb-b2c24481c0f5","year":2023},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.792239Z"},"links":{"cited_paper":"/paper/2304.02981","citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:0e90242d9ffd04d7d019f35890d9f66203a7b19f91a11145f8dc88476689327f","observation_id":"883094c1-5d27-4a47-b5cc-2c7971755379","resolution":{"observed_at":"2026-08-07T15:39:50.609688Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:52.953988Z","title":"Empirical evaluation of smart contract testing: What is the best choice?","venue":null,"work_id":"3189453f-a9b6-4f0b-aca5-1d617dd664f6","year":2021},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.891199Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:f8a32b26dadc9ee06cbe974dab6e3ed8385440d89b8d6f3ea929936740774489","observation_id":"5047180c-c7df-42c3-b3ef-69120c6a196b","resolution":{"observed_at":"2026-08-07T15:39:53.069985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:52.669666Z","title":"Smart contract and defi security tools: Do they meet the needs of practitioners?","venue":null,"work_id":"e17f3f84-3f76-4358-a930-8cb9975a8558","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:48.990336Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:7f32217267ec231087700f63e2d76d36653459d9025711f388311ce96cbbdaaf","observation_id":"afa66413-0be6-49bc-8f47-597f0e6ee2d1","resolution":{"observed_at":"2026-08-07T15:39:52.790378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.18186","last_updated":"2024-06-29T04:42:18Z","snapshot_observed_at":"2026-08-14T06:00:28.971658Z","submitted_at":"2024-04-28T13:40:18Z","title":"Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.18186","snapshot_observed_at":"2026-08-07T15:39:49.072248Z","title":"Static application security testing (sast) tools for smart contracts: How far are we?","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.072248Z"},"links":{"cited_paper":"/paper/2404.18186","citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:b0ce7b983b9755a92f508ecda34b49da253da33f7a1f38ab773c376d2699c478","observation_id":"d36ea7d1-c244-47f5-bc50-e7051bbf21b7","resolution":{"observed_at":"2026-08-07T15:39:49.072248Z","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-07T15:39:52.416997Z","title":"Large-scale study of vulnerability scanners for ethereum smart contracts,","venue":null,"work_id":"0322bfed-c212-4f32-9ac6-512eff43329f","year":2024},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.148424Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:190478f11a116148aae26812b74a57077b9fcd25bc869e662222b80f1f85d9f7","observation_id":"f307cefd-d937-49b5-a34b-ef565a6190ca","resolution":{"observed_at":"2026-08-07T15:39:52.511348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:52.229369Z","title":"Demystifying the composition and code reuse in solidity smart contracts,","venue":null,"work_id":"908ff90a-c018-495c-b1c9-4d5f05803f1e","year":2023},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.216053Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:6a28d53308c61cbe64ba28cb81a2071121fefa6cdee76f7260fb98e6ab3850a8","observation_id":"270366bd-933b-4ac5-ae24-db695879151e","resolution":{"observed_at":"2026-08-07T15:39:52.318972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:51.997342Z","title":"Code cloning in smart contracts on the ethereum platform: An extended replication study,","venue":null,"work_id":"7da5890f-a13a-4269-b944-cf19870a97aa","year":2006},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.290484Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:fba779e3fdb35d509e7a8839565d559b6110a1c06629cc58104871bb895af11c","observation_id":"2d616ce9-329a-4bfa-badf-1bac79c83e06","resolution":{"observed_at":"2026-08-07T15:39:52.120383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:51.750509Z","title":"Understanding code reuse in smart contracts,","venue":null,"work_id":"cabe7383-5e44-4991-831f-21032ba7e20f","year":2021},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.372664Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:74b10b5cbd5318a525f628b93227f9b04ac791e8402f26c3d99e6f047724aafc","observation_id":"fd179e7c-6725-40e4-8aca-ddc1068c31a9","resolution":{"observed_at":"2026-08-07T15:39:51.869001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2208.00205","last_updated":"2023-02-21T11:34:56Z","snapshot_observed_at":"2026-08-13T14:53:55.241439Z","submitted_at":"2022-07-30T12:54:37Z","title":"BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects","version":2},"cited_work":{"arxiv_id":"2208.00205","doi":null,"metadata_source":"pith","pith_arxiv_id":"2208.00205","snapshot_observed_at":"2026-08-07T15:39:50.244568Z","title":"BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects","venue":"cs.CR","work_id":"a77cc062-0d5c-499c-8eda-601318b6564d","year":2022},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.483892Z"},"links":{"cited_paper":"/paper/2208.00205","citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:2943649858f8f867279bbd1c66671f71c021db71f0c012cab14275575f87c05e","observation_id":"8244c28a-dc16-46d7-bf02-24e3ef0b77cf","resolution":{"observed_at":"2026-08-07T15:39:50.328898Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:51.463623Z","title":"Detecting code reuse in android applications using component-based control flow graph,","venue":null,"work_id":"30dfb5c5-e6e4-4610-810b-5707bb9a9a18","year":2014},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.603995Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:52d25f5e08ed7a895550573324e069731cb8bb3654937154280d6170766eb628","observation_id":"2613c993-31b9-4506-b30c-7af6c9b86c1d","resolution":{"observed_at":"2026-08-07T15:39:51.580050Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:51.170197Z","title":"A survey on software clone detection research,","venue":null,"work_id":"8e193a1a-c033-4165-bf8a-b1a1621586be","year":2007},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.842841Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:e8617163094dd4e0f280de0cc04afac4f68204c5321ffc4e1ec29842b4128d59","observation_id":"cfcea7ed-8916-4f7b-8b3d-278dff93e403","resolution":{"observed_at":"2026-08-07T15:39:51.234772Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:50.952768Z","title":"No more gotos: Decompilation using pattern-independent control-flow structuring and semantic-preserving transformations","venue":null,"work_id":"c5421f6c-b0ef-416a-9dfb-2794cb1644ce","year":2015},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.952406Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:bfb34bae2ac4d43872f448098ff0de7be24a41279901f52eba604803e7b5e7cb","observation_id":"db5bb1ec-7b75-4339-9a94-91a88d4f14e2","resolution":{"observed_at":"2026-08-07T15:39:51.072139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:50.763151Z","title":"Decompilation of binary programs,","venue":null,"work_id":"a3d09d11-d946-403a-b0ec-ad1c75d934a3","year":1995},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:50.099268Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:9dcfddbcd1bdee112892bd437cfd622387b39cad25d4dc6c9089f097a802e759","observation_id":"4fc9cca9-2a54-4271-b10c-579587579ac2","resolution":{"observed_at":"2026-08-07T15:39:50.838527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:58.393888Z","title":null,"venue":null,"work_id":"e8f7f52f-5111-40cd-90a0-49b4b535f99f","year":2002},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:46.268341Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:7133df3b080ac8bbef9cae9e05a56896d2a8b24b8accae5c286c39e4c9997855","observation_id":"65c43c6c-f799-42a2-bf8b-2e9d78a2b9fb","resolution":{"observed_at":"2026-08-07T15:39:58.475374Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-07T15:39:51.245566Z","title":"Springer, 2014, pp","venue":null,"work_id":"8edcb312-b699-4f95-bda2-888f7edb9466","year":2014},"citing_paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-07T15:39:49.734378Z"},"links":{"citing_paper":"/paper/2505.14437"},"observation_digest":"sha256:a5223e6e7be8771417bcb5c063c437ab625d34c3b7d12490f858a90c796c8e04","observation_id":"64be50fc-53d3-4611-b349-5e04b43e6720","resolution":{"observed_at":"2026-08-07T15:39:51.311361Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.14437","last_updated":"2025-05-20T14:42:06Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-09T01:03:52.917558Z","submitted_at":"2025-05-20T14:42:06Z","title":"Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode"},"reference_resolution":{"displayed":67,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":2,"verified_fuzzy":55},"total_outbound_references":67},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2505.14437."}