printf (“I should not reach here”);. abort();. } } Symbolic Execution. DART Approach. Concrete Execution. concrete state. symbolic state. constraints.
確定! 回上一頁