ELINA 静态分析仪

Question

我正在尝试使用ELINA的数值静态分析器， 当我尝试运行他们的八角形示例时，我遇到了以下问题。 这是我所做的：

$ git clone https://github.com/eth-sri/ELINA.git
$ cd ELINA
$ ./configure
$ make
$ cd elina_oct
$ ./elina_test_oct

然后我得到以下错误：

./elina_test_oct: error while loading shared libraries: libelinaux.so: cannot open shared object file: No such file or directory

我已将其发布在他们的GitHub/Issues 但我不确定 这个项目有多活跃。也许这里的其他一些用户可以提供帮助？ 谢谢！

Answer 1

好的，这就是解决它的方法：

 $ LD_LIBRARY_PATH=/usr/local/lib ./elina_oct/elina_test_oct 3 8

然后它输出这个：

Testing Meet
8
array of constraints of size 8
 0: x1 + x0 + 5 >= 0
 1: -x0 + x1 = 0
 2: -x2 - x1 + 2 >= 0
 3: x2 - x0 = 0
 4: -x1 - x2 + 8 = 0
 5: -x0 + x1 + 2 >= 0
 6: -x0 + x2 + 8 >= 0
 7: x2 - x0 + 1 = 0
...