.

.clang-format

@@ -0,0 +1 @@
+BasedOnStyle: LLVM

.clang-tidy

@@ -0,0 +1,16 @@
+Checks: '-*,clang-diagnostic-*,llvm-*,misc-*,-misc-unused-parameters,readability-identifier-naming'
+CheckOptions:
+  - key:             readability-identifier-naming.ClassCase
+    value:           CamelCase
+  - key:             readability-identifier-naming.EnumCase
+    value:           CamelCase
+  - key:             readability-identifier-naming.FunctionCase
+    value:           camelBack
+  - key:             readability-identifier-naming.MemberCase
+    value:           CamelCase
+  - key:             readability-identifier-naming.ParameterCase
+    value:           CamelCase
+  - key:             readability-identifier-naming.UnionCase
+    value:           CamelCase
+  - key:             readability-identifier-naming.VariableCase
+    value:           CamelCase

.dockerignore

@@ -0,0 +1 @@
+./docker

.gitignore

@@ -0,0 +1,132 @@
+##### ignored directories
+
+# bin/ directory
+bin/*
+
+# build directory for cmake
+build/
+
+# external git submodules
+external/*
+
+# obj/ directory
+obj/
+
+# doc/ directory
+doc/*
+
+# log/ directory
+log/*
+
+# CMake build dir
+build/*
+
+# MS VS Code
+.vscode/*
+
+# Eclipse
+.cproject
+.project
+.settings/*
+.pydevproject
+
+# CLion
+.idea/*
+
+##### ignored files
+
+# dot files
+*.dot
+
+# ignore all auto-generated LLVM IR code
+*.ll
+
+# auto generated test files
+*.test
+
+# ignore all auto-generated compile command and symbol databases
+compile_commands.json
+find_all_symbols_db.yaml
+
+# ignore all auto-generated dot files
+*.dot
+
+# ignore all database files that the framework may creates
+*.db
+*.db3
+*.s3db
+*.sqlite
+*.sqlite3
+
+# dot files
+*.dot
+
+# temporary files
+*.*~
+*.dwo
+
+# Header dependency files
+*.d
+
+# Object files
+*.slo
+*.lo
+*.o
+*.obj
+*.ko
+*.obj
+*.elf
+
+# Precompiled Headers
+*.gch
+*.pch
+
+# Libraries
+*.lib
+*.a
+*.la
+*.lo
+
+# Shared objects (inc. Windows DLLs)
+*.dll
+*.so
+*.so.*
+*.dylib
+
+# Executables
+*.exe
+*.out
+*.app
+*.i*86
+*.x86_64
+*.hex
+
+# Debug files
+*.dSYM/
+*.su
+
+# Emacs convenience metadata
+TAGS
+
+# config files
+compiler_info.txt
+standard_header_paths.conf
+
+# CMake temporary files
+CMakeFiles
+CMakeCache.txt
+*.cmake
+!cmake/*.cmake
+*.pc
+Makefile
+!test/*/Makefile
+
+# Unit test output
+Testing/
+unittests/DB/DBConnTest
+unittests/PhasarLLVM/ControlFlow/LLVMBasedCFGTest
+unittests/PhasarLLVM/ifdside/Problems/IFDSConstAnalysisTest
+unittests/PhasarLLVM/ifdside/Problems/IFDSTaintAnalysisTest
+unittests/PhasarLLVM/Pointer/LLVMTypeHierarchyTest
+unittests/Utils/LLVMShorthandsTest
+unittests/Utils/PAMMTest

.gitlab-ci.yml

@@ -0,0 +1,43 @@
+image: debian:sid-slim
+
+stages:
+  - build
+
+# install the necessary build tools 
+before_script: 
+  - apt update && apt-get install -y clang-5.0 libclang-5.0-dev llvm-5.0 libboost1.62-all-dev sqlite3 libsqlite3-dev bear python3 git cmake zlib1g-dev libncurses5-dev graphviz doxygen libcurl4-gnutls-dev libboost1.62-dev libboost-dev libmysqlcppconn-dev
+  - export PATH="/usr/lib/llvm-5.0/bin:$PATH"
+  - git submodule update --init --recursive
+
+build:
+  stage: build
+  # build all interesting targets
+  script: 
+    - mkdir -p build
+    - cd build
+    - echo "checking RAM"
+    - cat /proc/meminfo
+    - echo "checking CPU(s)"
+    - cat /proc/cpuinfo
+    - cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DPHASAR_BUILD_UNITTESTS=ON -DPHASAR_BUILD_DOC=ON ..
+    - make -j4
+    # - run-clang-tidy.py 
+# Fix the unit tests first 
+#    - make test
+  only:
+    - master
+    - develop
+    - restructure
+  tags:
+    - shared
+  # save the documentation and binary
+  artifacts:
+    name: "PhasarFramework-$CI_BUILD_ID-$CI_BUILD_REF"
+    expire_in: 1 week
+    paths:
+      - build/docs/*
+      - build/phasar
+  # depending on the build setup it's a good idea to cache outputs to reduce the build time
+  cache:
+    paths:
+      - build/lib/

.gitmodules

@@ -0,0 +1,7 @@
+[submodule "lib/json"]
+	path = external/json
+	url = https://github.com/nlohmann/json.git
+	ignore = dirty
+[submodule "lib/googletest"]
+	path = external/googletest
+	url = https://github.com/google/googletest.git

CHANGELOG.md

@@ -0,0 +1 @@
+This is a changelog!