4 ms·Well, Frama-C uses a quite modified version of CIL.by KsassPeuk 2y agoWell, Frama-C uses a quite modified version of CIL.