Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Agni: Fast Formal Verification of the Verifier's Range Analysis

Linux Plumbers Conference via YouTube

Overview

Explore a conference talk that delves into the intricacies of fast formal verification techniques for range analysis in verifiers. Learn about the Agni tool, its implementation, and how it enhances the verification process for eBPF programs. Discover the challenges faced in verifying range analysis and the innovative solutions proposed to overcome them. Gain insights into the performance improvements achieved through Agni and its potential impact on the Linux kernel's eBPF verifier.

Syllabus

Agni: Fast Formal Verification of the Verifier's Range Analysis - CHAIGNON, Paul

Taught by

Linux Plumbers Conference

Reviews

Start your review of Agni: Fast Formal Verification of the Verifier's Range Analysis

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.