[panda-users] taint propagation in imagemagick

[Manolis Stamatogiannakis]

Hello,

I tried using taint2 plugin + file_taint plugin to track taint propagation
of taint for Imagemagick convert.

My command line was like this:
convert image.jpg -colorspace GRAY out.jpg

I use a custom plugin to query taint when writting to out.jpg. However, the
bytes written to out.jpg appear clean.

Is there an explanation for this? It could be because of the use of
floating point instructions, but shouldn't LLVM IR handle those
transparently?

Thanks,
M.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/panda-users/attachments/20160728/b9a07803/attachment.html