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.

GitHub home page @ github.com
Legacy home page @ sable.mcgill.ca

131 questions
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
  • 3
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
vote
2 answers

Control Flow Analysis of Android APK or Android Source Code

I want to do control and data flow analysis of android app for which I need to create CFG. I have tried soot to make it but all I get is jimple and other middle level intermediate language code. How make a CFG with soot and even if I get it someway,…
Kumar Roshan Mehta
  • 3,078
  • 2
  • 27
  • 50
1
vote
1 answer

Instrumenting Android apps with Soot using a helper class

I am instrumenting Android applications using a helper class following the example for Java instrumentation in http://www.sable.mcgill.ca/soot/tutorial/profiler2/profiler2.html. In my BodyTransformer, I have a static block to load MyCounter class…
Burcu Ozkan
  • 23
  • 2
1
vote
2 answers

How to estimate a variable's value with static analysis?

I want to write a program to do this, based on Soot's build-in Reaching-Definition analysis. Now I'm wondering is this the correct approach? I searched and found nobody seems to ever be interested in this direction. Any suggestions?
Elderry
  • 1,902
  • 5
  • 31
  • 45
1
vote
3 answers

"taskdef class JFlex.anttask.JFlexTask cannot be found" when building Soot

I'm trying to build soot. I've downloaded the source code of JastAddExtensions using svn co https://svn.sable.mcgill.ca/abc/trunk/JastAddExtensions/, checked out the code of Soot using git remote add soot https://github.com/Sable/soot.git git pull…
Glory to Russia
  • 17,289
  • 56
  • 182
  • 325
1
vote
1 answer

How to print out the values of variables in a valuebox in soot?

This is the related code fragment where I can't print out the values from valuebox. May I know what's the problem? public GuaranteedDefsAnalysis(UnitGraph graph) { super(graph); DominatorsFinder df = new MHGDominatorsFinder(graph); …
wangjingyi
  • 41
  • 3
1
vote
1 answer

Loading Java class files for Soot dynamically in Eclipse

I am currently working on a program which compares two control - flow graphs with each other(the graphs are generated with Soot). These graphs belong to two different classes; so one cfg for each. Currently I am using the following to load…
gracey
  • 213
  • 3
  • 14
1
vote
1 answer

eclipse class path for soot

im writing a program to get and print the call graph of a program. im using soot to try and get the call graph and i pass as an argument the java class i want to print out but when i run the program i get a message that soot cant find the class. how…
user1839169
  • 207
  • 2
  • 4
  • 16
1
vote
3 answers

Add timeout behavior to a class using an old framework

I am using the SOOT framework for some static analysis. However, sometimes the analysis takes hours and I want to set a timeout to stop analysis and continue it with another program. To achieve that kind of behavior I run the analysis in a…
Basic Coder
  • 10,882
  • 6
  • 42
  • 75
1
vote
1 answer

SOOT like program analysis tool for Javascript

I have looked at this question already but a graphical representation is not exactly what I want. Is there a SOOT like tool for Javascript that gives you an intermediate representation you can play with? Or else, is there a Javascript ->…
Neo
  • 3,465
  • 5
  • 26
  • 37
1
vote
2 answers

How to compute, for each method, the set of exceptions that method may throw, including runtime exceptions?

I'm trying to implement an intra-procedural analysis that computes, for each method, the set of exceptions that method may throw, including runtime exceptions that are explicitly thrown by means of a throw statement. So far, I'm completely lost on…
EijiAdachi
  • 441
  • 1
  • 3
  • 15
1 2 3
…
8 9