vestigia-0.2.0: Where an execution depended on a secret.

vestigia runs a harness and reports every instruction that branched on a secret it marked, computed an address from it, or divided by or into it, naming each by function and source line. It has two instruments: taint tracking under valgrind's memcheck, and differential traces under QEMU, optionally checked against an ISA's data-independent-timing contract.