On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution.

Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo

Browse the full WWW paper archive.