HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by nikki93 | Hacker News Reader
Parent
Full thread
nikki93
·
Frama-C uses CIL.
View on HN
KsassPeuk
·
Well, Frama-C uses a quite modified version of CIL.
Reply on news.ycombinator.com