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 <[email protected]> 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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
