bonsai-ninja-security 0.2.4

Security rulepack loader, matcher, and source/sink/sanitizer wrapper for bonsai-ninja.
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
30
31
32
33
34
35
36
37
38
39
40

use super::*;

#[test]
fn taint_options_default_to_semantic_precision() {
    assert_eq!(
        TaintAnalysisOptions::default().max_precision,
        Some(PUBLIC_SEMANTIC_MAX_PRECISION)
    );
}

#[test]
fn taint_options_clamp_broad_precision_to_semantic() {
    let exact = TaintAnalysisOptions {
        max_precision: Some(Precision::Exact),
        ..TaintAnalysisOptions::default()
    }
    .semantic_precision_only();
    assert_eq!(exact.max_precision, Some(Precision::Exact));

    let none = TaintAnalysisOptions {
        max_precision: None,
        ..TaintAnalysisOptions::default()
    }
    .semantic_precision_only();
    assert_eq!(none.max_precision, Some(PUBLIC_SEMANTIC_MAX_PRECISION));

    let broad = TaintAnalysisOptions {
        max_precision: Some(Precision::OverApproximate),
        ..TaintAnalysisOptions::default()
    }
    .semantic_precision_only();
    assert_eq!(broad.max_precision, Some(PUBLIC_SEMANTIC_MAX_PRECISION));

    let unknown = TaintAnalysisOptions {
        max_precision: Some(Precision::Unknown),
        ..TaintAnalysisOptions::default()
    }
    .semantic_precision_only();
    assert_eq!(unknown.max_precision, Some(PUBLIC_SEMANTIC_MAX_PRECISION));
}