Scott Haseley
dda4c39752
Fix new snsecprintf for secure testing
2017-02-18 23:53:32 -05:00
Scott Haseley
dbb57b2826
Added snsecprintf function that writes the secprintf message into the
...
buffer provided.
2017-02-18 22:58:35 -05:00
Geoffrey Challen
b126279b52
Whitespace fix.
2017-01-09 22:59:41 -05:00
Scott Haseley
16bfdcf406
Added new line before printing secured messages. For quint/triple tests, the secured message
...
might print on a progress line, which makes test161 fail.
2016-04-06 13:27:51 -04:00
Scott Haseley
196bb3b684
Now using static buffers (and protecting with a semaphore) for kernel secprintf.
...
We have to do this because we need secure output in kmalloc.
2016-03-07 15:05:58 -05:00
Scott Haseley
0230d87de4
Changed make_salt to call srandom with time in ms since epoch (lower 32 bits).
2016-03-01 15:24:26 -05:00
Guru Prasad Srinivasa
b65a333d34
Merge branch 'master' of gitlab.ops-class.org:staff/os161
2016-03-01 02:50:11 -05:00
Guru Prasad Srinivasa
f0e1d8722c
Updated libtest161
2016-02-29 20:11:50 -05:00
Scott Haseley
e7ec655415
Removed printsf, an unused secure testing printf variant. This variant does not apply now that each test has its own secret.
...
Fixed unused variable in libtest161 in kernel compiles.
2016-02-29 16:43:35 -05:00
Scott Haseley
874a211af9
Changed userspace secprintf to use "say" function, which should be atomic wrt
...
console writing if write works properly.
2016-02-26 11:41:27 -05:00
Scott Haseley
1b99c0e18f
Refactored ksecprintf -> secprintf. Secure code is now all in common libtest161.
...
This library gets linked in by default in userland, and the common files are
included in the kernel.
2016-02-23 15:31:37 -05:00
Scott Haseley
5f7d1f5611
Previous change that changed SECRET to a string broke userland compiles
2016-02-12 00:14:51 -05:00
Scott Haseley
a97b1c80b2
Added sha256 hash function and hmac functions (with and without salt) to the kernel
...
and userspace.
In userspace, this is accessed through #include <secure.h>
In the kernel, this is access through #include <kern/secure.h>
There is a unit test for this (hm1) that computes the hmac and compares it to
the known value. The salted vesion tested offline.
-----
Also, fixed usespace compile issue with not changing KERNEL_SECRET => SECRET.
2016-02-01 01:35:53 -05:00
Scott Haseley
0ab862abfa
1) Moved tprintf and related functions to their own file in common/libc/printf/tprintf.c.
...
This file is included by both libc and hostcompat.
2) Changed printf -> tprintf in all testbin programs
2016-01-15 13:33:11 -05:00
Geoffrey Challen
cafa9f5690
Initial Spring 2016 commit.
2015-12-23 00:50:04 +00:00
