DASA (Differentiable Abstract Symbolic Analyzer) ist eine optimierungsgetriebene Engine für symbolische Programmanalyse. Anstatt Pfade mit klassischen Constraint-Solvern zu steuern, exportiert DASA das System under Test (SuT) als Funktionsgraph: Jeder Knoten entspricht einer Funktion, die als kompakte mathematische Abbildung modelliert wird. Auf dieser Repräsentation führt DASA ML-ähnliche Optimierungsverfahren aus, um Eingaben zu finden, die neue Pfade, Zustände oder Zielbedingungen erreichen.