×

陌生人

swMATH ID: 9152
软件作者: Fang Yu、Muath Alkhalaf、Tevfik Bultan
描述: 陌生人:一个用于PHP的基于自动操作的字符串分析工具。Stranger是一个基于自动机的字符串分析工具,用于查找和消除PHP应用程序中与字符串相关的安全漏洞。Stranger使用符号向前和向后可达性分析来计算字符串表达式在程序执行期间可能采用的值。Stranger可以自动(1)证明应用程序没有受到指定的攻击,或者(2)生成漏洞签名,用于表征可用于生成攻击的所有恶意输入。
主页: http://link.springer.com/chapter/10.1007/978-3642-12002-2_13
相关软件: 汉普;第3章;Z3str3号机组;诺恩;CVC4型;z3(零3);通过;Z3-街道;Z3str2型;github;StrSolve解决方案;萨纳;StringFuzz(字符串模糊);SMT-LIB公司;JST公司;Pex公司;MONA公司;洞穴堆积;投掷;WAPTEC公司
引用于: 22文件

按年份列出的引文