6 ms·Frama-C uses CIL.by nikki93 2y agoFrama-C uses CIL.KsassPeuk 2y agoWell, Frama-C uses a quite modified version of CIL.