python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - static-analysis

Iteration number of live variable analysis

I know that the algorithm for live variable analysis can finally terminate and give a solution. However, I'd like to know whether the iteration number of the algorithm is determined(i.e., can I calcul...
test-img

MissSirius

algorithm

compiler-construction

compiler-optimization

static-analysis

code-analysis

Votes: 0

Answers: 1

Latest Answer

Although I still don't know how to calculate the accurate iteration number, it's easy to compute the maximum iteration number we need. It can be solved by applying the lattice theorems. In terms of si...
test-img

MissSirius

Is there a c++ analyzer to give member variables modified/used/referenced by a function

A function's side effect is to change global variables. For c, it can be only global variables or static variables. But c++, a member function often modifies a member variable. Is there a way to give ...
test-img

Tokubara

c++

ide

clion

static-analysis

Votes: 0

Answers: 0

Soot - Map from java class to jimple

With the following code I can get the jimple representation of a java .class file: soot.Main.main(args); SootClass mainClass = Scene.v().getMainClass(); String methodSignature ...
test-img

MissSirius

java

static-analysis

code-analysis

soot

internal-representation

Votes: 0

Answers: 1

Latest Answer

I find the solution here. In detail, for a Unit you can use Unit unit = ... int sourceID = unit.getJavaSourceStartLineNumber(); // do something smart here ...
test-img

MissSirius

Soot - Get JimpleBody from a CFG

I'd like to get UnitGraph from a Java Class. I load it by ClassFile and get the method_info of main(). Then I create a CFG and try to convert it into a UnitGraph. My method is to get JimpleBody of the...
test-img

MissSirius

java

static-analysis

code-analysis

control-flow-graph

soot

Votes: 0

Answers: 1

Latest Answer

Although I still can't turn method_info into a SootMathod and then get a UnitGraph, I can use Options.v().set_prepend_classpath(true) to avoid set jce.jar and rt.jar dirctly. This also achieves my goa...
test-img

MissSirius

Posts

Questions

Blogs

Jobs