TY  - RPRT
TI  - Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
AU  - Shuo Yang
AU  - Xingwei Lin
AU  - Jiachi Chen
AU  - Qingyuan Zhong
AU  - Lei Xiao
AU  - Renke Huang
AU  - Yanlin Wang
AU  - Zibin Zheng
PY  - 2024
UR  - https://arxiv.org/abs/2408.06037
ID  - 2408.06037
ER  -