Precise analysis of string expressions

DOI10.1007/3-540-44898-5_1MaRDI QIDQ4813388zbMATH OpenFDO

Authors Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940001.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• A Practical String Analyzer by the Widening Approach
• Inferring grammatical summaries of string values
• Twinning automata and regular expressions for string static analysis
• String analysis as an abstract interpretation
• Relational string abstract domains

Cited in

(30)

• Efficient static checker for tainted variable attacks
• Verifying pointer and string analyses with region type systems
• Completeness of string analysis for dynamic languages
• Twinning automata and regular expressions for string static analysis
• Automata-based symbolic string analysis for vulnerability detection
• A type and effect system for activation flow of components in Android programs
• Analyzing ambiguity of context-free grammars
• Inferring grammatical summaries of string values
• Trading plaintext-awareness for simulatability to achieve chosen ciphertext security
• A decision procedure for regular membership and length constraints over unbounded strings
• Relational string verification using multi-track automata
• An Evaluation of Automata Algorithms for String Analysis
• String analysis as an abstract interpretation
• Relaxed parsing of regular approximations of string-embedded languages
• Static detection of DoS vulnerabilities in programs that use regular expressions
• Boolean formulas for the static identification of injection attacks in Java
• Path Feasibility Analysis for String-Manipulating Programs
• Symbolic String Verification: Combining String Analysis and Size Analysis
• scientific article; zbMATH DE number 3919857 (Why is no real title available?)
• Simple linear string constraints
• Enforcing Programming Guidelines with Region Types and Effects
• An efficient SMT solver for string constraints
• Z3str2: an efficient solver for strings, regular expressions, and length constraints
• XML graphs in program analysis
• A Practical String Analyzer by the Widening Approach
• Preventing injection attacks with syntax embeddings
• Simple and safe SQL queries with \texttt{C++} templates
• Word equations in synergy with regular constraints
• On strings in software model checking
• Word equations in synergy with regular constraints (extended version)

This page was built for publication: Precise analysis of string expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813388)