Infer combines many recent advances in automatic verification with separation logic. Some of the features are: – It performs deep-heap analysis (a.k.a. shape ...
確定！ 回上一頁
