Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:39:50.099268Z
Paper Citation Record · LEDGER
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
67 of 67 outbound references displayed
- verified exact2
- verified fuzzy55
- unresolved10
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 01201d21-9d19-40f8-9730-3a9defa8c57f · outbound
This paper cites Attack analysis: How unchecked mapping makes 200m usd losses of nomad bridge,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Attack analysis: How unchecked mapping makes 200m usd losses of nomad bridge,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:03.062365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation baf51fef-a91b-4026-9dd2-117f8614369b · outbound
This paper cites A new memory overwrite vulnerability discovered in wyvern protocol,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode A new memory overwrite vulnerability discovered in wyvern protocol,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:02.913146Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 05f5dae9-3e02-4fc9-9cfb-05090dcad6bd · outbound
This paper cites How the mirror protocol got exploited,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode How the mirror protocol got exploited,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:02.749218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 90a7bda6-d7ea-4c2b-b415-a20cd744c3f4 · outbound
This paper cites Attack smart contract of daomaker,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Attack smart contract of daomaker,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:02.526135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation b168a904-5b14-4860-920e-eb2c54a11270 · outbound
This paper cites Attack smart contract of transitswap,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Attack smart contract of transitswap,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:02.324307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation b8012bcc-9cb7-43c6-8bb6-59fa9c23fceb · outbound
This paper cites Crypto losses in 2022,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Crypto losses in 2022,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:02.115419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation b159e1ff-d998-4db0-9289-e2ae14274a60 · outbound
This paper cites Vandal: A Scalable Security Analysis Framework for Smart Contracts.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Vandal: A Scalable Security Analysis Framework for Smart Contracts
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:44.204019Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c4a4086-841e-415b-ab36-5492ce06c539 · outbound
This paper cites an unresolved cited work.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:40:01.889365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 401adb33-f913-41e1-afa2-83e6db7c2736 · outbound
This paper cites Ethersolve: Computing an accurate control-flow graph from ethereum bytecode,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Ethersolve: Computing an accurate control-flow graph from ethereum bytecode,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:01.728924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 4a738849-1229-43ca-9b90-a3ac6e568c15 · outbound
This paper cites Enhancing ethereum smart-contracts static analysis by computing a precise control-flow graph of ethereum bytecode,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Enhancing ethereum smart-contracts static analysis by computing a precise control-flow graph of ethereum bytecode,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:01.495682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation e6b35f35-c245-4264-889c-09b8d0389232 · outbound
This paper cites Octopus,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Octopus,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:01.300002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 446febb9-7e0c-436e-964b-dd8047212716 · outbound
This paper cites Making smart contracts smarter,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Making smart contracts smarter,
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:44.665725Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 01ca0f75-f16d-453d-b7e4-4d20e8edfd89 · outbound
This paper cites Madmax: Surviving out-of-gas conditions in ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Madmax: Surviving out-of-gas conditions in ethereum smart contracts,
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:44.785980Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d1f76f6-e33f-42f9-9d89-e872b11d33ee · outbound
This paper cites Ethir: A framework for high-level analysis of ethereum bytecode,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Ethir: A framework for high-level analysis of ethereum bytecode,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:01.098747Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation cc180379-7770-4636-b8de-230315f41df7 · outbound
This paper cites Erays: reverse engineering ethereum’s opaque smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Erays: reverse engineering ethereum’s opaque smart contracts,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:00.897517Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 7403f23e-16bd-47bd-9b9d-d806e9432156 · outbound
This paper cites Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:00.717092Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation f4f9ad5d-0109-4a1b-ad61-3e4d5bde119c · outbound
This paper cites Etherscan,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Etherscan,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:00.480954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation e8b063a4-fc3b-450e-9ef7-c4a60bd0c6df · outbound
This paper cites Gigahorse: thor- ough, declarative decompilation of smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Gigahorse: thor- ough, declarative decompilation of smart contracts,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:00.304102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d0f5bdff-4af0-4c52-a405-9ce192d2eb42 · outbound
This paper cites Elipmoc: Advanced decompilation of ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Elipmoc: Advanced decompilation of ethereum smart contracts,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:40:00.042753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d215cee9-bbc3-4506-b748-19892f78ace9 · outbound
This paper cites How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:59.856336Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation fe46ddaa-9cae-451b-9829-38775cb35d9e · outbound
This paper cites Ethereum: A secure decentralised generalised trans- action ledger,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Ethereum: A secure decentralised generalised trans- action ledger,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:59.606612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation bce99cc2-d6d8-4e7b-b497-10046dc235d1 · outbound
This paper cites Binance smart chain (bsc),.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Binance smart chain (bsc),
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:59.461325Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 19980403-f8c5-4d10-9708-a1e083b69bf7 · outbound
This paper cites Polygon,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Polygon,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:59.264403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation f0cfdc07-2b3f-42a1-b7db-1f8ccf450585 · outbound
This paper cites Jakstab: A static analysis platform for binaries,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Jakstab: A static analysis platform for binaries,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:59.091403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 7d6dabcc-b1a8-405a-b267-adfd25706fe2 · outbound
This paper cites Static disassembly of obfuscated binaries,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Static disassembly of obfuscated binaries,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:58.848157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 0a83fc42-cc85-4708-9b6d-0b5db291a90e · outbound
This paper cites Disassembly of executable code revisited,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Disassembly of executable code revisited,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:58.673355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 4906b3ee-71d5-4d79-8c63-cb308bcc6ec0 · outbound
This paper cites Constructing precise control flow graphs from binaries,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Constructing precise control flow graphs from binaries,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:58.323561Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation fb615f4e-210e-4a28-a62e-ffe4158dcf82 · outbound
This paper cites The optimizer in solidity compiler,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode The optimizer in solidity compiler,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:58.064578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 97bb1763-6471-41dc-8915-b33220becbb2 · outbound
This paper cites Simple generation of static single- assignment form,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Simple generation of static single- assignment form,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:57.891732Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 6aafb84c-ba80-48a9-9f3d-b3853adb1ac5 · outbound
This paper cites Efficiently computing static single assignment form and the control dependence graph,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Efficiently computing static single assignment form and the control dependence graph,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:57.648881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation c49aac0f-e0ae-454e-b67d-83d89b475b4a · outbound
This paper cites Global value numbers and redundant computations,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Global value numbers and redundant computations,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:57.466773Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation fed62bdd-0e85-426e-809e-38d0f22a3fbb · outbound
This paper cites Two jump patterns in solidity com- piler,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Two jump patterns in solidity com- piler,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:57.279320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation e8daf69a-f872-4b74-a345-5260f2644450 · outbound
This paper cites Jump patterns for reuse in solidity compiler,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Jump patterns for reuse in solidity compiler,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:57.094588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 93adf1f3-03d2-4d1d-83fd-0a80fbced6a6 · outbound
This paper cites A large-scale empirical study on control flow identification of smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode A large-scale empirical study on control flow identification of smart contracts,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:56.926258Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 59e8e969-5439-489b-b880-a7a18289f643 · outbound
This paper cites Solidifi-benchmark,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Solidifi-benchmark,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:56.768113Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation e155406e-467c-419a-bbf0-32005b132712 · outbound
This paper cites Mythril,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Mythril,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:56.562059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 9ffcdcf6-5050-4e77-a29d-d7d92f1d4a4f · outbound
This paper cites Analysis of the dao exploit.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Analysis of the dao exploit
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:56.410627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation b47caab2-76d9-4f8b-8757-334a1d9295a9 · outbound
This paper cites Smart contract : Security patterns,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Smart contract : Security patterns,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:56.179055Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 0c458fcd-6d9a-4c15-9b2f-24d5de49679a · outbound
This paper cites Solidity smart contract security: 4 ways to prevent reentrancy attacks,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Solidity smart contract security: 4 ways to prevent reentrancy attacks,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:55.981547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation af171272-14b1-4efd-80c2-05f5133d52eb · outbound
This paper cites an unresolved cited work.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:39:55.750347Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 8c06d932-cf78-46c0-bda2-be2bf3230bfc · outbound
This paper cites Decompiler in etherscan,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Decompiler in etherscan,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:55.503542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 8e810e8a-b4c4-4fee-b3a7-841aca23e1e6 · outbound
This paper cites Porosity: A decompiler for blockchain-based smart con- tracts bytecode,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Porosity: A decompiler for blockchain-based smart con- tracts bytecode,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:55.312373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation f3ce1172-05dc-48d7-8a41-6bf9dcccab31 · outbound
This paper cites Securify: Practical security analysis of smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Securify: Practical security analysis of smart contracts,
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:48.085351Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ea2f68a-93fb-4fda-8544-dfb985aa32e1 · outbound
This paper cites Ethainter: a smart contract security analyzer for composite vulner- abilities,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Ethainter: a smart contract security analyzer for composite vulner- abilities,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:55.080672Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 8bd11621-cfad-47a3-9bf3-08d55ae294bc · outbound
This paper cites {ETHBMC}: A bounded model checker for smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode {ETHBMC}: A bounded model checker for smart contracts,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:54.738462Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d05f1ced-31f6-47a6-99e0-3de90318710d · outbound
This paper cites Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Manticore: A user-friendly symbolic execution framework for binaries and smart contracts,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:54.351106Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 02454d3a-d04e-45d8-9d96-5be256e952b9 · outbound
This paper cites Sailfish: Vetting smart contract state-inconsistency bugs in seconds,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Sailfish: Vetting smart contract state-inconsistency bugs in seconds,
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:48.382067Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2ae9ea05-aea3-4c99-9ef8-2c7edf3a2b29 · outbound
This paper cites Osiris: Hunting for integer bugs in ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Osiris: Hunting for integer bugs in ethereum smart contracts,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:54.089825Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 3cf1cb26-15e4-4428-98f2-2176fee65071 · outbound
This paper cites Demystifying random number in ethereum smart contract: taxonomy, vulnerability identification, and attack detection,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Demystifying random number in ethereum smart contract: taxonomy, vulnerability identification, and attack detection,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:53.798014Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation dbc31859-6603-40a3-924b-c04c92bb807f · outbound
This paper cites Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:48.589683Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74eb3e2d-b50a-45b7-9e26-b21aa28a7334 · outbound
This paper cites Smartdagger: a bytecode- based static analysis approach for detecting cross-contract vulnerability,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Smartdagger: a bytecode- based static analysis approach for detecting cross-contract vulnerability,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:53.540795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 93b4e971-6d5d-46ea-a520-800b9724ed4d · outbound
This paper cites Empirical review of automated analysis tools on 47,587 ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Empirical review of automated analysis tools on 47,587 ethereum smart contracts,
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:53.268062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 883094c1-5d27-4a47-b5cc-2c7971755379 · outbound
This paper cites Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Reference 53
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T15:39:50.609688Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 5047180c-c7df-42c3-b3ef-69120c6a196b · outbound
This paper cites Empirical evaluation of smart contract testing: What is the best choice?.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Empirical evaluation of smart contract testing: What is the best choice?
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:53.069985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation afa66413-0be6-49bc-8f47-597f0e6ee2d1 · outbound
This paper cites Smart contract and defi security tools: Do they meet the needs of practitioners?.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Smart contract and defi security tools: Do they meet the needs of practitioners?
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:52.790378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation d36ea7d1-c244-47f5-bc50-e7051bbf21b7 · outbound
This paper cites Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T15:39:49.072248Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f307cefd-d937-49b5-a34b-ef565a6190ca · outbound
This paper cites Large-scale study of vulnerability scanners for ethereum smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Large-scale study of vulnerability scanners for ethereum smart contracts,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:52.511348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 270366bd-933b-4ac5-ae24-db695879151e · outbound
This paper cites Demystifying the composition and code reuse in solidity smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Demystifying the composition and code reuse in solidity smart contracts,
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:52.318972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 2d616ce9-329a-4bfa-badf-1bac79c83e06 · outbound
This paper cites Code cloning in smart contracts on the ethereum platform: An extended replication study,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Code cloning in smart contracts on the ethereum platform: An extended replication study,
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:52.120383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation fd179e7c-6725-40e4-8aca-ddc1068c31a9 · outbound
This paper cites Understanding code reuse in smart contracts,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Understanding code reuse in smart contracts,
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:51.869001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 8244c28a-dc16-46d7-bf02-24e3ef0b77cf · outbound
This paper cites BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects
Reference 61
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T15:39:50.328898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 2613c993-31b9-4506-b30c-7af6c9b86c1d · outbound
This paper cites Detecting code reuse in android applications using component-based control flow graph,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Detecting code reuse in android applications using component-based control flow graph,
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:51.580050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation cfcea7ed-8916-4f7b-8b3d-278dff93e403 · outbound
This paper cites A survey on software clone detection research,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode A survey on software clone detection research,
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:51.234772Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation db5bb1ec-7b75-4339-9a94-91a88d4f14e2 · outbound
This paper cites No more gotos: Decompilation using pattern-independent control-flow structuring and semantic-preserving transformations.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode No more gotos: Decompilation using pattern-independent control-flow structuring and semantic-preserving transformations
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:51.072139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 4fc9cca9-2a54-4271-b10c-579587579ac2 · outbound
This paper cites Decompilation of binary programs,.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Decompilation of binary programs,
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:50.838527Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 65c43c6c-f799-42a2-bf8b-2e9d78a2b9fb · outbound
This paper cites an unresolved cited work.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Unresolved cited work
Reference 2002
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:39:58.475374Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Observation 64be50fc-53d3-4611-b349-5e04b43e6720 · outbound
This paper cites Springer, 2014, pp.
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode Springer, 2014, pp
Reference 2014
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:39:51.311361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.
Pith citing papers
No inbound Pith citation observations are available.