Results 25 issues of Deian Stefan

In prio, we ran into a really awkward thing to debug: ``` tainted_prio nss = sandbox.malloc_in_sandbox() ... nss->NSS_IsInitialized = sandbox.register_callback(t_NSS_IsInitialized); ``` eneded up getting unregister at the end of the...

Can we add a `copy_and_verify_string` for `unsigned char*`?

For prio, it would be useful to check if the sandbox has been created and create it if not. I know that we can only expose a `sandbox.is_created()` that may...

It would be useful to document this a bit better. For memcpy: the last parameter the number of elements, right? The type makes it seem like that is indeed the...

In Prio, I"m getting a warning about int vs. size_t comparison here: https://github.com/PLSysSec/rlbox_sandboxing_api/blob/master/code/include/rlbox_stdlib.hpp#L152-L154 In general we probably want to avoid this

Instead LIO.HTTP.Server should just export Frankie

- [x] Finish up LIO.HTTP.Server. Mostly there, see: 0309ad - [x] Define Show instances for Request and Response. - [x] Expose Status, Query and anything else you might need to...