DIP1000 finds stack corruption bug in std.socket
Walter Bright
newshound2 at digitalmars.com
Tue Mar 19 04:25:30 UTC 2019
https://github.com/dlang/phobos/pull/6919
The function returns a pointer to a local variable. The pre-DIP1000 code
circumvented the compiler error message by passing the address through another
variable. DIP1000 tracks the lifetimes across assignments, exposing such
shenanigans.
These sorts of bugs can be very hard to track down by their effects.
More information about the Digitalmars-d
mailing list