YoVDO

Monotonicity and the Precision of Program Analysis

Offered By: ACM SIGPLAN via YouTube

Tags

Static Analysis Courses Code Obfuscation Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the relationship between program monotonicity and the precision of program analysis in this 21-minute conference talk from POPL 2024. Delve into the formalization of program monotonicity with respect to specific inputs and numerical variables. Learn about a sound proof system for determining program monotonicity and discover why monotone programs are of interest in static analysis. Examine the connection between monotone programs and complete abstract interpretation over certain numerical abstractions. Gain insights into the implications for program analysis precision and the potential for identifying program fragments that can be precisely analyzed using abstract interpretation techniques.

Syllabus

[POPL'24] Monotonicity and the Precision of Program Analysis


Taught by

ACM SIGPLAN

Related Courses

Ethical Hacker: Pentest em SOs
Udemy
Building A Malicious Program Using Java (Ethical Hacking)
Udemy
Building A Professional Ransomware Attack Using Java
Udemy
Malware Analysis: Identifying and Defeating Code Obfuscation
Pluralsight
Asm2Vec - Boosting Static Representation Robustness for Binary Clone Search
IEEE via YouTube