An Opinionated Overview on Static Analysis for Java
Offered By: Java via YouTube
Course Description
Overview
Explore an in-depth overview of static analysis for Java in this conference talk from the JVM Language Summit. Dive into the complexities of whole-program points-to analysis, examining its various applications including call graph construction, security analysis, and program debugging. Learn about different analysis flavors, from sound to unsound, context-sensitive to flow-sensitive. Discover why static analysis for Java is more challenging than it appears, with a focus on often-overlooked concepts like reflection, JNI, and unsafe memory access. Gain insights into handling dynamic features without compromising analysis precision, illustrated through the static analysis framework developed for GraalVM Native Image. Examine real-world examples demonstrating both the successes and limitations of points-to analysis in proving whole-program properties crucial for optimizations and security analysis.
Syllabus
An Opinionated Overview on Static Analysis for Java #JVMLS
Taught by
Java
Related Courses
Netty Best Practices for Optimal PerformanceMeta via YouTube Gazelle-JNI: Offloading Spark SQL to Native Engines for Execution Acceleration
Databricks via YouTube Tracking App Behaviors With - Nothing Changed - Phone For Evasive Android Malware
Black Hat via YouTube Beyond JVM - How the Platform is Evolving for New Languages and Features
GOTO Conferences via YouTube Foreign Function and Memory API in Java 17 - Replacing JNI
Okta via YouTube