Die Suche ergab 8 Treffer

von alexandergreat524
26. Feb 2015 16:55
Forum: Designing code analyses for large software systems (DECA)
Thema: MOP vs. MFP
Antworten: 0
Zugriffe: 458

MOP vs. MFP

On reviewing the 2nd lecture slides, I find that I am not so clear with the definition of the MOP and MFP. I am not so sure about what the least upper bound of some flow functions is, could someone raise some examples to help me understand the two definitions ? Is there anything different between f_...
von alexandergreat524
17. Dez 2014 15:06
Forum: Implementing code analyses for large software systems (ICA)
Thema: Identification of the local "this"
Antworten: 0
Zugriffe: 389

Identification of the local "this"

Taking calling a constructor like public Foo (int a, int b) {this.a = a, this.b = b} into account, what could we do if we want to let our analysis know that "this" is really corresponding to what object with the certain class type? (InstanceFieldRef)(((AssignStmt) unit).getLeftOp()).getBase() does n...
von alexandergreat524
17. Dez 2014 15:06
Forum: Implementing code analyses for large software systems (ICA)
Thema: Identification of the local "this"
Antworten: 1
Zugriffe: 424

Identification of the local "this"

Taking calling a constructor like public Foo (int a, int b) {this.a = a, this.b = b} into account, what could we do if we want to let our analysis know that "this" is really corresponding to what object with the certain class type? (InstanceFieldRef)(((AssignStmt) unit).getLeftOp()).getBase() does n...
von alexandergreat524
11. Dez 2014 15:50
Forum: Implementing code analyses for large software systems (ICA)
Thema: Constant Propagation in Task 1 of Sheet 4
Antworten: 2
Zugriffe: 527

Constant Propagation in Task 1 of Sheet 4

In an assignment statement, we could easily know that y = 1 (rhsOp instanceof NumericConstant) and x = y(.f) (rhsOp instanceof Local/FlowAbstraction) will lead to constant propagation. But what about z = x + y? If both x and y are constants before the operation, will z be also a constant? If yes, we...
von alexandergreat524
24. Nov 2014 19:11
Forum: Implementing code analyses for large software systems (ICA)
Thema: Phase Option Configuration
Antworten: 1
Zugriffe: 721

Phase Option Configuration

Hello everyone, running the whole program for the first exercise, we encountered a problem that main method cannot be found. We have already set the buildpath for corresponding jar-file (like rt.jar), and also tried the solution posted by Prof. Bodden here: http://www.bodden.de/2012/07/26/soot-custo...
von alexandergreat524
24. Nov 2014 19:11
Forum: Implementing code analyses for large software systems (ICA)
Thema: Phase Option Configuration
Antworten: 0
Zugriffe: 428

Phase Option Configuration

Hello everyone, running the whole program for the first exercise, we encountered a problem that main method cannot be found. We have already set the buildpath for corresponding jar-file (like rt.jar), and also tried the solution posted by Prof. Bodden here: http://www.bodden.de/2012/07/26/soot-custo...
von alexandergreat524
6. Nov 2014 19:45
Forum: Designing code analyses for large software systems (DECA)
Thema: Basic clarification: Lattice, Flow Function
Antworten: 5
Zugriffe: 1289

Re: Basic clarification: Lattice, Flow Function

Hi, could anyone help me getting some basic concepts straigt? I get what a lattice generally is. But in our case, what are the actual elements of the lattices? Statements? Program states? And what exactly are flow functions? At first I thought the elements of the lattice are program states (meaning...
von alexandergreat524
6. Nov 2014 19:40
Forum: Designing code analyses for large software systems (DECA)
Thema: Basic clarification: Lattice, Flow Function
Antworten: 5
Zugriffe: 1289

Re: Basic clarification: Lattice, Flow Function

More Questions: 1. Which kind of constant propagation were we asked to define, a general general case or just a special one ? 2. Does a sensible notation suggest a system which contains analysis direction, variables related to constants, data flow lattice, flow functions, merge functions and so on ?...

Zur erweiterten Suche