A practical string analyzer by the widening approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4279 LNCS, Issue , 2006, Pages 374-388

  Choi, Tae Hyoung ^a   Lee, Oukseh ^a   Kim, Hyunha ^a   Doh, Kyung Goo ^a  

^a Hanyang University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPROXIMATION THEORY; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; PROBLEM SOLVING; SENSITIVITY ANALYSIS;

CONTEXT SENSITIVITY; STRING ANALYZERS; STRING EXPRESSIONS; STRING PROPERTIES;

HEURISTIC METHODS;

EID: 33845934486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11924661_23     Document Type: Conference Paper

References (12)

1. David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 296-310. ACM Press, 1990.
2. Aske Simon Christensen, Anders Møller, and Michael I. Schwartzbach. Precise analysis of string expressions. In Proceedings of the International Static Analysis Symposium, volume 2694 of Lecture Notes in Computer Science, pages 1-18. Springer-Verlag, June 2003.
3. Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 238-252, January 1977.
4. Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511-547, 1992.
5. Carl Gould, Zhendong Su, and Premkumar Devanbu. Static checking of dynamically generated queries in database applications. In Proceedings of the International Conference on Software Engineering, pages 645-654, May 2004.
6. Christian Kirkegaard and Anders Møller. Static analysis for Java servlets and JSP. In Proceedings of the International Static Analysis Symposium, August 2006.
7. Yasuhiko Minamide. Static approximation of dynamically generated web pages. In Proceedings of the International World Wide Web Conference Committee, pages 432-441, 2005.
8. M. Mohri and M.-J. Nederhof. Regular approximation of context-free grammars through transformation. In J.-C. Junqua and G. van Noord, editors, Robustness in Language and Speech Technology, pages 153-163. Kluwer Academic Publisher, 2001.
9. Flemming Nielson and Hanne Riis Nielson. Infinitary control flow analysis: a collecting semantics for closure analysis. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 332-345. ACM Press, 1997.
10. Olin Shivers. Control flow analysis in scheme. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1988.
11. Naoshi Tabuchi, Eijiro Sumii, and Akinori Yonezawa. Regular expression types for strings in a text processing language. In Proceedings of Workshop on Types in Programming, pages 1-18, July 2002.
12. Peter Thiemann. Grammar-based analysis string expressions. In Proceedings of the ACM Workshop on Types in Language Design and Implementation, pages 59-70, 2004.