On the Static Analysis of Indirect Control Transfers in Binaries.

Bjorn De Sutter Bruno De Bus Koenraad De Bosschere P. Keyngnaert Bart Demoen

Published in: PDPTA (2000)

Keyphrases

static analysis
source code
dynamic analysis
reverse engineering
control system
open source
symbolic execution
open source software
malicious code
high level
database
regular expressions
abstract interpretation