Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei Piotr Mardziel Andrew Ruef Jeffrey S. Foster Michael Hicks

Published in: CoRR (2018)

Keyphrases

static analysis
design decisions
source code
design process
dynamic analysis
domain knowledge
java card
malicious code
knowledge base
case study
user interface
building blocks