JulianSchuette / ConDroid

Symbolic/concolic execution of Android apps
BSD 3-Clause "New" or "Revised" License
56 stars 13 forks source link

Any instructions to use the tool? #2

Open liberatorqjw opened 8 years ago

liberatorqjw commented 8 years ago

Please share the guideline if anyone has figured out already how to run this testing tool.

What is the point of publishing a tool publicly if no one is able to use that?

JulianSchuette commented 8 years ago

It would be helpful if you state your specific problem in an issue by describing what you have done so far, your expected outcome, and the experienced failure. The point of publishing code as an ammendment to scientific papers is to provide fellow researchers insights into the implementation, not to upload a point-and-click tool.

As a general starting point, you should try the following:

So, the building is done by eclipse currently. If you want to re-build the a3tstubs.jar and a3tsymbolic.jar, you may call "ant compile-symbolic dist".

liberatorqjw commented 8 years ago

Thank you for your reply but when i run it, i have see the errors as follow: SLF4J: Found binding in [jar:file:/home/liberator/git/ConDroid/libs/slf4j-simple-1.7.5.jar!/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: Found binding in [jar:file:/home/liberator/git/ConDroid/libs/soot-infoflow-android.jar!/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation. SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory] log4j:WARN No appenders could be found for logger (acteve.instrumentor.Config). log4j:WARN Please initialize the log4j system properly. log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info. Exception in thread "main" java.lang.VerifyError: Bad type on operand stack Exception Details: Location: soot/jimple/infoflow/android/axml/AXmlHandler.toByteArray()[B @68: invokespecial Reason: Type 'pxb/android/axml/AxmlWriter' (current frame, stack[1]) is not assignable to 'pxb/android/axml/NodeVisitor' Current Frame: bci: @68 flags: { } locals: { 'soot/jimple/infoflow/android/axml/AXmlHandler', 'pxb/android/axml/AxmlWriter' } stack: { 'soot/jimple/infoflow/android/axml/AXmlHandler', 'pxb/android/axml/AxmlWriter', 'soot/jimple/infoflow/android/axml/AXmlNode' } Bytecode: 0000000: bb00 8459 b700 854c 2ab6 0086 b600 8cb9 0000010: 008f 0100 4d2c b900 5401 0099 0020 2cb9 0000020: 0058 0100 c000 914e 2b2d b600 952d b600 0000030: 982d b600 9bb6 009f a7ff dd2a 2b2a b600 0000040: 86b6 00a3 b700 a72b b600 a9b0 4c2b b600 0000050: ac01 b0
Exception Handler Table: bci [0, 75] => handler: 76 Stackmap Table: append_frame(@21,Object[#132],Object[#80]) chop_frame(@59,1) full_frame(@76,{Object[#2]},{Object[#26]})

at soot.jimple.infoflow.android.manifest.ProcessManifest.handle(ProcessManifest.java:113)
at soot.jimple.infoflow.android.manifest.ProcessManifest.<init>(ProcessManifest.java:86)
at soot.jimple.infoflow.android.manifest.ProcessManifest.<init>(ProcessManifest.java:70)
at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:318)
at soot.jimple.infoflow.android.SetupApplication.calculateSourcesSinksEntrypoints(SetupApplication.java:273)
at acteve.instrumentor.Main.main(Main.java:219)

so , how can i solve the problem

liberatorqjw commented 8 years ago

And I use the args of run is /home/liberator/SendSMS.apk

majestyhao commented 8 years ago

I encountered the same problem before. Solving it by removing unnecessary dependencies. Check your classpath in your IDE, especially IntelliJ.

pt01 commented 7 years ago

Hi, @majestyhao could you give us more informations about which dependencies need to be removed ?