jGuard: Java language extensions for API misuse detection
Bachelor Thesis
Developing annotations to Java to specify API misuses which is then compiled to regular java as runtime checks. This thesis was evaluated with MuBench as baseline and in comparison with CogniCrypt.