Button-up data flow analysis never stop

arguslab / Argus-SAF

Argus static analysis framework

Apache License 2.0

181 stars 49 forks source link

Button-up data flow analysis never stop #29

Open fgwei opened 6 years ago

fgwei commented 6 years ago

After few test, it still have infinite loop for few apks, I need to do more test to figure out the issue.

Sebastiaan-Alvarez-Rodriguez commented 5 years ago

Did you fix this yet? If not, should I use component-based analysis option?

Sebastiaan-Alvarez-Rodriguez commented 5 years ago

He did not fix this at all. Disappointing to see authors of this project care so little about this bug, not fixing it in 1.5 years.

So: If you want to use this tool, you must call with -aCOMPONENT_BASED option to make sure your analysis does not have infinite recursion and therefore never stops.