rapx 0.7.17

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

use clap::Args;

/// Arguments for the `check` command.
#[derive(Debug, Clone, Args)]
pub struct CheckArgs {
    /// detect use-after-free/double-free
    #[arg(
        short = 'f',
        num_args=0..=1,
        default_missing_value = "1",
        long,
    )]
    pub uaf: Option<usize>,

    /// detect memory leakage
    #[arg(short = 'm', long)]
    pub mleak: bool,
}