[klee-dev] Collect functions and values of parameters

[Loi Luu]

I posted this question on StackOverflow with an illustrating example
http://stackoverflow.com/questions/19634022/program-analysis-with-given-input

Thanks,


On Mon, Oct 28, 2013 at 6:54 PM, Loi Luu <loi.luuthe at gmail.com> wrote:

> Hi,
>
> Given a program path, I wanna track all libc functions  (in path
> condition) with their corresponding parameters in each execution path. For
> example, given the branch condition if (strcmp(s, s1)) in which s is
> symbolic, s1 is concrete; I wanna get the function name (strcmp), the value
> of s1 and the return value of this function. Which part of KLEE should I
> modify to get it stored in each execution state and printed in somewhere
> like .pc file.
>
> Thanks,
>
> --
> Loi, Luu The (Mr.)
> RA at Security Lab, SoC, NUS
>



-- 
Loi, Luu The (Mr.)
RA at Security Lab, SoC, NUS
-------------- next part --------------
HTML attachment scrubbed and removed