Combined WCET analysis of bitcode and machine code using control-flow relation graphs.

Benedikt Huber Daniel Prokesch Peter P. Puschner

Published in: LCTES (2013)

Keyphrases

control flow
data flow
data sets
knowledge representation
decision making
web services
static analysis