New Explainer Video “OPAL Framework for Static Code Analysis”

2021/05/21

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 https://www.opal-project.de

Video: Wienke Schumacher