capsec-0.2.2
Platform
Feature flags

docs.rs

Rust

capsec 0.2.2

Compile-time capability-based security for Rust

Crate
Source
Builds
Feature flags

..
async_create_cannot_read.rs
async_create_cannot_read.stderr
async_open_cannot_write.rs
async_open_cannot_write.stderr
cap_is_not_send.rs
cap_is_not_send.stderr
cap_is_not_sync.rs
cap_is_not_sync.stderr
cap_new_not_accessible.rs
cap_new_not_accessible.stderr
capsec_std_requires_cap.rs
capsec_std_requires_cap.stderr
capsec_std_wrong_cap.rs
capsec_std_wrong_cap.stderr
context_bad_field.rs
context_bad_field.stderr
context_duplicate_perm.rs
context_duplicate_perm.stderr
context_tuple_struct.rs
context_tuple_struct.stderr
create_cannot_read.rs
create_cannot_read.stderr
dual_key_cap_is_not_send.rs
dual_key_cap_is_not_send.stderr
logged_cap_is_not_send.rs
logged_cap_is_not_send.stderr
main_no_params.rs
main_no_params.stderr
main_wrong_type.rs
main_wrong_type.stderr
no_cross_category_satisfaction.rs
no_cross_category_satisfaction.stderr
open_cannot_write.rs
open_cannot_write.stderr
requires_concrete_no_on.rs
requires_concrete_no_on.stderr
requires_on_wrong_type.rs
requires_on_wrong_type.stderr
runtime_cap_is_not_send.rs
runtime_cap_is_not_send.stderr
sealed_permission_no_external_impl.rs
sealed_permission_no_external_impl.stderr
sendcap_cannot_grant_wrong_perm.rs
sendcap_cannot_grant_wrong_perm.stderr
subsumption_not_reversed.rs
subsumption_not_reversed.stderr
timed_cap_is_not_send.rs
timed_cap_is_not_send.stderr
tuple_wrong_perm_rejected.rs
tuple_wrong_perm_rejected.stderr
wrong_capability_rejected.rs
wrong_capability_rejected.stderr