Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from EVMLiSA: Sound static control-flow graph construction for EVM bytecode. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
2018 · External reference
Control flow analysis
1970 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
On the relative completeness of bytecode analysis versus source code analysis
2008 · External reference
Software verification challenges in the blockchain ecosystem
10.1007/s10009-024-00758-x · 2024 · External reference
Towards a sound construction of EVM bytecode control-flow graphs
2024 · External reference
Enhancing Ethereum smart-contracts static analysis by computing a precise control-flow graph of Ethereum bytecode
10.1016/j.jss.2023.111653 · 2023 · External reference
Gigahorse: thorough, declarative decompilation of smart contracts
2019 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Tutorial on static inference of numeric invariants by abstract interpretation
10.1561/2500000034 · 2017 · External reference
Unresolved reference
2021 · External reference
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
1977 · External reference
Classes of recursively enumerable sets and their decision problems
10.1090/s0002-9947-1953-0053041-6 · 1953 · External reference
Abstract interpretation and application to logic programs
10.1016/0743-1066(92)90030-7 · 1992 · External reference
Static analysis for dummies: experiencing LiSA
2021 · External reference
Teaching through practice: advanced static analysis with LiSA
2024 · External reference
LiSA: a generic framework for multilanguage static analysis
2023 · External reference
Unresolved reference
External reference
A survey of attacks on Ethereum smart contracts (SoK)
2017 · External reference
Unresolved reference
External reference
Unresolved reference
2016 · External reference
Slither: a static analysis framework for smart contracts
2019 · External reference
SmartCheck: static analysis of Ethereum smart contracts
2018 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
2020 · External reference
Don't run on fumes—parametric gas bounds for smart contracts
10.1016/j.jss.2021.110923 · 2021 · External reference
Taming callbacks for smart contract modularity
10.1145/3428277 · 2020 · External reference
Making smart contracts smarter
2016 · External reference
ethor: practical and provably sound static analysis of Ethereum smart contracts
2020 · External reference
The good, the bad and the ugly: pitfalls and best practices in automated sound static analysis of Ethereum smart contracts
2020 · External reference
Unresolved reference
External reference
Z3: an efficient SMT solver
2008 · External reference
EthIR: a framework for high-level analysis of Ethereum bytecode
2018 · External reference
MadMax: analyzing the out-of-gas world of smart contracts
10.1145/3416262 · 2020 · External reference
Elipmoc: advanced decompilation of Ethereum smart contracts
10.1145/3527321 · 2022 · External reference
Unresolved reference
External reference
Soufflé: on synthesis of program analyzers
2016 · External reference
HoRStify: sound security analysis of smart contracts
2023 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
The art, science, and engineering of fuzzing: a survey
10.1109/tse.2019.2946563 · 2021 · External reference
ContractFuzzer: fuzzing smart contracts for vulnerability detection
2018 · External reference
ReGuard: finding reentrancy bugs in smart contracts
2018 · External reference
Manticore: a user-friendly symbolic execution framework for binaries and smart contracts
2019 · External reference
Dynamic vulnerability detection on smart contracts using machine learning
2021 · External reference
SmartScan: an approach to detect denial of service vulnerability in Ethereum smart contracts
2021 · External reference
SMARTIAN: Enhancing smart contract fuzzing with static and dynamic data-flow analyses
2021 · External reference
AI-enhanced blockchain technology: a review of advancements and opportunities
10.1016/j.jnca.2024.103858 · 2024 · External reference
Unresolved reference
External reference
Combining graph neural networks with expert knowledge for smart contract vulnerability detection
2023 · External reference
Eth2Vec: learning contract-wide code representations for vulnerability detection on Ethereum smart contracts
2022 · External reference
ContractWard: automated vulnerability detection models for Ethereum smart contracts
10.1109/tnse.2020.2968505 · 2021 · External reference
XGuard: detecting inconsistency behaviors of crosschain bridges
2024 · External reference
SmartAxe: detecting cross-chain vulnerabilities in bridge smart contracts via fine-grained static analysis
10.1145/3643738 · 2024 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Cross-chain smart contract invocations: a systematic multi-vocal literature review
10.1145/3638045 · 2024 · External reference
Information flow analysis for detecting non-determinism in blockchain
2023 · External reference
MichelsonLiSA: a static analyzer for Tezos
2023 · External reference
