[1-6]

Will we one day be able to use AI to make code memory safe?

[jebarker]

Reviewing C/C++ code for memory safety is probably a good use case for LLMs actually. Writing memory safe code from scratch is a much bigger ask.

[hardware2win]

I bet many, many false alarms

[jebarker]

Perhaps, but reviewing code for memory safety issues is a more well defined task than general code generation so LLMs can be more easily trained to get better at it.