A user-guided approach to program analysis
Merlin: specification inference for explicit information flow problems