Skip to content
0:00 / 0:00

#memorytagging#hwasan#armmte

CppCon 2018: Kostya Serebryany “Memory Tagging and how it improves C/C++ memory safety”

CppCon

189K subscribers • 123 videos on Hallway • Conference channel

YouTube
  • Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
  • Presented by Kostya Serebryany
  • Linked in the descriptionCppCon/CppCon2018

Advanced. Deep dive for people who know the field.

11K views8 years ago2 recommendations

Systems programmingSecurityMemory managementC++

Kostya Serebryany discusses hardware-assisted memory tagging implementations like ARM MTE and HWASAN to improve memory safety in C and C++.

CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: github.com/CppCon/CppCon2018 — Memory safety in C++ remains largely unresolved. A technique usually called "memory tagging" may dramatically improve the situation if implemented in hardware with reasonable overhead. In this talk we will discuss three implementations of memory tagging. One is SPARC ADI, a full hardware implementation. Another is HWASAN, a partially hardware-assisted compiler-based tool for AArch64. Last but not least, ARM MTE, a recently announced hardware extension for AArch64. We describe the basic idea, evaluate the three implementations, and explain how they improve memory safety. We'll pay extra attention to memory tagging as a security mitigation. If you know what AddressSanitizer (ASAN) is, think of Memory Tagging as of "Low-overhead ASAN on steroids in hardware". This talk is based on the paper "Memory Tagging and how it improves C/C++ memory safety". — Kostya Serebryany, Google Software Engineer Konstantin (Kostya) Serebryany is a Software Engineer at Google. His team develops and deploys dynamic testing tools, such as AddressSanitizer and ThreadSanitizer. Prior to joining Google in 2007, Konstantin spent 4 years at Elbrus/MCST working for Sun compiler lab and then 3 years at Intel Compiler Lab. Konstantin holds a PhD from mesi.ru and a Master from msu.ru. — Videos Filmed & Edited by Bash Films: BashFilms.com Work at Hudson River Trading (HRT): tinyurl.com/safxfctf --- Videos Filmed & Edited by Bash Films: BashFilms.com

Why it's here

2 people recommend this

What people say. Recommended as an excellent explanation of how hardware-assisted memory tagging can mitigate memory safety issues in C and C++.

Moments people linked to

u/Saefrochin r/programming • Recommends

On “Jonathan Blow on scripting languages for games”

I don't know how bad the internet would lead one to believe C++ is, so I'm including the sources I could whip up quickly on why _I_ think C++ is particularly deserving of criticism. Nearly every URL is to a timestamp that emphasizes my particular point but these are all really good talks. Jon Kalb, C++ today 2018 > ... the point is that C++ has huge industry buy-in. Now the downside to that is that it also has _huge_ baggage. Pick any one of Timur Doumler's talks on parsing or initialization in C++; his lightning talk at CppCon 2018 makes the point nicely but if you're interested in the topic, during his longer-form 2018 CppCon talk with Dmitry Kozhevnikov he goes over an example of…
9View on Reddit

latteraon Lobsters • Recommends

Memory Tagging and how it improves C/C++ memory safety