FIX: RuntimeException "File format violation in type spec table: res1 is not zero offset" with some apps

[samudoria]

Hi,

I've been testing some newer apps and have been getting this exception, which does not manifest with older apps
I saw that in the ResourceTypes.h res1 used to be reserved, but now it corresponds to typesCount and can be >0.

This fix was tested locally by me and it doesn't seem to manifest any issues, but I'm not aware of possible repercussions.

Hope this helps,
Samuele

[StevenArzt]

There should be a flag the defines whether FlowDroid should throw an error or not. It would make more sense to change the default value of this flag.

I know this error. According to the comments in the Android code, it should always be zero. So strictly speaking, another value is wrong. I know that other values are used in apps. Therefore, changing the behavior to "less strict mode" is probably the best way forward.