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

use std::collections::BTreeSet;

use super::load_full_symfony_fixture;
use crate::db::{file_structural_deps, MirDatabase};

#[test]
#[ignore = "requires MIR_SYMFONY_FIXTURE or benches/fixtures/symfony"]
fn symfony_query_file_structural_deps() {
    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 deps = file_structural_deps(&db, file);
    let dep_set: BTreeSet<&str> = deps.iter().map(|p| p.as_ref()).collect();
    assert!(deps.len() >= 2);
    assert!(
        dep_set.contains(fx.request.as_ref()),
        "RequestStack should structurally depend on Request"
    );
    assert!(
        dep_set
            .iter()
            .any(|p| p.ends_with("Session/SessionInterface.php")),
        "RequestStack should structurally depend on SessionInterface"
    );
    assert!(
        dep_set
            .iter()
            .any(|p| p.ends_with("Exception/SessionNotFoundException.php")),
        "RequestStack should structurally depend on SessionNotFoundException"
    );
    assert_eq!(
        dep_set.len(),
        deps.len(),
        "structural deps should already be deduplicated"
    );
    assert!(!dep_set.contains(fx.request_stack.as_ref()));
}