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