Hacker News new | ask | show | jobs
by nikki93 588 days ago
Frama-C uses CIL.
1 comments
KsassPeuk 588 days ago
Well, Frama-C uses a quite modified version of CIL.
link