KLEE轉換非符號變量符號

Question

我怎樣才能轉換爲非符號變量在KLEE

Answer 1

（即變量未聲明的輸入程序象徵性的），以象徵性的你要麼需要顯式調用klee_make_symbolic()在輸入程序，或者你可以破解KLEE本身，以便它將一個變量視爲符號。沒有一種簡單/簡單的方法可以將非符號變量轉換爲符號變量，而不會發生一些黑客行爲。