Magic-sets for localised analysis of Java bytecode