3 ms·
That's a question of static vs. dynamic analysis for bug detection. Which one(s) is/are most useful depends on the user's needs.
by DoofusOfDeath 8y ago
That's a question of static vs. dynamic analysis for bug detection.
Which one(s) is/are most useful depends on the user's needs.
- simias 8y agoStatic analysis was always possible, dynamic isn't if you want to remain standard-compliant and overflow is defined. That being said I think it's a rather weak justification for making overflow UB, after all if you want to trap on overflows wouldn't want to catch unsigned overflow as well?