ABASH: finding bugs in bash scripts
A lattice model of secure information flow