[kardos]

> it might lower the need for devs to actually fix the code and they might start just relying on Fil-C.

Well, the program would still halt upon memory flaw, so there would still be a need to fix it