rlbox issues

! operator on tainted bool automatically unwraps it

https://github.com/PLSysSec/rlbox/blob/2ffb43846498d8dbb21a4c466922599d1d697b37/code/include/rlbox.hpp#L464-L467 This should return a tainted bool.

wrv

RLBox v2: Include method to call function pointer

Wasm plugin checks the indirect function table to check type and pointer validity. NaCl plugin is a NoOp

shravanrn

example should guard against null string pointer

3

I was trying out the "hello world" example in rlbox, and wanted to confirm that it guards against the library returning garbage. When I changed `call_cb()` in `mylib.c` to invoke...

zeldovich

Minor cleanup

2

After reading some part of the library, I noticed some minor change with ABI break. 1) `unverified_safe_because` is `template` but N is never used. Another declaration could be: `inline auto...

bansan85

Add support for standard int types (uint32_t, size_t etc.) for appropriate conversion

shravanrn

Provide useful error message/add support when invoke variadic function calls

This is currently unsupported as there are tricky ABI issues for plugins that are not noop sandbox. Provide a helpful error message for this/add support for this

shravanrn

don't unregister callbacks automatically

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...

deian