Merge branch 'development' into master_github

Author: pdschubert

.dockerignore

@@ -1,2 +1,2 @@
 ./docker
-./build
+./build

.github/ISSUE_TEMPLATE/bug_report.md

@@ -46,7 +46,7 @@ Describe here the issue that you are experiencing.
 
 <!-- Which build-* script are you using for the build? -->
 
-**Build Type:** 
+**Build Type:**
   - [ ] cmake
   - [ ] custom build
 

.github/workflows/ci.yml

@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        compiler: [ [clang++-13, clang-13] ]
+        compiler: [ [clang++-14, clang-14] ]
         build: [ Debug, Release ]
 
     continue-on-error: false
@@ -42,16 +42,16 @@ jobs:
         shell: bash
         run: |
           sudo apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key
-          sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main'
+          sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main'
           sudo apt-get update
           sudo apt-get -y install --no-install-recommends \
               ${{ matrix.compiler[1] }} \
-              llvm-13-dev \
-              libllvm13 \
-              libclang-common-13-dev \
-              libclang-13-dev \
-              libclang-cpp13-dev \
-              clang-tidy-13
+              llvm-14-dev \
+              libllvm14 \
+              libclang-common-14-dev \
+              libclang-14-dev \
+              libclang-cpp14-dev \
+              clang-tidy-14
 
       - name: Building Phasar in ${{ matrix.build }} with ${{ matrix.compiler[0] }}
         env:

.github/workflows/reviewdog-clang-format.yml

@@ -15,11 +15,11 @@ jobs:
           - tool: clang-format
             install: |
               sudo apt-key adv --fetch-keys https://apt.llvm.org/llvm-snapshot.gpg.key
-              sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main'
+              sudo add-apt-repository -y 'deb http://apt.llvm.org/focal/ llvm-toolchain-focal-14 main'
               sudo apt-get update
-              sudo apt-get -y install --no-install-recommends clang-format-13
+              sudo apt-get -y install --no-install-recommends clang-format-14
             regex: \.(h|c|hpp|cpp)$
-            command: clang-format-13 --style=file -i
+            command: clang-format-14 --style=file -i
 
     continue-on-error: false
     steps:

.gitlab-ci.yml

@@ -3,14 +3,14 @@ image: pdschbrt/phasar-build-environment:latest
 stages:
   - build
 
-# install the necessary build tools 
-before_script: 
+# install the necessary build tools
+before_script:
   - git submodule update --init --recursive
-  
+
 build:
   stage: build
   # build all interesting targets
-  script: 
+  script:
     - mkdir -p build
     - cd build
     - echo "checking RAM"

.pre-commit-config.yaml

@@ -2,14 +2,14 @@
 # See https://pre-commit.com/hooks.html for more hooks
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v2.4.0
+    rev: v4.3.0
     hooks:
     -   id: trailing-whitespace
     -   id: end-of-file-fixer
     -   id: check-yaml
     -   id: check-added-large-files
     -   id: requirements-txt-fixer
 -   repo: https://github.com/pre-commit/mirrors-clang-format
-    rev: 'v13.0.0'
+    rev: 'v14.0.6'
     hooks:
     -   id: clang-format

.travis.yml

@@ -109,8 +109,10 @@ include_directories(
 
 set(PHASAR_INSTALL_LIBDIR ${CMAKE_INSTALL_LIBDIR}/phasar)
 
-set(CMAKE_INSTALL_RPATH ${CMAKE_INSTALL_PREFIX}/${PHASAR_INSTALL_LIBDIR})
-set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
+if (NOT PHASAR_IN_TREE)
+  set(CMAKE_INSTALL_RPATH ${CMAKE_INSTALL_PREFIX}/${PHASAR_INSTALL_LIBDIR})
+  set(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
+endif()
 
 if (LLVM_ENABLE_LIBCXX)
   set(PHASAR_STD_FILESYSTEM c++fs)
@@ -123,8 +125,8 @@ endif()
 find_package(Threads)
 
 # Boost
-find_package(Boost 1.65.1 COMPONENTS filesystem graph system program_options log ${BOOST_THREAD} REQUIRED)
-#find_package(Boost 1.72.0 COMPONENTS filesystem graph system program_options log ${BOOST_THREAD} REQUIRED)
+find_package(Boost 1.65.1 COMPONENTS graph program_options ${BOOST_THREAD} REQUIRED)
+#find_package(Boost 1.72.0 COMPONENTS graph program_options ${BOOST_THREAD} REQUIRED)
 include_directories(${Boost_INCLUDE_DIRS})
 
 # Disable clang-tidy for the external projects
@@ -179,7 +181,7 @@ include_directories(${SQLITE3_INCLUDE_DIR})
 # LLVM
 if (NOT PHASAR_IN_TREE)
   # Only search for LLVM if we build out of tree
-  find_package(LLVM 13 REQUIRED CONFIG)
+  find_package(LLVM 14 REQUIRED CONFIG)
   include_directories(${LLVM_INCLUDE_DIRS})
   link_directories(${LLVM_LIB_PATH} ${LLVM_LIBRARY_DIRS})
 endif()
@@ -288,8 +290,6 @@ llvm_map_components_to_libnames(llvm_libs
 # phasar-based binaries
 add_subdirectory(tools)
 
-set(PHASAR_PLUGINS_LIB phasar_plugins)
-
 # Add Phasar unittests and build all IR test code
 if (PHASAR_BUILD_UNITTESTS)
   message("Phasar unittests")
@@ -406,10 +406,7 @@ set(CPACK_SOURCE_PACKAGE_FILE_NAME "${CMAKE_PROJECT_NAME}_${MAJOR_VERSION}.${MIN
 # better use autogenerated dependency information
 set(CPACK_DEBIAN_PACKAGE_SHLIBDEPS ON)
 # set(CPACK_DEBIAN_PACKAGE_DEPENDS "libboost_program_options (>= 1.66.0),
-#                                   libboost_filesystem (>= 1.66.0),
 #                                   libboost_graph (>= 1.66.0),
-#                                   libboost_system (>= 1.66.0),
-#                                   libboost_log (>= 1.66.0),
 #                                   libboost_thread (>= 1.66.0),
 #                                   libsqlite3 (>= 4.5.0),
 #                                   libpthread (>= 4.5.0),

CMakeLists.txt

@@ -1,17 +1,17 @@
 Coding Guidelines
 =================
 
-In order to unify the look and feel of the Phasar code base, code should be 
+In order to unify the look and feel of the Phasar code base, code should be
 written according to the LLVM coding guidelines wherever possible. The LLVM
 coding guidelines can be here:
 
 	https://llvm.org/docs/CodingStandards.html
 
-In addition, the pre-commit script in githooks/ has to be copied into the 
+In addition, the pre-commit script in githooks/ has to be copied into the
 ./git/hooks/ directory:
 
 	$ cp githooks/pre-commit .git/hooks/
 
 The script will run some useful clang-tidy checks as well as clang-format over
 the entire code base just before your changes are committed in order to reduce
-the number of unnecessary merge conflicts and to unify the code base. 
+the number of unnecessary merge conflicts and to unify the code base.

CODING_GUIDELINES.txt

@@ -28,7 +28,7 @@ A reviewer may request changes or ask questions during the review. If you are un
 Please remember that you are asking for valuable time from other professional developers.
 
 ## Please Help Us to Improve Phasar
-If you are using PhASAR without the wish or expertise to contribute to its code base, you can still help us by providing valuable feedback using this [web from](https://docs.google.com/forms/d/e/1FAIpQLScUXZcdXZe1rY8VxUKjXhTtrsNX5TysNUO4yD8-gaIHiqqWTQ/viewform). Please also refer to [Contributing to PhASAR](https://github.com/secure-software-engineering/phasar/wiki/Contributing-to-PhASAR). 
+If you are using PhASAR without the wish or expertise to contribute to its code base, you can still help us by providing valuable feedback using this [web from](https://docs.google.com/forms/d/e/1FAIpQLScUXZcdXZe1rY8VxUKjXhTtrsNX5TysNUO4yD8-gaIHiqqWTQ/viewform). Please also refer to [Contributing to PhASAR](https://github.com/secure-software-engineering/phasar/wiki/Contributing-to-PhASAR).
 
 Thanks for contributing to the PhASAR project.