SAILS: static analysis of information leakage with sample.

Matteo Zanioli Pietro Ferrara Agostino Cortesi

Published in: SAC (2012)

Keyphrases

static analysis
information leakage
dynamic analysis
source code
personal information
regular expressions
secret information
sensitive information
database
open source
test suite
training set
model checking
information hiding