vyre-libs 0.7.0

vyre Category A library ecosystem - pure-IR compositions over vyre-ops hardware primitives
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
54
55
56
57
58

//! Shared fact-schema contract tests for security, borrowck, and external headers.

use vyre_libs::dataflow::{SharedFactHeader, SharedFactKind, Soundness};

#[cfg(feature = "security")]
use vyre_libs::security::{AnalysisFact, AnalysisSourceSpan, FactId, FactKind};

#[test]
#[cfg(feature = "security")]
fn c_security_fact_maps_to_exact_shared_header() {
    let fact = AnalysisFact::exact(
        FactId(1),
        FactKind::Source,
        AnalysisSourceSpan::byte_range(7, 100, 120),
        42,
    );

    // object and aux are absent (None) on a source fact: wire token is "-".
    assert_eq!(
        fact.shared_header("c-c11").wire_header(),
        "schema=v1;producer=c-c11;kind=source;fact_id=1;subject=42;object=-;aux=-;file=7;start=100;end=120;soundness=Exact"
    );
}

#[test]
fn rust_borrow_facts_map_placeholder_subset_to_exact_shared_header() {
    let facts = vyre_libs::borrowck::rustc_facts::RustcNllFacts {
        origin_count: 6,
        loan_count: 2,
        known_placeholder_subset: vec![(3, 5)],
        ..Default::default()
    };
    let headers = facts.shared_fact_headers("rustc-nll");

    // aux is absent (None) for a borrow_subset fact: wire token is "-".
    assert_eq!(
        headers[0].wire_header(),
        "schema=v1;producer=rustc-nll;kind=borrow_subset;fact_id=1;subject=3;object=5;aux=-;file=0;start=0;end=0;soundness=Exact"
    );
}

#[test]
fn external_witness_header_is_exact_shared_schema() {
    let header = SharedFactHeader::new(
        "external-dataflow",
        SharedFactKind::Witness,
        13,
        21,
        Soundness::Exact,
    )
    .with_object(34)
    .with_aux(55);

    assert_eq!(
        header.wire_header(),
        "schema=v1;producer=external-dataflow;kind=witness;fact_id=13;subject=21;object=34;aux=55;file=0;start=0;end=0;soundness=Exact"
    );
}