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 ]
There are no comments on this comment yet.