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

@inproceedings{li-2021-feasibility, author = {Penghui Li and Wei Meng and Kangjie Lu and Changhua Luo}, editor = {Jure Leskovec and Marko Grobelnik and Marc Najork and Jie Tang and Leila Zia}, title = {{On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution}}, booktitle = {{WWW '21: The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021}}, pages = {58--69}, publisher = {ACM / IW3C2}, year = {2021}, url = {https://doi.org/10.1145/3442381.3450002}, doi = {https://doi.org/10.1145/3442381.3450002} }