Security; Java; Software; Performance analysis; Internet; Browsers; Uniform resource locators;
机译:静态程序分析辅助动态污点跟踪,以发现软件漏洞
机译:动态线性化系统的静态稳定器和静态输出跟踪器的构造,相关结果和应用
机译:F4F:基于框架的Web应用程序的污染分析
机译:基于静态代码分析的Web应用程序动态Taint跟踪
机译:Web应用程序的路径敏感静态程序分析。
机译:基于标记和无标记跟踪技术的双平面摄影系统的静态和动态误差
机译:静态程序分析辅助动态污点跟踪,以发现软件漏洞