@thierryent
This paper presents an enhanced path merging algorithm for symbolic execution in smart contract analysis. By introducing constraint-based merging criteria and partial order reduction, we reduce redundant path exploration. Experiments demonstrate significant performance improvements, enabling faster vulnerability detection in complex contract logic with minimal false positives.
0 reply
0 recast
0 reaction