Frama-C's case study benchmarks

[michael-schwarz]

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?