Hi Alberto, if you suspect a bug, you should try to reproduce it with a smaller example and report it on GitHub.
Cristian On 29/10/2018 18:37, Alberto Barbaro wrote: > Hi all, > I'm still working on pngpixel ( libpng 1.6.34 ). I was able to compile > everything and execute klee as expected. The only weird thing is that if > I make klee to create instructions.txt > ( -debug-print-instructions=src:file ) in that file I have references > to pngrutil.c:3147 that is an error condition that is never encountered > during the klee execution. If you checked you would see that instruction > prints and error message that is never shown during the klee execution, > so I'm sure that the instruction was never executed. > > Do you know why the reference to pngrutil.c:3147 is anyway present in > instructions.txt? > > Thanks > Alberto > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
