A Systematic Literature Review on Smart Contract Vulnerability Detection by Symbolic Execution
Yanli Wang, Sifei Sheng, Yanlin Wang
Topics & Concepts
Symbolic executionComputer scienceScope (computer science)Vulnerability (computing)Concolic testingSmart contractThe SymbolicConstraint (computer-aided design)Computer securitySoftware engineeringField (mathematics)SoftwareProgramming languageEngineeringMechanical engineeringBlockchainMathematicsPsychologyPsychoanalysisPure mathematicsAdvanced Malware Detection TechniquesSoftware Testing and Debugging TechniquesAdversarial Robustness in Machine Learning