rapx 0.7.29

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

use rustc_span::def_id::DefId;

use crate::utils::source::get_fn_name_byid;

pub fn should_check(def_id: DefId) -> bool {
    let fn_name = get_fn_name_byid(&def_id);
    let last_segment = fn_name.rsplit("::").next().unwrap_or(&fn_name);
    if last_segment.contains("drop")
        || last_segment.contains("dealloc")
        || last_segment.contains("release")
        || last_segment.contains("destroy")
    {
        return false;
    }
    true
}