Skip to content

Commit a1a0005

Browse files
pdschubertpdschubert
committed
.
0 parents  commit a1a0005

File tree

639 files changed

+165101
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

639 files changed

+165101
-0
lines changed

‎.clang-format

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
BasedOnStyle: LLVM

‎.clang-tidy

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
Checks: '-*,clang-diagnostic-*,llvm-*,misc-*,-misc-unused-parameters,readability-identifier-naming'
2+
CheckOptions:
3+
- key: readability-identifier-naming.ClassCase
4+
value: CamelCase
5+
- key: readability-identifier-naming.EnumCase
6+
value: CamelCase
7+
- key: readability-identifier-naming.FunctionCase
8+
value: camelBack
9+
- key: readability-identifier-naming.MemberCase
10+
value: CamelCase
11+
- key: readability-identifier-naming.ParameterCase
12+
value: CamelCase
13+
- key: readability-identifier-naming.UnionCase
14+
value: CamelCase
15+
- key: readability-identifier-naming.VariableCase
16+
value: CamelCase

‎.dockerignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
./docker

‎.gitignore

Lines changed: 132 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,132 @@
1+
##### ignored directories
2+
3+
# bin/ directory
4+
bin/*
5+
6+
# build directory for cmake
7+
build/
8+
9+
# external git submodules
10+
external/*
11+
12+
# obj/ directory
13+
obj/
14+
15+
# doc/ directory
16+
doc/*
17+
18+
# log/ directory
19+
log/*
20+
21+
# CMake build dir
22+
build/*
23+
24+
# MS VS Code
25+
.vscode/*
26+
27+
# Eclipse
28+
.cproject
29+
.project
30+
.settings/*
31+
.pydevproject
32+
33+
# CLion
34+
.idea/*
35+
36+
##### ignored files
37+
38+
# dot files
39+
*.dot
40+
41+
# ignore all auto-generated LLVM IR code
42+
*.ll
43+
44+
# auto generated test files
45+
*.test
46+
47+
# ignore all auto-generated compile command and symbol databases
48+
compile_commands.json
49+
find_all_symbols_db.yaml
50+
51+
# ignore all auto-generated dot files
52+
*.dot
53+
54+
# ignore all database files that the framework may creates
55+
*.db
56+
*.db3
57+
*.s3db
58+
*.sqlite
59+
*.sqlite3
60+
61+
# dot files
62+
*.dot
63+
64+
# temporary files
65+
*.*~
66+
*.dwo
67+
68+
# Header dependency files
69+
*.d
70+
71+
# Object files
72+
*.slo
73+
*.lo
74+
*.o
75+
*.obj
76+
*.ko
77+
*.obj
78+
*.elf
79+
80+
# Precompiled Headers
81+
*.gch
82+
*.pch
83+
84+
# Libraries
85+
*.lib
86+
*.a
87+
*.la
88+
*.lo
89+
90+
# Shared objects (inc. Windows DLLs)
91+
*.dll
92+
*.so
93+
*.so.*
94+
*.dylib
95+
96+
# Executables
97+
*.exe
98+
*.out
99+
*.app
100+
*.i*86
101+
*.x86_64
102+
*.hex
103+
104+
# Debug files
105+
*.dSYM/
106+
*.su
107+
108+
# Emacs convenience metadata
109+
TAGS
110+
111+
# config files
112+
compiler_info.txt
113+
standard_header_paths.conf
114+
115+
# CMake temporary files
116+
CMakeFiles
117+
CMakeCache.txt
118+
*.cmake
119+
!cmake/*.cmake
120+
*.pc
121+
Makefile
122+
!test/*/Makefile
123+
124+
# Unit test output
125+
Testing/
126+
unittests/DB/DBConnTest
127+
unittests/PhasarLLVM/ControlFlow/LLVMBasedCFGTest
128+
unittests/PhasarLLVM/ifdside/Problems/IFDSConstAnalysisTest
129+
unittests/PhasarLLVM/ifdside/Problems/IFDSTaintAnalysisTest
130+
unittests/PhasarLLVM/Pointer/LLVMTypeHierarchyTest
131+
unittests/Utils/LLVMShorthandsTest
132+
unittests/Utils/PAMMTest

‎.gitlab-ci.yml

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
image: debian:sid-slim
2+
3+
stages:
4+
- build
5+
6+
# install the necessary build tools
7+
before_script:
8+
- 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
9+
- export PATH="/usr/lib/llvm-5.0/bin:$PATH"
10+
- git submodule update --init --recursive
11+
12+
build:
13+
stage: build
14+
# build all interesting targets
15+
script:
16+
- mkdir -p build
17+
- cd build
18+
- echo "checking RAM"
19+
- cat /proc/meminfo
20+
- echo "checking CPU(s)"
21+
- cat /proc/cpuinfo
22+
- cmake -DBUILD_SHARED_LIBS=OFF -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DPHASAR_BUILD_UNITTESTS=ON -DPHASAR_BUILD_DOC=ON ..
23+
- make -j4
24+
# - run-clang-tidy.py
25+
# Fix the unit tests first
26+
# - make test
27+
only:
28+
- master
29+
- develop
30+
- restructure
31+
tags:
32+
- shared
33+
# save the documentation and binary
34+
artifacts:
35+
name: "PhasarFramework-$CI_BUILD_ID-$CI_BUILD_REF"
36+
expire_in: 1 week
37+
paths:
38+
- build/docs/*
39+
- build/phasar
40+
# depending on the build setup it's a good idea to cache outputs to reduce the build time
41+
cache:
42+
paths:
43+
- build/lib/

‎.gitmodules

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
[submodule "lib/json"]
2+
path = external/json
3+
url = https://github.com/nlohmann/json.git
4+
ignore = dirty
5+
[submodule "lib/googletest"]
6+
path = external/googletest
7+
url = https://github.com/google/googletest.git

‎CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
This is a changelog!

0 commit comments

Comments
 (0)