Stranger: An Automata-based String Analysis Tool for PHP
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Tool paper. To appear in the Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010).
Generating Vulnerability Signatures for String Manipulating Programs Using Automata-based Forward and Backward Symbolic Analyses
Fang Yu, Muath Alkhalaf, Tevfik Bultan
Short paper. In Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Auckland, NZ, Nov. 2009
[ PDF | Poster ]
Symbolic String Verification: Combining String Analysis and Size Analysis
Fang Yu, Tevfik Bultan, and Oscar H. Ibarra
In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), York, UK, Mar. 2009
[ PDF | Slides ]
Symbolic String Verification: An Automata-based Approach
Fang Yu, Tevfik Bultan, Marco Cova, Oscar H. Ibarra
In Proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), Los Angeles, CA, August 2008
[ PDF | Slides ]