CAASCADE: A System for Static Analysis of HPC Software Application Portfolios.

M. Graham Lopez Oscar R. Hernandez Reuben D. Budiardja Jack C. Wells

Published in: ESPT/VPA@SC (2017)

Keyphrases

static analysis
software application
high performance computing
dynamic analysis
source code
java card
malicious code
symbolic execution
regular expressions
development process
abstract interpretation
test generation
interface agent
open source
data management
object oriented
knowledge base
data sets