Hello I am making my Master Thesis and I am using klee to automatically generate test cases of c code. The problem is that with klee I have this kind of results:
num objects: 5 object 0: name: 'selection' object 0: size: 4 object 0: data: '\r\x00\x00\x00' if we execute: ktest-tool --write-ints..... or "KTEST_FILE=": We obtained Selection = 13 for this case the same with another cases. I tried to look for something that I can convert to hexadecimal dates (and then give value to variables in c code), but I don't know. Could someone said me: How klee make the conversion to obtain this dates? Where I should look for a solution? How I could convert the klee values into readable information? I tried to look into the klee-replay but it was not possible for me to find any solution Thanks in advance Marta ___________________________________________________ The process that my project follows has the next steps: (maybe it helps to understand why I need to do that) 1) It is generated a file to make the klee cases 2) It is generated a file with the results of klee: ktest-tool klee-last/*.ktest> test_kfiles.txt 3) It is generated another file with the results assigned to the variables. One part of my program takes the values values of the cases and gives the values to the variables in c code. So it is generated another file with this results ready to execute. Now I'm working in this part 4) Then I will execute this file with the klee values, to make measurements. My problem is in the step 3. (I think I cannot use the klee-replay or "KTEST_FILE=" because it is not the same file that i use to generate the cases (step 1) than the file that I need to execute with the obtained cases (step 3). To make it automatic, i need to take the data of the ktest and convert again in c code.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
