noverby/rust/fe-c/docs/traces/ at main · yen.salif.eu/noverby · Tangled

yen.salif.eu / noverby

0

[★] Personal Monorepo

0

noverby / rust / fe-c / docs / traces /

at main 3 files

Niclas Overby doc(rust): Import Fe-C and Libc-rs design docs 2mo ago

rustsec-2021-0003.md

doc(rust): Import Fe-C and Libc-rs design docs Fe-C: runtime memory-safety checking for unsafe Rust and FFI with a per-crate hardening dial (case/through). Design complete: invariants, three worked CVE traces, 46-entry acceptance corpus, runtime API draft, coherence decision memo, nix integration sketch, ordered task queue. Libc-rs: plan and README for the adopted all-Rust libc substrate (Eyra/origin/c-ward lineage) that Fe-C instruments for whole-process coverage. Signed-off-by: Niclas Overby <niclas@overby.me>

2 months ago

rustsec-2021-0128.md

doc(rust): Import Fe-C and Libc-rs design docs Fe-C: runtime memory-safety checking for unsafe Rust and FFI with a per-crate hardening dial (case/through). Design complete: invariants, three worked CVE traces, 46-entry acceptance corpus, runtime API draft, coherence decision memo, nix integration sketch, ordered task queue. Libc-rs: plan and README for the adopted all-Rust libc substrate (Eyra/origin/c-ward lineage) that Fe-C instruments for whole-process coverage. Signed-off-by: Niclas Overby <niclas@overby.me>

2 months ago

rustsec-2021-0130.md

doc(rust): Import Fe-C and Libc-rs design docs Fe-C: runtime memory-safety checking for unsafe Rust and FFI with a per-crate hardening dial (case/through). Design complete: invariants, three worked CVE traces, 46-entry acceptance corpus, runtime API draft, coherence decision memo, nix integration sketch, ordered task queue. Libc-rs: plan and README for the adopted all-Rust libc substrate (Eyra/origin/c-ward lineage) that Fe-C instruments for whole-process coverage. Signed-off-by: Niclas Overby <niclas@overby.me>

2 months ago