== State of the Art <sec:bg-soa>

#import("4_1_static_analysis.typ")