sentri-ir 0.3.0

Sentri: Intermediate representation for Sentri invariant specifications and security analysis.
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
30
31
32
33
34
35
36
37

//! Analysis context tracking.

use sentri_core::model::ProgramModel;

/// Context information from analysis phase.
#[derive(Debug, Clone)]
pub struct AnalysisContext {
    /// The analyzed program model.
    pub program: ProgramModel,

    /// Whether analysis completed successfully.
    pub is_valid: bool,

    /// Any warnings encountered during analysis.
    pub warnings: Vec<String>,
}

impl AnalysisContext {
    /// Create a new analysis context.
    pub fn new(program: ProgramModel) -> Self {
        Self {
            program,
            is_valid: true,
            warnings: Vec::new(),
        }
    }

    /// Add a warning.
    pub fn add_warning(&mut self, warning: String) {
        self.warnings.push(warning);
    }

    /// Mark analysis as invalid.
    pub fn mark_invalid(&mut self) {
        self.is_valid = false;
    }
}