On the feasibility of automated built-in function modeling for PHP symbolic execution

Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Fingerprint

Dive into the research topics of 'On the feasibility of automated built-in function modeling for PHP symbolic execution'. Together they form a unique fingerprint.

Engineering & Materials Science