call for help

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 [email protected] mailing list.
To unsubscribe: mailto:[email protected]
For general help: mailto:[email protected]?subject=help
OW2 mailing lists service home page: http://www.ow2.org/wws