Login / Signup
Using Static Analysis to Support Programming on Devices with Touch Based Input.
Mathias Obster
Published in:
Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
programming language
input device
abstract interpretation
third party
malicious code