A system for the static analysis of XPath.
Pierre GenevèsNabil LayaïdaPublished in: ACM Trans. Inf. Syst. (2006)
Keyphrases
- static analysis
- regular expressions
- xml documents
- dynamic analysis
- query evaluation
- transitive closure
- source code
- query language
- xml data
- xpath queries
- xpath expressions
- symbolic execution
- malicious code
- xml streams
- first order logic
- test generation
- java card
- abstract interpretation
- pattern matching
- data model
- databases
- building blocks
- relational databases
- xml processing
- deductive databases
- xml queries
- xml schema
- conceptual model
- matching algorithm
- case study