exposejs/z3javascript

A JavaScript wrapper for Z3 containing support for regular expressions & capture groups

z3javascript's Issues

incomplete installation and failed installation with node versions > 10.23.2 (build error)

Hi,

first some information about my setup:

• clang version 9.0.1-12
• nvm with following node versions installed:
  • v8.17.0 (npm v6.13.4)
  • v10.23.2 (npm v6.14.10)
  • v12.20.1 (npm v6.14.10)
  • v14.15.4 (npm v6.14.10)
  • v15.8.0 (npm v7.5.1)

i tried installing z3javascript with all listed node versions but installation fails completely on versions > v10.23.2. This somehow happens when entering the ref dependency:

> [email protected] install /home/user/Documents/Testing/z3/node_modules/ref
> node-gyp rebuild

make: Entering directory '/home/user/Documents/Testing/z3/node_modules/ref/build'
  CXX(target) Release/obj.target/binding/src/binding.o
../src/binding.cc:17: warning: "__STDC_FORMAT_MACROS" redefined
   17 |   #define __STDC_FORMAT_MACROS
      | 
<command-line>: note: this is the location of the previous definition
../src/binding.cc: In function ‘Nan::NAN_METHOD_RETURN_TYPE {anonymous}::WriteObject(Nan::NAN_METHOD_ARGS_TYPE)’:
../src/binding.cc:222:43: error: no matching function for call to ‘v8::Value::BooleanValue()’
  222 |   bool persistent = info[3]->BooleanValue();
      |                                           ^

[SOME MORE ERRORS...]

make: *** [binding.target.mk:111: Release/obj.target/binding/src/binding.o] Error 1
make: Leaving directory '/home/user/Documents/Testing/z3/node_modules/ref/build'
gyp ERR! build error 
gyp ERR! stack Error: `make` failed with exit code: 2
gyp ERR! stack     at ChildProcess.onExit (/home/user/.nvm/versions/node/v14.15.4/lib/node_modules/npm/node_modules/node-gyp/lib/build.js:194:23)
gyp ERR! stack     at ChildProcess.emit (events.js:315:20)
gyp ERR! stack     at Process.ChildProcess._handle.onexit (internal/child_process.js:277:12)
gyp ERR! System Linux 5.8.0-44-generic
gyp ERR! command "/home/user/.nvm/versions/node/v14.15.4/bin/node" "/home/user/.nvm/versions/node/v14.15.4/lib/node_modules/npm/node_modules/node-gyp/bin/node-gyp.js" "rebuild"
gyp ERR! cwd /home/user/Documents/Testing/z3/node_modules/ref
gyp ERR! node -v v14.15.4
gyp ERR! node-gyp -v v5.1.0
gyp ERR! not ok 
npm WARN enoent ENOENT: no such file or directory, open '/home/user/Documents/Testing/z3/package.json'
npm WARN z3 No description
npm WARN z3 No repository field.
npm WARN z3 No README data
npm WARN z3 No license field.

npm ERR! code ELIFECYCLE
npm ERR! errno 1
npm ERR! [email protected] install: `node-gyp rebuild`
npm ERR! Exit status 1
npm ERR! 
npm ERR! Failed at the [email protected] install script.
npm ERR! This is probably not a problem with npm. There is likely additional logging output above.

npm ERR! A complete log of this run can be found in:
npm ERR!     /home/user/.npm/_logs/2021-02-27T14_08_03_105Z-debug.log

However, installing with node versions v10.23.2 and v8.17.0 finishes without an error but the installation is incomplete. The folder node_modules/z3javascript/bin/ only includes the following files:

libz3.so    z3_bindings_built.js  z3_bindings_ref.js       z3.json
package.js  z3_bindings_flat      z3_bindings_stripped.js

Context.js, Solver.js etc. are completely missing :(

Test failed

Hi, when I tried to run the command:

expoSE replay

I get the following error:
`/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/dynamic_library.js:112
throw new Error('Dynamic Symbol Retrieval Error: ' + this.error())
^

Error: Dynamic Symbol Retrieval Error: node: undefined symbol: Z3_global_param_set
at DynamicLibrary.get (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/dynamic_library.js:112:11)
at /home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/library.js:50:19
at Array.forEach ()
at Object.Library (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/ffi/lib/library.js:47:28)
at _default (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/z3javascript/bin/package.js:762:28)
at Object. (/home/moran/workspace/js-analysis/ExpoSE-master/Analyser/node_modules/z3javascript/bin/Z3Loader.js:17:40)
at Module._compile (module.js:653:30)
at Object.Module._extensions..js (module.js:664:10)
at Module.load (module.js:566:32)
at tryModuleLoad (module.js:506:12)
`
Could you please give me a hand ?