A static code analysis tool for java bytecode