weirflow 0.1.0

GPU-first dataflow analysis primitives for Vyre and Santh compiler pipelines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// WEIR_PRIMITIVE: points_to
// SCENARIO: p->f points-to set via field-sensitive analysis
// EXPECTED_FACT: q points to target_val

struct Data {
    int* f;
};

void test() {
    int target_val;
    struct Data d;
    d.f = &target_val;
    
    struct Data* p = &d;
    int* q = p->f;
}