From 21240ce378ec9f100d6782492c9aec50d909ddf6 Mon Sep 17 00:00:00 2001
From: jaseg <git@jaseg.net>
Date: Thu, 13 Dec 2018 17:43:41 +0900
Subject: Add beginnings of a frama-c proof of the protocol logic

The proof works
---
 src/noise.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/noise.h')

diff --git a/src/noise.h b/src/noise.h
index 0df397a..672174f 100644
--- a/src/noise.h
+++ b/src/noise.h
@@ -44,7 +44,7 @@ void persist_remote_key(struct NoiseState *st);
 int start_protocol_handshake(struct NoiseState *st);
 int reset_protocol_handshake(struct NoiseState *st);
 int generate_identity_key(struct NoiseState *st);
-int try_continue_noise_handshake(struct NoiseState *st, uint8_t *buf, size_t len);
+int try_continue_noise_handshake(struct NoiseState * const st, uint8_t *buf, size_t len);
 int send_encrypted_message(struct NoiseState *st, uint8_t *msg, size_t len);
 
 void arm_key_scrubber(void);
-- 
cgit