goblint / cil

C Intermediate Language
149Updated last week

Alternatives and similar repositories for cil:

Users that are interested in cil are comparing it to the libraries listed below