mirsa-domains 0.2.0

Abstract interpretation domains for mirsa
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

use rustc_middle::mir::{Body, Terminator, TerminatorKind};
use rustc_middle::ty::TyCtxt;

use crate::contracts::finding::{Finding, Level};
use crate::internval::InternvalState;

use super::shared::eval_call_arg;

pub(crate) fn check<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    term: &Terminator<'tcx>,
    state: &InternvalState<'tcx>,
) -> Option<Finding> {
    let TerminatorKind::Call { args, .. } = &term.kind else {
        return None;
    };
    let Some(arg) = args.first() else {
        return None;
    };
    let value = eval_call_arg(tcx, body, state, &arg.node);
    let level = if value.is_empty() || value.low > 0 || value.high < 0 {
        Level::Safe
    } else if value.low == 0 && value.high == 0 {
        Level::Definite
    } else {
        Level::Possible
    };
    Finding::for_level(
        level,
        term.source_info.span,
        "internval/definite-zero",
        "internval/possible-zero",
        "calling `NonZero::new_unchecked` with an argument that is exactly 0",
        "calling `NonZero::new_unchecked` with an argument that may be 0",
        vec![format!("argument = {value}")],
    )
}