Static Analysis Can't Prove Your Airplane Won't Crash. It Can Prove Something More Useful.
Abstract interpretation over-approximates every possible program state.
Static analysis cannot prove an airplane will not crash. It can prove that your altimeter control loop will never divide by zero, will never index out of…