Iceberg: a tool for static analysis of Java critical sections.

Michael D. Shah Samuel Z. Guyer

Published in: SOAP@PLDI (2016)

Keyphrases

static analysis
source code
dynamic analysis
java card
symbolic execution
open source
regular expressions
java code
malicious code
object oriented
abstract interpretation
test generation
software systems
programming language
high level
data sets
test suite
data management
artificial intelligence
real world