goblint/cil

C Intermediate Language

80 best points · 32 comments · 1 Hacker News post · 162 GitHub stars · View on GitHub

Hacker News discussions

• CIL: C Intermediate Language (80 points, 32 comments, by tosh, 2024-10-28)