* Small error in blog post
@ 2020-08-06 17:18 Louis Cloete
0 siblings, 0 replies; only message in thread
From: Louis Cloete @ 2020-08-06 17:18 UTC (permalink / raw)
To: qemu-devel; +Cc: stefanha
[-- Attachment #1: Type: text/plain, Size: 592 bytes --]
Hi!
I read your blog post
http://blog.vmsplice.net/2020/08/why-qemu-should-move-from-c-to-rust.html
I thought it was a well thought out exposition of the topic of "what shall
we do to security vulnerabilities due to C bugs. Is Rust the answer".
However, one small inaccuracy caught my eye. Rust doesn't prevent memory
leaks. Memory leaks aren't considered memory unsafe by Rust's definition.
It is possible to leak memory in safe Rust. I believe memory leaks are not
prevented, because trying to prove their absence at compile time boils down
to the halting problem.
Regards
Louis Cloete
[-- Attachment #2: Type: text/html, Size: 845 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-08-06 20:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-08-06 17:18 Small error in blog post Louis Cloete
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).