On: Imposing memory security in C [video]

[imtringued]

Have you thought about building a C verification framework around Fil-C?

Fil-C doesn't necessarily have to run in production. It just needs to catch the bugs, e.g. by making it easy to fuzz C code compiled via Fil-C.

[pizlonator → imtringued]

I think you should run Fil-C in production.

[transpute → pizlonator]

Why not both?