On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo
- Anthology ID:
- DBLP:conf/www/LiMLL21
- Volume:
- WWW '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021
- Year:
- 2021
- Venue:
- wwwconf_conference
- Publisher:
- ACM / IW3C2
- Pages:
- 58–69
- URL:
- https://doi.org/10.1145/3442381.3450002
- DOI:
- 10.1145/3442381.3450002
- DBLP:
- conf/www/LiMLL21