Safe worst-case execution time analysis by abstract interpretation of executable code.

Daniel Kästner

Published in: LCTES (2007)

Keyphrases

abstract interpretation
static analysis
database
databases
relational databases
query processing
open source
reverse engineering
dynamic analysis