mir-analyzer 0.85.0

Analysis engine for the mir PHP static analyzer
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

use std::collections::BTreeSet;

use super::load_full_symfony_fixture;
use crate::db::{infer_scope, MirDatabase, ScopeKey};

#[test]
#[ignore = "requires MIR_SYMFONY_FIXTURE or benches/fixtures/symfony"]
fn symfony_query_infer_scope() {
    let Some(fx) = load_full_symfony_fixture() else {
        eprintln!("skipping: Symfony fixture not available");
        return;
    };

    let db = fx.session.snapshot_db();
    let file = db
        .lookup_source_file(fx.request_stack.as_ref())
        .expect("RequestStack file");
    let header = infer_scope(&db, file, ScopeKey::FileHeader);
    assert!(
        header.issues.is_empty(),
        "RequestStack header scope should analyze cleanly"
    );
    assert_eq!(header.ref_locs.len(), 2);
    let symbols: BTreeSet<&str> = header
        .ref_locs
        .iter()
        .map(|loc| loc.symbol_key.as_ref())
        .collect();
    assert_eq!(
        symbols,
        BTreeSet::from([
            "use:cls:Symfony\\Component\\HttpFoundation\\Exception\\SessionNotFoundException",
            "use:cls:Symfony\\Component\\HttpFoundation\\Session\\SessionInterface",
        ]),
        "header inference should record the two imported class-like references"
    );
    assert!(
        header
            .ref_locs
            .iter()
            .all(|loc| loc.file.as_ref() == fx.request_stack.as_ref()),
        "header references should point back to the analyzed RequestStack file"
    );
}