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 - code-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

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

CA0052 Could not identify plateform And CA0055 not targets were selected when Enable code analysis VS 2019

I'm using vs 2019 with .Net 5 and tried to run code analysis with MsBuild command, When I was using FxCorp its worked perfectly but fxcorp is deprecated I was getting below error Warning CA0507 Post-...
test-img

Nayeem Mansoori

asp.net-core

code-analysis

roslyn-code-analysis

static-code-analysis

Votes: 0

Answers: 0

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