JavaScript符號執行是指在執行JavaScript程序時，通過對變量的符號表示進行計算，而非具體的數值，來推斷和預測程序的行為。因此，與傳統的代碼執行方式不同，符號執行可以有效地發現和防范代碼中的漏洞和錯誤。

例如，以下是一個簡單的JavaScript程序：

let x = Math.floor(Math.random()*10);
if (x >5) {
console.log("x is greater than 5!");
} else {
console.log("x is less than or equal to 5!");
}

在傳統的執行方式下，程序將生成一個從0到9的隨機數賦值給變量x，然后根據x的值輸出相應的信息。但是，在符號執行中，我們不是根據x的具體值，而是根據它的符號推斷程序的行為。

我們可以使用數學上的符號表示來表示變量x，例如x >5表示x大于5，x<= 5表示x小于等于5。由于x是一個隨機數，因此我們無法確定它的具體值，但是我們可以確定它的符號。在這個例子中，我們可以得出以下結論：

• 如果x >5，程序將輸出"x is greater than 5!"
• 如果x<= 5，程序將輸出"x is less than or equal to 5!"

這個簡單的例子中，我們可以輕松地推斷程序的行為，但是在實際的應用中，程序可能會更加復雜，存在大量的條件語句和循環語句。在這種情況下，使用符號執行可以幫助我們有效地發現錯誤和漏洞。

以下是一個使用符號執行發現漏洞的例子：

let x = Math.floor(Math.random()*10);
let y = Math.floor(Math.random()*10);
if (x + y >20) {
console.log("The sum is greater than 20!");
} else {
console.log("The sum is less than or equal to 20!");
}

在這個例子中，我們生成兩個隨機數x和y，并計算它們的和。如果和大于20，程序將輸出"The sum is greater than 20!"，否則輸出"The sum is less than or equal to 20!"。

但是，在符號執行中，我們需要考慮所有可能的情況。例如，如果x和y都是10，則和為20，程序將輸出"The sum is less than or equal to 20!"。但是，如果我們認為x和y小于10，則和的最大值是19，程序將輸出"The sum is less than or equal to 20!"。但是，如果我們認為x和y大于10，則和的最小值是11，程序將輸出"The sum is greater than 20!"。

因此，在這個例子中，程序存在一個漏洞，即當x和y相加等于20時，程序將輸出"The sum is less than or equal to 20!"，而不是"The sum is greater than 20!"。這個錯誤可以通過使用符號執行來發現和修復。

總之，JavaScript符號執行是一種強大的工具，可以幫助我們有效地發現和防范代碼中的漏洞和錯誤。雖然它需要更多的計算資源和時間，但可以提高程序的可靠性和安全性。