Re: call for help

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 <[email protected]>

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

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