search

islet-project / islet

An on-device confidential computing platform
Apache License 2.0
91 stars 16 forks source link

doc: Add `Safety Enhancements of Unsafe Rust` report #337

Closed bitboom closed 2 months ago

bitboom commented 2 months ago

This PR adds the Safety Enhancements of Unsafe Rust (SEUR) report, detailing the improvements made to enhance the safety of unsafe Rust code within our project.

The report includes an analysis of the Islet v1.0 state, the applied safety practices, and the results of the enhancements (refer to Islet v1.0-seur).

Please refer here for details.

hihi-wang commented 2 months ago

Nice to have fancy docs for unsafe report!

jinbpark commented 2 months ago

How about changing the name of document and folder from seur to rust-unsafe-analysis or something else?

I vote for this as well.

bitboom commented 2 months ago

Good to include this report! How about changing the name of document and folder from seur to rust-unsafe-analysis or something else?

I fixed it to rust-unsafe-analysis. Thanks!