#Symbolic Execution

symbolic execution & z3 solver

symbolic execution 在論文最後的report 中，嘗試去添加 path constraint，得以進一步讓使用者更清晰的顯示 colect table 里相同 stmt 分支 模糊的地帶 因為 gimpler ir 有可能會有相同的 gimple stmt 名稱 可能要等最終論文發表後才可以公布我目前的程式碼，我的論文主要是實做一個靜態分析器去檢測memory…