AbsInt Angewandte Informatik GmbH, Saarbrücken

WCET analysis

Stack usage analysis

Run-time error analysis

Memory safety analysis

Postpass code optimization

Early-stage WCET estimation

Graph visualization

Static program analysis

Products About us Press center Sitemap
Auf Deutsch Pages francophones En Español По-русски
Last modified on 1 June 2010. © 1998–2010 AbsInt. Legal notices.