search

siis / ic3

IC3: Inter-Component Communication Analysis in Android
http://siis.cse.psu.edu/ic3/
Apache License 2.0
36 stars 21 forks source link

The "KNOWN-BUG" #16

Open jxnu707 opened 8 years ago

jxnu707 commented 8 years ago

Hi, It came out the information when i run IC3 "KNOWN-BUG:While recursing, parameters in this context look the same as the parameters in the callee context.That is a LanguageConstraints.Parameter passed via lc.arguments is really a parameter of this(caller) function,but it will be mistakenly interpreted as a parameter of the callee" Does it mean IC3 failed to analysis this apk? Thanks!

docteau commented 8 years ago

Hi,

No, this just means that in this case you may have some imprecision in the analysis.

Best Regards, Damien

jxnu707 commented 8 years ago

Hi, It keep printing the KNOWN-BUG for almost an hour. Are there some options in IC3 or Dare to avoid this? I run Dare with -e option and IC3 with none.

Thanks!

docteau commented 8 years ago

No, right now I don't think you can deactivate this message.