SCALE integriert die Semantik von Codestatements mit Codeausführungssequenzen auf der Grundlage von abstrakten Syntaxbäumen, um Schwachstellenmuster effektiv zu erfassen.
