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

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

use crate::contracts::finding::Finding;
use crate::nullptr::NullPtrState;

use super::shared::{eval_call_arg, level_for_value};

pub(crate) fn check<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    term: &Terminator<'tcx>,
    state: &NullPtrState<'tcx>,
    warn_on_maybe: bool,
) -> Option<Finding> {
    let TerminatorKind::Call { args, .. } = &term.kind else {
        return None;
    };
    let Some(first_arg) = args.first() else {
        return None;
    };
    let value = eval_call_arg(tcx, body, state, &first_arg.node);
    let level = level_for_value(value, warn_on_maybe);
    Finding::for_level(
        level,
        term.source_info.span,
        "nullptr/definite-null",
        "nullptr/possible-null",
        "call definitely receives a null pointer argument",
        "call may receive a null pointer argument",
        vec![format!("argument = {value}")],
    )
}