陌生人

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


zbMATH中的参考文献(参考文献14条)

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

  1. 阿卜杜拉,帕罗什·阿齐兹;阿蒂格,Mohamed Faouzi;迪普,比菲;霍利克,卢卡什;Janků,Petr:自由链约束(2019)
  2. 白天,乔尔D。;加内什,维杰;他,保罗;玛尼娅,弗洛林;Nowotka,Dirk:词方程的可满足性:可判定与不可判定理论(2018)
  3. 阿玛蒂尼,罗伯托;弗莱纳,皮埃尔;皮尔逊,贾斯汀;斯科特,约瑟夫D。;斯图基,彼得J。;Tack,Guido:Minizinc with strings(2017年)
  4. Wüstholz,瓦伦丁;奥利沃,奥斯瓦尔多;海勒,玛丽安J。H、 。;Dillig,Isil:使用正则表达式的程序中DoS漏洞的静态检测(2017)
  5. 郑云辉;加内什,维杰;苏布拉曼尼亚,萨努;特里普,奥默;贝齐什,墨菲;杜比,朱利安;张向宇:Z3str2:字符串、正则表达式和长度约束的高效求解器(2017)
  6. 梁天一;雷诺兹,安德鲁;茨卡里泽,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;Deters,Morgan:字符串约束的有效SMT解算器(2016)
  7. 普罗霍伦科,维克托;周金光雷蒙德;Ashman,Helen:面向上下文的web应用程序保护模型(2016)
  8. 梁天一;茨卡里泽,内斯坦;雷诺兹,安德鲁;蒂内利,塞萨尔;Barrett,Clark:无界弦上正则成员和长度约束的决策过程(2015)
  9. 余方;阿尔卡拉夫、穆阿特;布尔坦、特夫菲克;Ibarra,Oscar H.:用于漏洞检测的基于自动机的符号字符串分析(2014)
  10. 福、香;鲍威尔,迈克尔·C。;班特吉,迈克尔;李忠志:简单线性字符串约束(2013)
  11. 小牛肉,马格斯;比约纳,尼古拉:《符号自动机:工具箱》(2012)
  12. 胡伊梅杰,彼得;Veanes,Margus:字符串分析的自动机算法评估(2011)
  13. 余方;布尔坦、特夫菲克;Ibarra,Oscar H.:使用多轨道自动机进行关系字符串验证(2011)
  14. 余方;阿尔卡拉夫、穆阿特;Bultan,Tevfik:ranger:PHP的基于自动机的字符串分析工具(2010)ioport公司