New Explainer Video “OPAL Framework for Static Code Analysis”


Highly configurable and scalable Static Code Analysis

OPAL is a next-generation, highly configurable and scalable static analysis platform that supports developers in systematically choosing the best tradeoffs between precision, soundness and performance of static analyses. It does so by hosting a wide and extensible collection of modular analyses modules that can be automatically composed in a case-by-case manner to collaboratively reason about a particular software at hand. OPAL manages the execution of analysis modules and adjusts it as needed for scalability.

For more information visit

Recommended external content

We have selected external content from YouTube for you and would like to show it to you right here. To do this, you must reveal it with one click. You can hide the external content at any time with another click.

I agree to external content from YouTube being shown to me. This may result in personal data being transmitted to third-party platforms. You can find more information in our Privacy Policy.

Video: Wienke Schumacher