sireum / archived-v2-amandroid

34 stars 16 forks source link

How to run the code I changed? #58

Closed xwlin-roy closed 8 years ago

xwlin-roy commented 8 years ago

Hi, I changed the code in "TaintAnalysis.scala" for test: //println("Analysis result write into " + arFile) println("LinAnalysis result write into " + arFile) And how can i compile and run this change to run my analysis? Is this can be implemented in eclipse? Maybe it's a silly question,but hope your answer.

fgwei commented 8 years ago

There are two ways to test, one way is just run it in eclipse.

Another way is to build Amandroid first, then run, which I will provide the step by step walkthrough sometime tomorrow.

xwlin-roy commented 8 years ago

Thanks for your quick reply.

  1. Can you introduce how to run it in eclipse to implement this change.And then I can run this command:sireum amandroid taintAnalysis -mo INTENT_INJECTION -m 4 -o ./AnalysisResult/ ./APKFile/IC3Test.apk

2.I'll wait for the another way's steps.

fgwei commented 8 years ago

The first way is not possible, unless amandroid team feel it's important to add to the official distribution.

So the second way is the walk-around, which allows you to build your own amandroid, and run any of your code.

xwlin-roy commented 8 years ago

Ok,I'll wait for your reply tomorrow.

fgwei commented 8 years ago

The way to build amandroid is in the following link: https://github.com/fgwei/amandroid-build