-
Notifications
You must be signed in to change notification settings - Fork 18
/
mkdocs.yml
173 lines (158 loc) · 4.57 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
# yaml-language-server: $schema=https://squidfunk.github.io/mkdocs-material/schema.json
# Project information
site_name: Codyze
site_url: https://www.codyze.io
site_author: Fraunhofer AISEC
site_description: Spotting flaws in C/C++, Java, Golang and Python code - automagically!
# Repository
repo_name: Fraunhofer-AISEC/codyze
repo_url: https://github.com/Fraunhofer-AISEC/codyze
edit_uri: edit/main/docs/
# Copyright
copyright: >
<p>
<a href="https://www.aisec.fraunhofer.de/en/data_protection.html">Privacy Policy</a>, <a href="#__consent">Change cookie settings</a>
</p>
Copyright © 2022 Fraunhofer AISEC
# Configuration
theme:
name: material
custom_dir: docs/theme-overrides
icon:
repo: fontawesome/brands/github
language: en
features:
- content.code.annotate
# - content.tabs.link
- content.tooltips
# - header.autohide
# - navigation.expand
# - navigation.indexes
# - navigation.instant
# - navigation.prune
# - navigation.sections
- navigation.tabs
# - navigation.tabs.sticky
# - navigation.indexes
- navigation.top
- navigation.tracking
- search.highlight
- search.share
- search.suggest
- toc.follow
# - toc.integrate
palette:
# Palette toggle for light mode
- media: "(prefers-color-scheme: light)"
scheme: light
toggle:
icon: material/brightness-7
name: Switch to dark mode
# Palette toggle for dark mode
- media: "(prefers-color-scheme: dark)"
scheme: slate
toggle:
icon: material/brightness-4
name: Switch to light mode
font: false
extra_css:
- stylesheets/extra.css
# Plugins
plugins:
- glightbox:
zoomable: true
- search
- minify:
minify_html: true
- git-revision-date-localized:
enable_creation_date: true
type: timeago
# Customization
extra:
social:
- icon: fontawesome/brands/github
link: https://github.com/Fraunhofer-AISEC
name: Visit us on GitHub to get involved.
- icon: fontawesome/solid/envelope
link: mailto:[email protected]
name: Email us about Codyze.
- icon: fontawesome/brands/twitter
link: https://twitter.com/FraunhoferAISEC
name: Follow Fraunhofer AISEC on Twitter.
consent:
title: Consent
description: >-
We use external services to enrich information presented on our website. This information is not essential
for the operation of this website. You can opt-in, if you want to see additional information. Your choice
will be saved in a cookie.
actions:
- reject
- accept
- manage
cookies:
github:
name: GitHub
checked: false
# Extensions
markdown_extensions:
- abbr
- admonition
- attr_list
- def_list
- footnotes
- meta
- md_in_html
- toc:
permalink: true
- pymdownx.arithmatex:
generic: true
- pymdownx.betterem:
smart_enable: all
- pymdownx.caret
- pymdownx.details
- pymdownx.emoji:
emoji_generator: !!python/name:materialx.emoji.to_svg
emoji_index: !!python/name:materialx.emoji.twemoji
- pymdownx.highlight:
anchor_linenums: true
- pymdownx.inlinehilite
- pymdownx.keys
- pymdownx.magiclink:
repo_url_shorthand: true
user: squidfunk
repo: mkdocs-material
- pymdownx.mark
- pymdownx.smartsymbols
- pymdownx.superfences:
custom_fences:
- name: mermaid
class: mermaid
format: !!python/name:pymdownx.superfences.fence_code_format
- pymdownx.tabbed:
alternate_style: true
- pymdownx.tasklist:
custom_checkbox: true
- pymdownx.tilde
nav:
- 'Home': index.md
- 'Documentation':
- 'Codyze':
- 'What is Codyze?': Codyze/index.md
- 'Redesign of Codyze': Codyze/why-v3.md
- 'Getting Started':
- 'Installing Codyze': Getting Started/installation.md
- 'Analyzing with Codyze': Getting Started/cli.md
- 'Configuring Codyze': Getting Started/configuration.md
- 'Write Coko Policies':
- 'What is Coko?': Coko/index.md
- 'Modelling APIs with Coko': Coko/modelling.md
- 'Coko Rules': Coko/rules.md
- 'Use Analysis Plugins':
- 'Overview': Plugins/index.md
- 'PMD Plugin': Plugins/PMD.md
- 'FindSecBugs Plugin': Plugins/FindSecBugs.md
- 'Contributing':
- 'Contributing to Codyze': contributors/index.md
- 'Building the project': contributors/code.md
- 'How to Contribute?': contributors/CONTRIBUTING.md
- "<p>API <i class='fa-solid fa-arrow-up-right-from-square'></i></p>": api/codyze" target="_blank