Skip to content

Rust claims article: what the compiler stops, and what it does not #9

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
compilersutra wants to merge 14 commits into from
Closed

Rust claims article: what the compiler stops, and what it does not #9

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
29e588e
Add a reality-check article on what Rust's memory-safety claim actual…
compilersutra Aug 15, 2026
b4e75bc
Rewrite the Rust claims article in a first-person investigation voice.
compilersutra Aug 15, 2026
f6f2d18
Rewrite the Rust claims article in shorter, plainer English.
compilersutra Aug 15, 2026
477d9b8
Add compiler output, sanitizers, and a TOCTOU demo to the Rust claims…
compilersutra Aug 15, 2026
6b724a1
Add clang 18 results next to gcc on the Rust claims examples.
compilersutra Aug 16, 2026
2ddc255
Give the Rust claims article a framework: three safety levels, a same…
compilersutra Aug 16, 2026
9d54b6f
Connect Rust's safety claim to the borrow checker, LLVM, and data races.
compilersutra Aug 16, 2026
6d5bc2e
Tighten the Rust claims article: one results table, less repetition.
compilersutra Aug 16, 2026
1d758e6
Fold rustc limits in earlier and hide repeated compiler logs.
compilersutra Aug 16, 2026
546d802
Rename the experiment-scope section so it does not collide with Limit…
compilersutra Aug 16, 2026
d02b0b5
Add a TL;DR, merge the UAF walkthrough, and put the checklist after u…
compilersutra Aug 16, 2026
9856f51
Last polish: panic vs throw, one guarantee-ends section, shorter run …
compilersutra Aug 16, 2026
c9cf765
Give the results table a real header row and a working logs link.
compilersutra Aug 16, 2026
57493af
Correct span::at: it is C++26, not C++23.
compilersutra Aug 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions docs/articles.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -176,6 +176,15 @@ No article has been published from the Jenkins queue yet.
<td>Coming Soon</td>
<td>Coming Soon</td>

</tr>

<tr>
<td>Rust Claims</td>
<td>A Reality Check: Safety, Tools, and Systems Programming</td>
<td><a href="./rust-claims-a-reality-check">Article</a></td>
<td>Coming Soon</td>
<td>Coming Soon</td>
<td>Coming Soon</td>
</tr>

</tbody>
Expand Down
Loading
Loading