Integration of the Static Analysis Results Interchange Format in CogniCrypt.

Sriteja Kummita Goran Piskachev

Published in: CoRR (2019)

Keyphrases

static analysis
interchange format
dynamic analysis
source code
semantic web
symbolic execution
java card
malicious code
file formats
test generation
abstract interpretation
regular expressions
model checking
data integration
data sets
cd rom
integrity constraints
data warehouse