The Greed Trap: Uncovering Intrinsic Ethereum Honeypots Through Symbolic Execution.
Mahtab NorouziMounir ElgharabawyKaiwen ZhangPublished in: BCCA (2023)
Keyphrases
- symbolic execution
- test generation
- static analysis
- test data generation
- specification language
- source code
- data flow
- neural network
- test cases
- error rate
- programming language
- optimization algorithm
- orders of magnitude
- software systems
- software development
- database systems
- decision trees
- artificial intelligence
- databases