Comment Comment by kd0amg no NULL checks, no out of bounds checksI would expect formal verification to make many instances of these superfluous. If this code genuinely needs to have these added, that sounds like a flaw in their verification system. parent kd0amg 13 years ago
I would expect formal verification to make many instances of these superfluous. If this code genuinely needs to have these added, that sounds like a flaw in their verification system.