Ubuntu14.04下Loopus工具编译安装

Ubuntu14.04下Loopus工具编译安装 本文主要讨论loopus工具在Ubuntu14.04（64位）系统中的编译安装。 关于Loopus工具 一个用于计算C程序中函数循环上界分析和非递归函数复杂度分析的工具，基于llvm框架，依赖z3，由维也纳科技大学FORSYTE团队开发，链接：https://forsyte.at/software/loopus/ ，这里我们采用Source Cod

>>阅读原文<<