Frama-C uses CIL. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		nikki93 on Nov 1, 2024 \| parent \| context \| favorite \| on: CIL: C Intermediate Language Frama-C uses CIL.

KsassPeuk on Nov 1, 2024 [–]

Well, Frama-C uses a quite modified version of CIL.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact