Tag: memory safety
-
The Register: Can AWS really fix AI hallucination? We talk to head of Automated Reasoning Byron Cook
Source URL: https://www.theregister.com/2025/01/07/interview_with_aws_byron_cook/ Source: The Register Title: Can AWS really fix AI hallucination? We talk to head of Automated Reasoning Byron Cook Feedly Summary: Engineer who works on ways to prove code’s mathematically correct finds his field’s suddenly much less obscure Interview A notable flaw of AI is its habit of “hallucinating," making up plausible…
-
Slashdot: New System Auto-Converts C To Memory-Safe Rust, But There’s a Catch
Source URL: https://developers.slashdot.org/story/25/01/03/133213/new-system-auto-converts-c-to-memory-safe-rust-but-theres-a-catch Source: Slashdot Title: New System Auto-Converts C To Memory-Safe Rust, But There’s a Catch Feedly Summary: AI Summary and Description: Yes Summary: Researchers at Inria and Microsoft have introduced a novel system for converting C programming code into memory-safe Rust code to combat memory vulnerabilities, a significant issue in software security. This…
-
The Register: Boffins carve up C so code can be converted to Rust
Source URL: https://www.theregister.com/2025/01/03/mini_c_microsoft_inria/ Source: The Register Title: Boffins carve up C so code can be converted to Rust Feedly Summary: Mini-C is a subset of C that can be automatically turned to Rust without much fuss Computer scientists affiliated with France’s Inria and Microsoft have devised a way to automatically turn a subset of C…
-
Slashdot: What Happened After Google Retrofitted Memory Safety Onto Its C++ Codebase?
Source URL: https://tech.slashdot.org/story/24/11/16/0630218/what-happened-after-google-retrofitted-memory-safety-onto-its-c-codebase Source: Slashdot Title: What Happened After Google Retrofitted Memory Safety Onto Its C++ Codebase? Feedly Summary: AI Summary and Description: Yes Summary: Google’s transition to Safe Coding and memory-safe languages aims to enhance security within its extensive C++ codebase, notably in critical products like Chrome and its various services. By integrating hardened…
-
Hacker News: Retrofitting spatial safety to lines of C++
Source URL: https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html Source: Hacker News Title: Retrofitting spatial safety to lines of C++ Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses Google’s ongoing efforts to enhance memory safety in C++ through the implementation of hardened libc++, which introduces bounds checking to prevent spatial memory safety vulnerabilities. These vulnerabilities, representing a…
-
Google Online Security Blog: Retrofitting Spatial Safety to hundreds of millions of lines of C++
Source URL: https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html Source: Google Online Security Blog Title: Retrofitting Spatial Safety to hundreds of millions of lines of C++ Feedly Summary: AI Summary and Description: Yes Summary: The text discusses the exploitation of spatial memory safety vulnerabilities in C++ code, representing a significant security risk. Google’s initiative to enhance memory safety through the implementation…
-
The Register: The US government wants developers to stop using C and C++
Source URL: https://www.theregister.com/2024/11/08/the_us_government_wants_developers/ Source: The Register Title: The US government wants developers to stop using C and C++ Feedly Summary: Does anyone want to tell Linus Torvalds? No? I didn’t think so Opinion I must be a glutton for punishment. Not only was my first programming language IBM 360 Assembler, my second language was C.…
-
The Register: Google claims Big Sleep ‘first’ AI to spot freshly committed security bug that fuzzing missed
Source URL: https://www.theregister.com/2024/11/05/google_ai_vulnerability_hunting/ Source: The Register Title: Google claims Big Sleep ‘first’ AI to spot freshly committed security bug that fuzzing missed Feedly Summary: You snooze, you lose, er, win Google claims one of its AI models is the first of its kind to spot a memory safety vulnerability in the wild – specifically an…