陌生人 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文件 全部的 前5名59位作者引用 5 维杰·加内什 4 克拉克·W·巴雷特。 4 墨菲·贝尔齐什 4 戴,乔尔·D·。 4 弗罗林·马内亚 4 德克·诺沃特卡 4 安德鲁·雷诺兹 4 塞萨尔·蒂内利 三 米贾·库尔琴斯基 三 费德里科·莫拉 2 罗伯托·阿马迪尼 2 特夫菲克·布尔坦 2 卢卡什·霍利克 2 奥斯卡·H·伊巴拉。 2 梁天一 2 安德烈斯·诺兹利 2 彼得·詹姆斯·斯塔基 2 内斯塔·齐斯卡里泽 2 玛格斯·维纳斯 2 于、方 1 帕罗什·阿齐兹·阿卜杜拉 1 穆阿特·阿尔卡拉夫 1 海伦·阿什曼 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 迈克尔·班特吉 1 Barbosa,哈尼尔 1 尼古拉·S·比约纳。 1 弗兰蒂舍克·布拉胡德克 1 陈玉芳 1 乔利亚特,大卫 1 Kim-Kwang Raymond Choo先生 1 Deters,摩根 1 比菲省迪普 1 伊西尔·迪利格 1 朱利安·杜比 1 皮埃尔·弗莱纳 1 傅、香 1 格雷姆·恒河 1 阿尔伯特·加雷塔 1 罗伯特·D·格雷。 1 沃伊特·哈夫勒纳 1 他,保罗 1 Heule,Marijn J.H。 1 Pieter Hooimeijer 1 彼得·扬克 1 Ondřej Lengál 1 李钟池 1 奥斯瓦尔多·奥利沃 1 贾斯汀·皮尔逊 1 Michael C.鲍威尔。 1 维克托·普罗霍伦科 1 约瑟夫·斯科特。 1 Síč,尤拉杰 1 萨努苏布拉曼尼亚语 1 塔克,吉多 1 奥马尔·特里普 1 瓦伦丁·Wüstholz 1 张湘玉 1 郑云辉 全部的 前5名7篇连载文章中引用 三 系统设计中的形式化方法 1 人工智能 1 应用数学与计算 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 21 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文