Developing a program analyzer
Non-trivial tasks:
- Construct summary graphs from XML template constants
- Construct summary graphs from DTD schemas
- Evaluate XPath expressions (symbolically) on summary graphs
- Validate summary graphs against DTD schemas (in fact, we use DSD2 here!)
- Model data-flow by (quite complex) equations for each XACT operation