Talks and Poster Presentations (with Proceedings-Entry):
"SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009),
- 2009-10-14; in: "Programmiersprachen und Grundlagen der Programmierung",
A. Prantl, J. Knoop (ed.);
Schriftenreihe des Instituts für Computersprachen, TU Wien,
We present the SATIrE source-to-source analysis framework within
the context of ALL-TIMES, a European research and development project aimed at improving and integrating existing tools in the area of timing analysis. Within the project, SATIrE contributes by performing source-level static analysis on C programs and exporting its results for other tools to use.
This work gives an overview of SATIrE and how its analyses may improve
timing analysis results obtained by other tools. We discuss SATIrE's
efficient and powerful context-sensitive unification-based points-to
analysis and its value interval analysis. We explain how SATIrE's
integration with other analysis tools handles issues such as combination of source-level with binary-level analysis and communication of views of function call contexts between tools.
program analysis, timing analysis, points-to analysis
Electronic version of the publication:
Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie
Created from the Publication Database of the Vienna University of Technology.