Search results for c plus plus concolic execution