Carmack about static analysis

[Andrei Alexandrescu]

On 12/24/2011 11:30 AM, Walter Bright wrote:
> On 12/24/2011 6:35 AM, Adam D. Ruppe wrote:
>> On Saturday, 24 December 2011 at 12:42:41 UTC, bearophile wrote:
>>>> Printf format string errors were the second biggest issue in
>>> A problem that people didn't want to reduce in D.
>>
>> printf and writef are entirely different beasts.
>
> D's charter is not to fix bad usage of C functions like printf and
> memcpy. Use the corresponding D features like writef and array copy, and
> you won't need static analysis on them.

You still might if you want to make sure they work without running them.

Andrei