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/问题中发布了它，但我不确定这个项目有多活跃。也许这里的其他用户可以提供帮助？谢谢

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
...