FlowDroid icon indicating copy to clipboard operation
FlowDroid copied to clipboard

parse failed

Open tyousyuka opened this issue 1 year ago • 5 comments

@StevenArzt Hello

3 there are some errors. and it is very slowly. how to optimize it? is it the flowdroid's bug?

used:

2 1

tyousyuka avatar Aug 03 '23 07:08 tyousyuka

This seems to be a Soot problem, most likely with the LocalSplitter. It definitely looks like a bug. However, such issues usually only affect individual apps. If you have the time, you can look into it, but the process of translating Dalvik bytecode into Jimple IR isn't exactly trivial.

StevenArzt avatar Aug 03 '23 07:08 StevenArzt

I've seen the same error log within a Kotlin app using the contentDeepToString() method. The example in the docs is sufficient to trigger the error, so this might be useful as a small reproducer for debugging.

t1mlange avatar Aug 03 '23 12:08 t1mlange

@StevenArzt when I setMergeDexFiles(false), it can parse quickly. but set it true, it always unable to end parsing. it is the soot's bug or the flowdroid's bug ? the apk have 3 class.dex or more

tyousyuka avatar Aug 03 '23 14:08 tyousyuka

The option setMergeDexFiles has nothing to do with the bug. It only specifies whether Soot shall process more than the first DEX file. Excluding additional DEX files just means that you are only parsing a fraction of the code. When you're lucky, this avoids the bug, but it also looses a lot of the code under analysis.

StevenArzt avatar Aug 03 '23 14:08 StevenArzt

The option setMergeDexFiles has nothing to do with the bug. It only specifies whether Soot shall process more than the first DEX file. Excluding additional DEX files just means that you are only parsing a fraction of the code. When you're lucky, this avoids the bug, but it also looses a lot of the code under analysis.

@StevenArzt Hello Now I have an APK, approximately 70MB, containing 3. dex files, If I setMergeDexFiles (false), it can successfully parse and complete within 40 seconds, If I setMergeDexFiles (true), it will not be able to successfully parse for 2 hours, So if I want it to be able to setMergeDexFiles (true) and successfully parse within one minute, what should I do?

tyousyuka avatar Aug 04 '23 13:08 tyousyuka