secure_boundary 0.1.3

Input validation, request limits, CORS, Fetch Metadata, and browser boundary protections.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

//! Property tests — validation invariants for secure_boundary.
//!
//! Milestone 9 — BDD: Validation idempotency property.
use proptest::prelude::*;
use secure_boundary::normalize::{normalize, to_nfc, trim_whitespace};

proptest! {
    /// NFC normalization is idempotent: to_nfc(to_nfc(x)) == to_nfc(x)
    #[test]
    fn prop_nfc_normalization_idempotent(s in ".*") {
        let once = to_nfc(&s);
        let twice = to_nfc(&once);
        prop_assert_eq!(once, twice);
    }

    /// normalize never panics on arbitrary input
    #[test]
    fn prop_normalize_no_panic(s in ".*") {
        let _ = normalize(&s, false);
        let _ = normalize(&s, true);
    }

    /// trim_whitespace result is never longer than input
    #[test]
    fn prop_trim_no_chars_added(s in ".*") {
        let trimmed = trim_whitespace(&s);
        prop_assert!(trimmed.len() <= s.len());
    }
}