symbolic-execution

Symbolic Execution 找到了我 94% 測試覆蓋率都漏掉的整數溢位

你的單元測試只檢查特定輸入。Symbolic execution 檢查所有可能的輸入。以下是它的運作原理、成本，以及從哪裡開始。