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.