Stack Overflow
Stack Overflow

Questions tagged [soot]

Soot is an open source Java optimization framework.

Soot is an open source Java optimization framework that provides different intermediate representations for Java bytecode. Besides optimization, Soot can be used for static analyses and bytecode manipulation.

124 questions
1
vote
0 answers

JCute to perform Concolic Testing - Soot Error

I tried to test a program using JCute. However, I kept getting this error. cd /opt/jcute/tmpjcute java -Xmx512m -Xms512m -Dcute.sequential=true cute.instrument.CuteInstrumenter -> keep-line-number -d /opt/jcute/tmpjcute/classes -x com.vladium -x…
Dalia
  • 115
  • 2
  • 9
1
vote
1 answer

Changing the value of a "static final" field

Let's say I have a class Foo(){ public final static int bar = -1; } disassembled bytecode will look something like this super public class Foo version 51:0 { public static final Field bar:I = int -1; public Method "":"()V" …
User1291
  • 6,231
  • 5
  • 34
  • 75
1
vote
1 answer

jimple representation from ``Class`` instance

I need to hot-swap method implementations of various classes (the new implementations of which I do not know until somewhen during runtime and which may change again). ByteBuddy can do that easily, but it (apparently) cannot do much to a method…
User1291
  • 6,231
  • 5
  • 34
  • 75
1
vote
1 answer

SOOT class loading -- what is a 'level'?

From here: The design of coffi requires that in order to bring some class C up to level N, you must first bring all classes that C references up to level N-1. In order to know which classes C references, you need to bring C up to level N-1. What…
User1291
  • 6,231
  • 5
  • 34
  • 75
1
vote
0 answers

Soot version of Jasmin failing to assemble Jasmin assembly files

I have both the version of Jasmin 2.4 from the Jasmin SourceForge and the version of Jasmin 2.4 from the Soot project (at sable.mcgill.ca, labeled "jasminclasses"), and the Soot version (which I need) does not seem to be working properly. I have…
Loduwijk
  • 1,852
  • 1
  • 15
  • 26
1
vote
1 answer

Exception when trying to instrument source code by WALA: java.lang.ClassFormatError: StackMapTable format error: wrong attribute size

I have a simple program like this: package tests; import java.util.Scanner; public class TestSum { public static void main(String[] args) { int sum = 0; System.out.print("Please enter starting i: "); int i = new…
xtiger
  • 1,338
  • 13
  • 24
1
vote
1 answer

Soot android-jars error

I am trying to analyze android apk's using Soot. However, I get an an error saying invalid option: android-jars along with a CompilationDeathException: Option parse error. Is this due to the wrong path of android jars or soot(2.5.0)? To launch soot,…
user782400
  • 1,229
  • 7
  • 24
  • 43
1
vote
0 answers

Why soot could not load classfile?

In order to link the library with my application I trying to decompile the jar using soot, but got the error: java -jar ./soot-2.5.0.jar -f dava -cp $JRE_HOME/lib/rt.jar:$JRE_HOME/lib/jce.jar:. -process-dir ./library-jarfile.jar Soot started on…
Ekaterina Ivanova iceja.net
  • 33
  • 4
  • 18
1
vote
0 answers

Soot Library Field already exists

I want to code the example in "Adding profiling instructions to applications" tutorial so I write the program as the tutorial said. But when I run it I got this error: [Thread-3] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread…
jody abbot
  • 193
  • 1
  • 14
1
vote
0 answers

"heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: null Exceptions" when running nightly build soot-trunk

I was converting apk file to jimple files and then converting they back to the .dex file immediately. But I cannot do the second the step successfully. Command line used: java -Xmx4g -jar soot-trunk.jar soot.Main -p cg.spark…
Xia Zhang
  • 11
  • 3
1
vote
1 answer

exception in converting jimple to dex using soot

I have converted a apk file to jimple Intermediate representation using soot below command: java -Xmx2g -jar soot-trunk.jar soot.Main -w -allow-phantom-refs -android-jars /home/jyoti/Android/adt-bundle-linux-x86_64-20140702/sdk/platforms/ -src-prec…
jyoti gajrani
  • 21
  • 1
1
vote
1 answer

call graph for apk files. but it generates no output

i am trying to get a call graph for apk files. i run the code below. but afterward when i check the sootOutput file, it's empty!! any ideas? P.S: it prints the size of the graph and has no error! thank you in advance import…
soot User
  • 29
  • 2
1
vote
1 answer

How to use Soot process java source code

I use the following command to process java file -src-prec java -cp "/Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.8.0_25.jdk/Contents/Home/jre/lib/jce.jar" -process-dir…
csytang
  • 33
  • 5
1
vote
1 answer

Installation of Soot plug-in on Eclipse Kepler

I tried to install Soot 2..5.2 plugin on Eclipse Kepler using Help->Install New Software.. and then using the link http://www.sable.mcgill.ca/soot/eclipse/updates/ but it displays "Unable to read repository at…
Compiler
  • 13
  • 2
1
vote
1 answer

Java: Displaying all Strings used in method invocations

I am trying to display all the strings used in a method invocation using SOOT program analysis framework. I am able to check for StringConstant but how do I get values for RefType ? Here is the sample code : for (Value va :…
Alan Kash
  • 11
  • 1
1 2
3
…
8 9