Closed vitaliiavdiienko closed 8 years ago
Fengguo
On Jun 9, 2015, at 1:57 AM, Vitalii Avdiienko notifications@github.com wrote:
Hi, again, I am trying to run the latest version of Amandroid on Ubuntu 14.04 x64, but now on DEV branch of Strawberry.
An error occured on 20150609-105548 java.lang.NoSuchMethodError: android.util.TypedValue.coerceToString(II)Ljava/lang/String; at brut.androlib.res.data.value.ResIntValue.encodeAsResXml(ResIntValue.java:45) at brut.androlib.res.data.value.ResScalarValue.encodeAsResXmlAttr(ResScalarValue.java:45) at brut.androlib.res.decoder.ResAttrDecoder.decode(ResAttrDecoder.java:41) at brut.androlib.res.decoder.AXmlResourceParser.getAttributeValue(AXmlResourceParser.java:369) at org.xmlpull.v1.wrapper.classic.XmlPullParserDelegate.getAttributeValue(XmlPullParserDelegate.java:69) at brut.androlib.res.decoder.XmlPullStreamDecoder$1.parseManifest(XmlPullStreamDecoder.java:97) at brut.androlib.res.decoder.XmlPullStreamDecoder$1.event(XmlPullStreamDecoder.java:65) at brut.androlib.res.decoder.XmlPullStreamDecoder.decode(XmlPullStreamDecoder.java:141) at brut.androlib.res.decoder.XmlPullStreamDecoder.decodeManifest(XmlPullStreamDecoder.java:153) at brut.androlib.res.decoder.ResFileDecoder.decodeManifest(ResFileDecoder.java:134) at brut.androlib.res.AndrolibResources.decodeManifestWithResources(AndrolibResources.java:199) at brut.androlib.Androlib.decodeManifestWithResources(Androlib.java:139) at brut.androlib.ApkDecoder.decode(ApkDecoder.java:102) at org.sireum.amandroid.decompile.AmDecoder$.decode(AmDecoder.scala:49) at org.sireum.amandroid.security.AmandroidSocket.loadApk(AmandroidSocket.scala:80) at org.sireum.amandroid.cli.TanitAnalysis$TaintTask.run(TaintAnalysis.scala:183) at org.sireum.amandroid.cli.TanitAnalysis$$anonfun$taintAnalyze$1.apply(TaintAnalysis.scala:159) at org.sireum.amandroid.cli.TanitAnalysis$$anonfun$taintAnalyze$1.apply(TaintAnalysis.scala:155) at scala.collection.immutable.Set$Set1.foreach(Set.scala:79) at org.sireum.amandroid.cli.TanitAnalysis$.taintAnalyze(TaintAnalysis.scala:155) at org.sireum.amandroid.cli.TanitAnalysis$.main(TaintAnalysis.scala:135) at org.sireum.amandroid.cli.TanitAnalysis.main(TaintAnalysis.scala)
Can you help me with this?
Thanks,
Vitalii
— Reply to this email directly or view it on GitHub https://github.com/sireum/amandroid/issues/37.
Yes, on all apps.
Hi, I get the same error above. Need some inputs to resolve the problem, tried running with the latest version nightly build. The apks were developed with API22. Could that be a problem?
It was a library conflict problem, not a problem with your api level. But it should be already resolved long back. You can send me the .errorlog and also you can send me the app to test if possible.
Hi, I have added the two apks I have used and error log. I was running taint analysis. Amandroid requires specific version of OpenJDK? I am using 1.7
No, sireum folder contains all required library for Amandroid. Jdk is also included, which is JDK8.
I tested the app on my machine. It seems no problem. Maybe your set up have some problem. Could you tell me your running OS, and how you setup sireum?
I am running Ubuntu 14.4. Installed Sireum Strawberry, then Shortcake. Downloaded Docker containers. set the Scala options as given in this instruction http://sireum.org/software.html#strawberry
Hi, if its the problem with installation i ll review again. I also found demo videos. If the problem still persists, i ll get back to you. Thanks for the support.
I tested. This problem do exist in Ubuntu 14.04 with unknown reason... I made a fix and testing it again, I will let you know the result.
Do a sireum update it should be ok now.
Thanks for the support. Will update you if the issue persists. On 15 Feb 2016 07:39, "Fengguo Wei" notifications@github.com wrote:
Do a sireum update it should be ok now.
— Reply to this email directly or view it on GitHub https://github.com/sireum/amandroid/issues/37#issuecomment-184081902.
Hi, again, I am trying to run the latest version of Amandroid on Ubuntu 14.04 x64, but now on DEV branch of Strawberry.
An error occured on 20150609-105548 java.lang.NoSuchMethodError: android.util.TypedValue.coerceToString(II)Ljava/lang/String; at brut.androlib.res.data.value.ResIntValue.encodeAsResXml(ResIntValue.java:45) at brut.androlib.res.data.value.ResScalarValue.encodeAsResXmlAttr(ResScalarValue.java:45) at brut.androlib.res.decoder.ResAttrDecoder.decode(ResAttrDecoder.java:41) at brut.androlib.res.decoder.AXmlResourceParser.getAttributeValue(AXmlResourceParser.java:369) at org.xmlpull.v1.wrapper.classic.XmlPullParserDelegate.getAttributeValue(XmlPullParserDelegate.java:69) at brut.androlib.res.decoder.XmlPullStreamDecoder$1.parseManifest(XmlPullStreamDecoder.java:97) at brut.androlib.res.decoder.XmlPullStreamDecoder$1.event(XmlPullStreamDecoder.java:65) at brut.androlib.res.decoder.XmlPullStreamDecoder.decode(XmlPullStreamDecoder.java:141) at brut.androlib.res.decoder.XmlPullStreamDecoder.decodeManifest(XmlPullStreamDecoder.java:153) at brut.androlib.res.decoder.ResFileDecoder.decodeManifest(ResFileDecoder.java:134) at brut.androlib.res.AndrolibResources.decodeManifestWithResources(AndrolibResources.java:199) at brut.androlib.Androlib.decodeManifestWithResources(Androlib.java:139) at brut.androlib.ApkDecoder.decode(ApkDecoder.java:102) at org.sireum.amandroid.decompile.AmDecoder$.decode(AmDecoder.scala:49) at org.sireum.amandroid.security.AmandroidSocket.loadApk(AmandroidSocket.scala:80) at org.sireum.amandroid.cli.TanitAnalysis$TaintTask.run(TaintAnalysis.scala:183) at org.sireum.amandroid.cli.TanitAnalysis$$anonfun$taintAnalyze$1.apply(TaintAnalysis.scala:159) at org.sireum.amandroid.cli.TanitAnalysis$$anonfun$taintAnalyze$1.apply(TaintAnalysis.scala:155) at scala.collection.immutable.Set$Set1.foreach(Set.scala:79) at org.sireum.amandroid.cli.TanitAnalysis$.taintAnalyze(TaintAnalysis.scala:155) at org.sireum.amandroid.cli.TanitAnalysis$.main(TaintAnalysis.scala:135) at org.sireum.amandroid.cli.TanitAnalysis.main(TaintAnalysis.scala)
Can you help me with this?Thanks,
Vitalii