Arrays in Method Signature are differently encoded

[reox]

If an argument to a method is an array, the following syntax is used: [byte. But if the return type is an array, this different syntax is used: B[], so it is only the type identifier for native types and the classname for object types. But also the array identifier is at the end and not in the beginning (and there is the closing bracket).

[reddr]

Thanks for the hint. The problem is that different tools might use different notations. JVM uses the Lfoo/bar notation, which is equivalent to foo.bar . Similarly, arrays can either be denoted via [I / [[I (JVM) or int[] / int[][] . Our analysis is built on the WALA framework that uses a weird mix of notations. The permission lists are exported in a normalized, readable manner. It seems that the return value is not correctly normalized when being an array type. I'll have a look at this soon.