JackKuo's Blog

使用效能關鍵變數配合符號執行打造出效能合約，在不用實際執行 NF 的狀況下，即可精準的描述 NF 的效能表現。透過 BOLT 工具，只要給出 NF 的程式碼，配合預先分析好的 NF 有狀態函式庫，就可以產生合約。