On Saturday, 19 October 2013 at 08:25:58 UTC, Maxim Fomin wrote:
On Saturday, 19 October 2013 at 07:42:24 UTC, Max Samukha wrote:
On Saturday, 19 October 2013 at 07:24:49 UTC, Maxim Fomin
wrote:
Actual definition of safity in D is "Safe functions are
functions that are statically checked to exhibit no
possibility of undefined behavior. Undefined behavior is
often used as a vector for malicious attacks. " I provided
many cases where this does not happen.
I know the definition. Aren't we discussing a different matter
- your dissatisfaction with the fact that D's control flow
analysis does not prevent indirect calls to the constructor?
No. Topic of the thread is Safe D. The point was made that D's
safe mode is not safe at all. Constructor invocation is a
spin-off of the topic.
It's you who made that spin-off, trying to foist it in as yet
another example of D's unsafety. I was replying to that.
By the way, no dissatisfaction here, as I don't by D premises at
all.
You sounded dissatisfied.
