sentri-cli 0.3.0

Sentri: multi-chain smart contract security analyzer with static analysis, invariant checking, and vulnerability detection for Solana, EVM, and Move programs.
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//! Header component shown at the start of analysis.

use crate::ui::constants::{color_dim, color_header, color_label, color_value};
use crate::ui::utils::{divider, term_width};

/// Render the check command header.
///
/// Displays a divider-based header with tool name, target, chain, and config info.
///
/// # Arguments
/// * `target` - The file or path being analyzed
/// * `chain` - The blockchain (EVM, Solana, Move)
/// * `config_path` - Optional path to the configuration file
/// * `config_found` - Whether the config file was found
///
/// # Returns
/// The formatted header as a string
pub fn render_check_header(
    target: &str,
    chain: &str,
    config_path: Option<&str>,
    config_found: bool,
) -> String {
    let width = term_width();
    let mut output = String::new();

    // Top divider
    output.push_str(&format!("{}\n", color_dim(&divider(width))));

    // Title line
    output.push_str(&format!(
        "{}  {}  {}  {}\n",
        color_header("Sentri"),
        color_dim("·"),
        color_dim("Multi-chain Invariant Checker"),
        color_dim("·"),
    ));
    output.push_str(&format!(
        "{}\n",
        color_dim(&format!("v{}", env!("CARGO_PKG_VERSION")))
    ));

    // Middle divider
    output.push_str(&format!("{}\n", color_dim(&divider(width))));
    output.push('\n');

    // Target line
    output.push_str(&format!(
        "{}  {}\n",
        color_label("Target"),
        color_value(target)
    ));

    // Chain line
    output.push_str(&format!(
        "{}  {}\n",
        color_label("Chain"),
        color_value(chain)
    ));

    // Config line
    if let Some(config) = config_path {
        let config_status = if config_found {
            "(found)"
        } else {
            "(not found)"
        };
        output.push_str(&format!(
            "{}  {} {}\n",
            color_label("Config"),
            color_value(config),
            color_dim(config_status)
        ));
    }

    output.push('\n');

    // Bottom divider
    output.push_str(&format!("{}\n", color_dim(&divider(width))));

    output
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_header_contains_expected_parts() {
        let header =
            render_check_header("./contracts/Token.sol", "EVM", Some(".sentri.toml"), true);

        assert!(header.contains("Sentri"));
        assert!(header.contains("./contracts/Token.sol"));
        assert!(header.contains("EVM"));
        assert!(header.contains(".sentri.toml"));
        assert!(header.contains("found"));
    }

    #[test]
    fn test_header_without_config() {
        let header = render_check_header("./src", "Solana", None, false);

        assert!(header.contains("Sentri"));
        assert!(header.contains("./src"));
        assert!(header.contains("Solana"));
    }
}