sireum / archived-v2-amandroid

34 stars 16 forks source link

Java.lang.IllegalArgumentException: Requirement failed #61

Open BSharifa opened 8 years ago

BSharifa commented 8 years ago

Hi, I have got the error 'Java.lang.IllegalArgumentException: Requirement failed: JawaClass should be object type, but get: int' when I tried to run taintAnalysis on few google play apps(ex. Ubercab.apk). Would you please tell me what is the reason for this error and how to solve this.

Thanks.

Sharifa

fgwei commented 8 years ago

Hi Sharifa,

Please check out our new repo: https://github.com/arguslab/Argus-SAF

You can also paste the full error stack so I can locate the bug.

Best,

BSharifa commented 8 years ago

Hi Professor Wei,

Thank you for your reply. I have added dropbox link (an image) for the error.

Regards Sharifa

On Mon, Jul 11, 2016 at 12:19 PM, Fengguo Wei notifications@github.com wrote:

Hi Sharifa,

Please check out our new repo: https://github.com/arguslab/Argus-SAF

You can also paste the full error stack so I can locate the bug.

Best,

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/sireum/amandroid/issues/61#issuecomment-231802201, or mute the thread https://github.com/notifications/unsubscribe/AKOSi1ys4dP2Odp5WQqj3tSgwcIzyY4iks5qUnsugaJpZM4JJgaG .