It is a collection of benchmarks/case study programs from the folks at Frama-C.
Since they also use (a fork of) CIL as their frontend, we should also be able to analyze these without the need for too much Makefile / build system Fu.
We probably do not want to incorporate this, but maybe we should maintain a list of additional benchmarks somewhere?
I just stumbled across this: https://git.frama-c.com/pub/open-source-case-studies
It is a collection of benchmarks/case study programs from the folks at Frama-C. Since they also use (a fork of) CIL as their frontend, we should also be able to analyze these without the need for too much Makefile / build system Fu.
We probably do not want to incorporate this, but maybe we should maintain a list of additional benchmarks somewhere?