search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
172 stars 72 forks source link

Marshall CIL file for GobView #1389

Closed stilscher closed 6 months ago

stilscher commented 6 months ago

Used for https://github.com/goblint/gobview/pull/43