陌生人

陌生人:一个基于自动机的PHP字符串分析工具。陌生人是一个基于自动机的字符串分析工具,用于查找和消除PHP应用程序中与字符串相关的安全漏洞。陌生人使用符号前向和后向可达性分析来计算字符串表达式在程序执行过程中可以接受的可能值。陌生人可以自动(1)证明应用程序没有受到指定的攻击,或(2)生成漏洞签名,这些特征描述可用于生成攻击的所有恶意输入。


zbMATH参考文献(参考12篇文章)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. Abdulla,Parosh Aziz;Atig,Mohamed Faouzi;Diep,Bui Phi;Holík,Lukš;Janků,Petr:无链字符串约束(2019年)
  2. 阿马蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔森,贾斯汀;斯科特,约瑟夫D.;斯图基,彼得J.;塔克,吉多:带弦的迷你锌(2017)
  3. Zheng,Yunhui;Ganesh,Vijay;Subramanian,Sanu;Tripp,Omer;Berzish,Murphy;Dolby,Julian;Zhang,Xiangyu:Z3str2:字符串、正则表达式和长度约束的有效解算器(2017)
  4. Liang,Tianyi;Reynolds,Andrew;Tsiskaridze,Nestan;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  5. 普罗霍伦科,维克多;周,金光雷蒙德;阿什曼,海伦:面向上下文的web应用程序保护模型(2016)
  6. Liang,Tianyi;Tsiskaridze,Nestan;Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:无界字符串上规则成员和长度约束的决策过程(2015)
  7. Yu,Fang;Alkhalaf,Muath;Bultan,Tevfik;Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014)
  8. Fu,Xiang;Powell,Michael C.;Bantegui,Michael;Li,Chung Chih:简单线性字符串约束(2013)
  9. 韦恩斯,马格斯;比约纳,尼古拉:《符号自动机:工具箱》(2012)
  10. Hooimeijer,Pieter;Veanes,Margus:字符串分析的自动机算法评估(2011)
  11. Yu,Fang;Bultan,Tevfik;Ibarra,Oscar H.:使用多轨道自动机进行关系字符串验证(2011)
  12. Yu,Fang;Alkhalaf,Muath;Bultan,Tevfik:陌生人:一个基于自动机的PHP字符串分析工具(2010)ioport公司