cargo / libredox

libredox

cargo

Redox stable ABI

Audits

PE Patrick Elsen 2026-06-02

libredox@0.1.17 · 3 findings

libredox 0.1.17 is a thin Rust wrapper around the Redox kernel's stable C ABI: ~37 extern "C" syscalls (FDs, processes, signals, namespaces, mmap, time) plus a protocol module of call-number enums and C-layout structs. The crate matches its upstream commit, ships no binaries, build script, or proc-macro, and contains no network, exec, env, crypto, or concurrency code. Three low-severity findings: two unsafe helpers lack safety comments, and no test suite ships.

filesystem-safehas-binarieshas-build-exechas-fuzz-testshas-install-exechas-integration-testshas-property-testshas-unit-testsimpl-algorithmimpl-concurrencyimpl-cryptoimpl-datastructureimpl-interpreterimpl-jitimpl-parserimpl-protocolis-benignunsafe-documentedunsafe-minimalunsafe-safeunsafe-testeduses-concurrencyuses-cryptouses-environmentuses-execuses-filesystemuses-interpreteruses-jituses-networkuses-unsafe
PE Patrick Elsen 2026-05-27

libredox@0.1.16 · 1 finding

libredox 0.1.16 is a thin Redox stable-ABI binding crate: ~30 extern "C" syscall declarations, safe typed wrappers, an Fd RAII type, and protocol-vocabulary enums. Published source matches upstream byte-for-byte; one low-severity informational finding for 47 unsafe blocks without SAFETY: comments and no tests. Safe to use.

has-binarieshas-build-exechas-fuzz-testshas-install-exechas-integration-testshas-property-testshas-unit-testsimpl-algorithmimpl-concurrencyimpl-cryptoimpl-datastructureimpl-interpreterimpl-jitimpl-parserimpl-protocolis-benignunsafe-documentedunsafe-minimalunsafe-safeunsafe-testeduses-concurrencyuses-cryptouses-environmentuses-execuses-filesystemuses-interpreteruses-jituses-networkuses-unsafe