[klee-dev] Unexpected instructions in instructions.txt

[Cadar, Cristian]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>