How Fil-C Works

An explanation of how Fil-C enforces memory safety in C by preventing unchecked array bounds access. The core insight is that memory-unsafe code allows attackers to use any input vector to arbitrarily modify program memory, effectively reprogramming the computer. Even seemingly harmless code paths like a ping packet parser can become full attack surfaces when bounds checks are missing.