CryptoChecker

Consists of the identification of code changes, which often capture security fixes, an abstraction that filters irrelevant code changes (such as refactorings), and a clustering analysis that reveals commonalities between semantic code changes and helps in eliciting security rules.