SHIELD: An Automated Framework for Static Analysis of SDN Applications.

Chanhee Lee Seungwon Shin

Published in: SDN-NFV@CODASPY (2016)

Keyphrases

static analysis
abstract interpretation
probabilistic model
database
metadata
source code
error rate
dynamic analysis