-
作者Fang Yu
-
简介
Overview
- Motivation
- Is it Vulnerable?
Symbolic String Verification
- Verification Framework
- Technical Details
- Experiments
Composite Verification
- String Analysis + Size Analysis
- Length Automata
- Experiments
References
We investigate string verification problem and present an automata-based approach for automatic verification of string manipulating programs based on symbolic string analysis. String analysis plays an important role in the security area. For instance, one can detect various web vulnerabilities like SQL Command Injection and Cross Site Scripting (XSS) attacks.
-
提示本站仅做资料的整理和索引,转载引用请注明出处
相关推荐
-
2018-09-18 05:03:14 -
2017-09-04 10:44:03 -
2019-04-05 10:45:32 -
2019-08-22 04:54:03
附件下载
-
Automatic.Verification.of.String.Manipulating.Programs.pdf