Merlin: specification inference for explicit information flow problems
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code.