Ubuntu14.04下Loopus工具編譯安裝

Ubuntu14.04下Loopus工具編譯安裝 本文主要討論loopus工具在Ubuntu14.04（64位）系統中的編譯安裝。 關於Loopus工具 一個用於計算C程序中函數循環上界分析和非遞歸函數複雜度分析的工具，基於llvm框架，依賴z3，由維也納科技大學FORSYTE團隊開發，鏈接：https://forsyte.at/software/loopus/ ，這裏我們採用Source Cod

>>阅读原文<<