Forward symbolic execution engine with path condition tracking, branch bifurcation, and …