模拟精确的静态代码分析建立在PHP的特点..docxVIP

Simulation of Built-in PHP Features forPrecise Static Code AnalysisJohannes DahseHorst G¨ortz Institute for IT-Security (HGI)Ruhr-University Bochum, Germanyjohannes.dahse@rub.deThorsten HolzHorst G¨ortz Institute for IT-Security (HGI)Ruhr-University Bochum, Germanythorsten.holz@rub.deAbstract—The World Wide Web grew rapidly during the lastdecades and is used by millions of people every day for onlineshopping, banking, networking, and other activities. Many ofthese websites are developed with PHP, the most popular scriptinglanguage on the Web. However, PHP code is prone to differenttypes of cri