Laura L. Mann

I think the problem is a typo in the pdf.mako file: ${('#' * level) + ' ' + string + id} The "id" after the # on the second line...

Yes @Ben-Dumas , the changes made in #1209 include the fixes to the erroneous documentation I was referring to. Thank you for making the documentation match the code!

That warning is due to a deficiency in the taint2 plugin, in the taint_mix function when an LLVM shift instruction is encountered where the amount to shift is a variable....

I had the same problem, using --add-metadata-notes. I noticed the gitlog shows the notes are associated with mark :0, and that the post in the comment above was using --add-metadata-notes....