diff options
author | jaseg <git@jaseg.net> | 2018-12-13 17:43:41 +0900 |
---|---|---|
committer | jaseg <git@jaseg.net> | 2018-12-13 17:43:41 +0900 |
commit | 21240ce378ec9f100d6782492c9aec50d909ddf6 (patch) | |
tree | ed4014e35a6b5265b73beabdc6345a73eda2d62b /src/noise.h | |
parent | a818c94fc4474afcdebdf6eea80608c130830db1 (diff) | |
download | secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.tar.gz secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.tar.bz2 secure-hid-21240ce378ec9f100d6782492c9aec50d909ddf6.zip |
Add beginnings of a frama-c proof of the protocol logic
The proof works
Diffstat (limited to 'src/noise.h')
-rw-r--r-- | src/noise.h | 2 |
1 files changed, 1 insertions, 1 deletions
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); |