3 ms·

Thinking out loud here, but... If you're going to take the overhead of range checking for a value, it may as well be a more appropriate range, not just for ove

• junke 10y ago
  Use Ada.
• nickpsecurity 10y ago
  Exactly. This is what Ada and annotation-based verification do. Usually, there's bad input at one of the interface points (esp function calls or I/O) where some conditional checks can catch it. Not always but most cases.