Closing the Gap between Rust and C++ Using Principles of Static Analysis - Sunny Chatterjee - CppCon
https://cppcon.org/
https://github.com/CppCon/CppCon2020
---
Did you know that 70% of serious security bugs are a result of memory safety issues? As a C++ developer, you may have heard about the safety benefits of Rust language. Although both Rust and C++ are high-performing system programming languages, we are increasingly hearing from customers and security researchers to have stronger safety and correctness guarantees in C++. Safety and correctness are no longer viewed as an opt-in behavior. The new adage is – if it compiles, it works. Static analysis has proved to be a valuable tool in empowering developers write modern C++. In this talk, I will share some ideas on how we can use the same principles in modern C++ code to provide strong statically-checked guarantees out-of-the-box. I will demonstrate some of these techniques live using MSVC’s code analysis tool.
---
Sunny leads a team responsible for developing the core C++ static analysis engines in Visual Studio productivity experience as well as the traditional security tooling scenarios used widely within Microsoft. He has many years of experience in static analysis and enjoys delivering new productivity benefits to customers. His current focus is to lead efforts towards making C++ a safer systems programming language.
---
Streamed & Edited by Digital Medium Ltd - events.digital-medium.co.uk
[email protected]
*-----*
Register Now For CppCon 2022: https://cppcon.org/registration/
*-----*
Смотрите видео Closing the Gap between Rust and C++ Using Principles of Static Analysis - Sunny Chatterjee - CppCon онлайн, длительностью часов минут секунд в хорошем качестве, которое загружено на канал CppCon 01 Январь 1970. Делитесь ссылкой на видео в социальных сетях, чтобы ваши подписчики и друзья так же посмотрели это видео. Данный видеоклип посмотрели 17,627 раз и оно понравилось 326 посетителям.
