new analysis tag 'signature mismatch'
new option -reloadindex
new analysis tags: taint, type constraint