.:: ALL-TIMES / Partners / TU Vienna ::.
Vienna University of Technology
The Compilers and Languages Group of the Institute of Computer
Languages At Vienna University of Technology is devoted to the theory
and practice of all aspects of the design, implementation, and
application of programming languages, and their interactions with
related fields such as distributed systems, processor architecture,
and operating systems. TUV's role in this project is to integrate the
tools of other partners with its C/C++ static analysis infrastructure,
SATIrE, to enable data exchange with these tools, and work on static
analyses that can support lower-level analysis on binary level.
integrates components of different program analysis tools and offers
an infrastructure for building new code analysis tools.
SATIrE’s design allows to build arbitrary tool chains
with the integrated tools and to add user-defined components.
In its present release, SATIrE integrates the Program Analyzer Generator
(PAG) from AbsInt,
components of the LLNL-ROSE
source-to-source infrastructure (e.g. the EDG
C/C++ front end), and a Prolog term representation for exporting and importing
the SATIrE intermediate representation.