On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
Channel: VideoLecturesChannel
Date: 2021-04-08

Authors: Penghui Li,  Wei Meng,  Kangjie Lu,  Changhua Luo