[asm] Re: call for help

[Scott Vachalek <svachalek@xxxxxxxxx>]

As far as I know, ASM does not have any symbolic execution built in.  However, you can write a symbolic execution engine using ASM.

2010/7/9 yiqiuping1986 <yiqiuping1986@xxxxxxx>

Hi, everybody,

  

   I am a newer for ASM. Several days ago when I looked for a tool

help me do symbolic execution on Java program, I found ASM. Then I 

began to learn it through asm-guide. But after several days, I got 

some confused whether it can help me. 

   I want ASM to implement that every time when I give an input to a 

java program, ASM execut the program symbolic, and return a path 

contraint representing the execution path. Then I will add the contraints 

in the path contraint to a solver, and let the solver give me another 

solution which must lead to a different path in the program.

For example, for the next simple exampe:

 

public class myclass {

public static void main(string[] args) {

int solutions = args[1];

 

           while （solutions）{

int [2] a = solutionFromSolver();

pathConstraint = ASM_symbolicExecution(program, a);

 

                addContraintsToSolver()；

solution --;

}

    

public int program(int a, int b) {

if (a[0]>10)

if (a[1] < 5)

return 1;

      else return 2;

else if (a[1] >= 5)

      return 3;

 

return 4;

}

}

}

So when a = {7, 8}, then I want to give the path contraint, 

pc = {X0 <= 10, X1 >= 5}(X0 and X1 are the symbolic value of 

a[0] and a[1]).  So could sombody tell whether ASM can return 

me a path contraint after a symboic execution? If it can, which 

part I shoulde pay close attention on in the asm-guid.pdf？

   Thank you very much.

   Best regards to you all~

 

2010-07-09

---

yiqiuping1986

 

2010-07-09

---

yiqiuping1986

--
You receive this message as a subscriber of the asm@xxxxxxx mailing list.
To unsubscribe: mailto:asm-unsubscribe@xxxxxxx
For general help: mailto:sympa@xxxxxxx?subject=help
OW2 mailing lists service home page: http://www.ow2.org/wws