A security policy oracle: detecting security holes using multiple API implementations
Memories of bug fixes