 |
Post AfLT4eFtpxwLQ1P92O by [email protected] |
 |
More posts by [email protected] |
|
Post #AfLT4eFtpxwLQ1P92O by [email protected] |
|
0 likes, 0 repeats |
|
|
|
How does Rust prevent long-running "pointers" from becoming dangling?… |
|
|
|
Post #AfLT4fXf3Pk3POiqMS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy42 It uses the type system.An API that accepts a "pointer" (… |
|
|
|
Post #AfLT4fcGmHQbdgsWXo by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy42 And yes, this *can* be generalized to long-term lifetimes.You can a… |
|
|
|
Post #AfLT4fgAXmXzpmhdce by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chandlerc Do you have refs or examples of that?I have a paper for C++ in my mi… |
|
|
|
Post #AfLT4g1RGhYqtkecm8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@chandlerc https://doc.rust-lang.org/book/ch10-03-lifetime-syntax.htmlGot it, t… |
|
|
|
Post #AfLT4h1TY3BW09gATI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy42 @chandlerc Also highly recommend this article, which introduces som… |
|
|
|
Post #AfLT4h65Gus4ERpqee by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lesley @chandlerc Looks to focus on the part I didn't figure out yet, that… |
|
|
|
Post #AfLT4h9z2PzSQXexjU by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lesley @chandlerc The ABI would have two variants of a function exported; a ch… |
|
|
|
Post #AfLT4hDsnv6qcdU4oK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lesley @chandlerc The two main problems remaining are pointer arithmetic, and … |
|
|
|
Post #AfLT4hI8Y6VoppTTRQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@lesley @chandlerc Which brings me to the first post - everything should now as… |
|
|
|
Post #AfLT4jNAoLjHI1qWZM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dascandy42 @lesley @chandlerc IMO to get to memory safety you have to change s… |
|
|
|
Post #AfLT4jS8VthPXQAUIy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@malwareminigun @dascandy42 @lesley @chandlerc CHERI provides an existence proo… |
|
|
|
Post #AfLTCpHshjm9wzEO12 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@malwareminigun @dascandy42 @lesley @chandlerc Yes, you need to be willing to r… |
|
|
|
Post #AfLcrenpUSXqtQidpg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@emaste @dascandy42 @lesley @chandlerc I'll believe in CHERI when a hardwar… |
|
|
|
Post #AfLcresRDKEP7isK12 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@malwareminigun @dascandy42 @lesley @chandlerc I'd say Morello is an existe… |
|
|
|
Post #AfLcrfeILOVpW9GXbs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@emaste @dascandy42 @lesley @chandlerc also, the best mitigations like CHERI ca… |
|
|
|
Post #AfLeG6tUnZtavAaqoq by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@malwareminigun @dascandy42 @lesley @chandlerc buggy software can be written in… |
