-
Notifications
You must be signed in to change notification settings - Fork 34
Open
Description
There is a new tool under development called krabcake for checking adherence to Stacked Borrows at runtime. It is akin to Miri, but with a different architecture that supports codebases that use FFI and inline assembly. (using a combination of a custom Valgrind tool, and annotations inserted by rustc) Once this tool is ready, we could rebuild rustls-ffi with it, and try running various C programs under dynamic instrumentation to check for soundness bugs in the FFI API, or misuses by specific library consumers.
cpu and jsha
Metadata
Metadata
Assignees
Labels
No labels