News for hackers. Stuff that matters.

A comment on CIL: C Intermediate Language. Parent comment

Re:CIL: C Intermediate Language by nikki93 on Friday November 01, 2024 @03:45AM (#42014820)
Frama-C uses CIL.
[ Parent | on HN ]
Re:CIL: C Intermediate Language by KsassPeuk on Friday November 01, 2024 @10:40AM (#42017355)
Well, Frama-C uses a quite modified version of CIL.
[ Parent | on HN ]