[Back]

G. Barany:
"SATIrE within ALL-TIMES: Improving Timing Technology with Source Code Analysis";
Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "Programmiersprachen und Grundlagen der Programmierung", A. Prantl, J. Knoop (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 27 - 37.

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

http://publik.tuwien.ac.at/files/PubDat_178251.pdf

Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie