DASA (Differentiable Abstract Symbolic Analyzer) is an optimization-driven engine for symbolic program analysis. Instead of controlling execution paths with traditional constraint solvers, DASA exports the System under Test (SuT) as a function graph: each node corresponds to a function that is modeled as a compact mathematical mapping. On this representation, DASA applies ML-like optimization techniques to discover inputs that lead to new paths, states, or target conditions.