vestigia

Detect where execution depends on secrets.
git clone git://git.ppad.tech/vestigia.git
Log | Files | Refs | README | LICENSE

commit 13cb016c38aa7391ec85013a7c78e008581b969e
parent 87dfbfa3744d0903c988918f841aff3e48719dff
Author: Jared Tobin <jared@jtobin.io>
Date:   Sat, 31 Oct 2026 13:23:20 +0400

release: v0.2.0

Diffstat:
MCHANGELOG | 2+-
Mvestigia.cabal | 2+-
2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG b/CHANGELOG @@ -1,6 +1,6 @@ # Changelog -- 0.2.0 (unreleased) +- 0.2.0 (2026-10-31) * Data-independent-timing contracts: `record --contract arm-dit` or `intel-doitm`, with `--object` and `--objdump`, has the plugin fingerprint the operands of every instruction outside the ISA's diff --git a/vestigia.cabal b/vestigia.cabal @@ -1,6 +1,6 @@ cabal-version: 3.0 name: vestigia -version: 0.1.0 +version: 0.2.0 synopsis: Where an execution depended on a secret. license: MIT license-file: LICENSE