diff --git a/README.md b/README.md index fab5892c..49d45fca 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ [![Latest version](https://img.shields.io/crates/v/egui.svg)](https://crates.io/crates/egui) [![Documentation](https://docs.rs/egui/badge.svg)](https://docs.rs/egui) +[![unsafe forbidden](https://img.shields.io/badge/unsafe-forbidden-success.svg)](https://github.com/rust-secure-code/safety-dance/) ![MIT](https://img.shields.io/badge/license-MIT-blue.svg) ![Apache](https://img.shields.io/badge/license-Apache-blue.svg) @@ -54,6 +55,7 @@ Window::new("Debug").show(ui.ctx(), |ui| { * Simple: no callbacks, minimal dependencies, avoid unnecessary monomorphization * Extensible: [easy to write your own widgets for Egui](https://github.com/emilk/egui/blob/master/egui/src/demos/toggle_switch.rs) * Modular: You should be able to use small parts of Egui and combine them in new ways +* Safe: there is no `unsafe` code in Egui Egui is *not* a framework. Egui is a library you call into, not an environment you program for. diff --git a/demo_web/src/lib.rs b/demo_web/src/lib.rs index 5bf62994..0248398a 100644 --- a/demo_web/src/lib.rs +++ b/demo_web/src/lib.rs @@ -1,3 +1,4 @@ +#![forbid(unsafe_code)] #![deny(warnings)] #![warn(clippy::all)] diff --git a/egui/src/lib.rs b/egui/src/lib.rs index 690bea17..044c95ed 100644 --- a/egui/src/lib.rs +++ b/egui/src/lib.rs @@ -20,6 +20,7 @@ //! } //! ``` +#![forbid(unsafe_code)] #![cfg_attr(not(debug_assertions), deny(warnings))] // Forbid warnings in release builds #![warn( clippy::all, diff --git a/egui_glium/src/lib.rs b/egui_glium/src/lib.rs index e4971ae7..c00825cd 100644 --- a/egui_glium/src/lib.rs +++ b/egui_glium/src/lib.rs @@ -1,3 +1,4 @@ +#![forbid(unsafe_code)] #![deny(warnings)] #![warn(clippy::all)] #![allow(clippy::single_match)] diff --git a/egui_web/src/lib.rs b/egui_web/src/lib.rs index e16f34f1..e4109d8c 100644 --- a/egui_web/src/lib.rs +++ b/egui_web/src/lib.rs @@ -1,3 +1,4 @@ +#![forbid(unsafe_code)] #![deny(warnings)] #![warn(clippy::all)]