top | item 46388948

(no title)

codys | 2 months ago

One can evaluate Go using the extent of the definition from the site itself, which uses out of bounds reads and writes as a sign of memory unsafety.

Go's implementation allows torn writes for interfaces (which are 2 words in size). These torn writes allow arbitrary memory reads/writes (a superset of out of bounds reads/writes)

discuss

order

llmslave2|2 months ago

Has this problem (which is really a race condition problem) ever been shown to be exploitable or lead to issues?

codys|2 months ago

It sounds like you have a definition of memory safety you aren't disclosing.

Please fully provide your definition of memory safety. Not interested in trying to figure out what it is in a 20-questions-over-hn way.