panicgraph 0.2.1

Reports which functions can panic, why, and through what call path.
Documentation 
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

//! What checking findings against the compiled artifact reports.

mod support;

use crate::support::analyse_fixture_json;

/// The verdict reported for one function and category.
fn verdict_in(
    report: &serde_json::Value,
    function: &str,
    category: &str,
) -> String {
    let findings = report["findings"]
        .as_array()
        .expect("the report should list findings");
    let finding = findings
        .iter()
        .find(|f| f["function"].as_str() == Some(function))
        .unwrap_or_else(|| panic!("{function} should be reported"));
    finding["verified"][category]
        .as_str()
        .unwrap_or_else(|| {
            panic!("{function} should carry a verdict for {category}")
        })
        .to_owned()
}

#[test]
fn the_artifact_settles_what_the_folder_could_not() {
    let report = analyse_fixture_json("release", &["--verify"]);

    assert_eq!(
        verdict_in(&report, "verify_absent_loop", "index"),
        "absent",
        "the optimizer removes the loop's bounds check, and the sweep must \
         see that it is gone"
    );
    assert_eq!(
        verdict_in(&report, "must_index", "index"),
        "confirmed",
        "the bounds check survives, and the sweep must find its entry point"
    );
    assert_eq!(
        verdict_in(&report, "must_divide", "divide-by-zero"),
        "confirmed",
    );
    assert_eq!(
        verdict_in(&report, "must_rc_clone", "refcount-overflow"),
        "unverified",
        "an inlined trap leaves no symbol, so the sweep must not claim \
         either way"
    );
}