3 ms·Some kind of single context abstract interpretation maybe.by aatd86 3y agoSome kind of single context abstract interpretation maybe.