On Mac platforms, clients running Flex Net Publisher version 11.14.0.2 supported by earlier Klocwork 2017 releases cannot connect to the version 11.14.1.2 that the Klocwork 2017.3 License Server supports. Users will see an error similar to the following:

kwlef: Error: license is not valid: 
dlopen(/Library/Frameworks/KlocworkServer.framework/Versions/Current/lib/ix86-apple-macosx/libloccounter.dylib, 10): 
Symbol not found: _l_check_aladdin

Referenced from: /Library/Frameworks/KlocworkServer.framework/Versions/Current/lib/ix86-apple-macosx/libloccounter.dylib

Expected in: flat namespace
in /Library/Frameworks/KlocworkServer.framework/Versions/Current/lib/ix86-apple-macosx/libloccounter.dylib

kwlef: Info: caught signal 15

In Flex Net Publisher version 11.14.1.2, dongle support is extracted as a standalone library that needs to be included in the libloccounter.dylib library at build time.

Workaround

On the Klocwork 2017.3 Server, copy the libloccounter.dylib file from the <Klocwork-server-install>/lib/ix86-apple-macosx directory.
On the client, paste the file into the <Klocwork-install>/lib/ix86-apple-macosx directory to overwrite the old file with the new file.