LLVM Improvements for Better Verification
Offered By: Linux Foundation via YouTube
Course Description
Overview
Explore LLVM improvements aimed at enhancing verification processes in this 28-minute conference talk by Alan Jowett. Gain insights into the latest advancements and techniques implemented within the LLVM framework to bolster code verification capabilities, potentially leading to more robust and reliable software development practices.
Syllabus
LLVM improvements for better verification (Alan Jowett)
Taught by
Linux Foundation
Tags
Related Courses
Secure Software Development: Verification and More Specialized TopicsLinux Foundation via edX Developing Secure Software
LinkedIn Learning Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy