SimpleProgramAnalyser/spa

Affects BIP: Call in if/else will crash the Evaluator

Closed this issue · 1 comments

alcen commented
procedure mainPrint {
    read x;
}


procedure readPoint {
    if (a == 1) then {
        a = 1;
    } else {
        call mainPrint;
    }
}

Nullptr exception when this query is run

stmt s, s1; Select <s, s1> such that AffectsBip(s, s1)

image

alcen commented

Hopefully this will be fixed when CFG (BIP) provides a method to get the joining node!

Edit: #160