ctverif v1.0.1

ctverif

A tool for verifying constant-time code.

Requirements

The basic requirements are:

• Smack
• Bam

which rely transitively on:

• Clang
• LLVM
• Boogie
• Corral
• Z3

Installation

Install from npm:

$ npm i -g ctverif

Usage

Run without arguments for usage:

$ ctverif

Development

Emulate installation of local repository:

$ npm link

Release a new version to npm:

$ npm version [major|minor|patch]
$ npm publish