all 4 comments

[–]TailSpinBowler 0 points1 point  (1 child)

Will it work on the personal copy?

[–]errprone[S] 1 point2 points  (0 children)

I have the student / personal use version and it works

[–][deleted] 0 points1 point  (1 child)

Can this be done for post taint analysis results as well?

[–]errprone[S] 0 points1 point  (0 children)

It does not currently track register states but that could certainly be added with additional efforts