concolic execution

C