Groups | Search | Server Info | Login | Register
Groups > comp.compilers > #3652
| From | George Neuner <gneuner2@comcast.net> |
|---|---|
| Newsgroups | comp.compilers |
| Subject | Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust |
| Date | 2025-05-15 11:52 -0400 |
| Organization | Compilers Central |
| Message-ID | <25-05-009@comp.compilers> (permalink) |
| References | <25-05-004@comp.compilers> <25-05-005@comp.compilers> <25-05-006@comp.compilers> |
On Wed, 14 May 2025 08:21:51 +0000, arnold@freefriends.org wrote: >In article <25-05-005@comp.compilers>, >Derek <derek-nospam@shape-of-code.com> wrote: >>I suspect that the same is happening with Rust. If so, how does using >>Rust make the code safer than using C without any checking switched >>on? > >Rust catches many problems at compile time. I am not at all a Rust >expert, or even a novice, but I don't think Rust does runtime >bounds checking, since it relies on compiler analysis instead. Debug builds in Rust may do considerable runtime checking depending on what the code is trying to do. There is a small amount of checking done even in release builds. There are always some things that can't be checked at compile time.
Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar
Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust John R Levine <johnl@taugh.com> - 2025-05-09 12:27 -0400
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust Derek <derek-nospam@shape-of-code.com> - 2025-05-13 21:30 +0100
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust arnold@freefriends.org - 2025-05-14 08:21 +0000
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust Kaz Kylheku <643-408-1753@kylheku.com> - 2025-05-14 20:01 +0000
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust anton@mips.complang.tuwien.ac.at - 2025-05-15 07:48 +0000
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust George Neuner <gneuner2@comcast.net> - 2025-05-15 11:52 -0400
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust cross@spitfire.i.gajendra.net - 2025-05-16 15:42 +0000
Re: Paper: PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust Kaz Kylheku <643-408-1753@kylheku.com> - 2025-05-16 17:57 +0000
csiph-web