Concolic Analysis

A mix between Symbolic Execution and Concrete Execution.

Execute what you can concretely, and use symbolic execution for certain segments