We are right now using two different formats for method signatures:
For the injection framework TODO, we use the JVM notation, e.g. Lsaarland/cispa/artist/codelib/CodeLib;traceLog()V, while for the definition of method filters, the format provided by PrettyPrint(...) is used. We should make this consistent across the API to avoid confusing users.