Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Expand file tree

/

mkdocs.yml

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
85 lines (73 loc) · 2.14 KB
/

mkdocs.yml

Copy path

File metadata and controls

85 lines (73 loc) · 2.14 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
site_name: ""
site_url: https://soot-oss.github.io/SootUp/
repo_url: https://github.com/soot-oss/SootUp/
edit_uri: edit/develop/docs/
nav:
- Getting Started:
- Installation: installation.md
- First Steps: getting-started.md
- Analysis Input: analysisinput.md
- Examples: examples.md
- Basics:
- Jimple IR: jimple.md
- Jimple Body: jimple-body.md
- Jimple Statements: jimple-stmts.md
- Jimple Types: jimple-types.md
- Jimple Values: jimple-values.md
- Advanced Topics:
- BodyInterceptors: bodyinterceptors.md
- TypeHierarchy: typehierarchy.md
- Callgraphs: callgraphs.md
- BuiltIn Analyses: builtin-analyses.md
- Code Property Graphs: codepropertygraphs.md
- How to..:
- Write a Dataflow analysis: write_analyses.md
- Incorporate Pointer Analysis: qilin.md
# - Modify a ControlFlowGraph: mutable_controlflowgraph.md
# - Modify a View: mutable_view.md
# - Implement a BodyInterceptor: body_interceptor.md
# - Implement an AnalysisTool: write_analysis_tool.md
# - From Prototype to Tool: tool_setup.md
- Misc & More:
- Announcements: announcement.md
- Design Decisions: whatsnew.md
- Migration Help: migrating.md
- Javadoc: api/index.html
- Troubleshooting & FAQ: faq.md
# - Based on SootUp: tools.md
theme:
name: material
logo: ./img/SootUpLogo.svg
favicon: ./img/icon.svg
palette:
primary: custom
custom_dir: ./docs/overrides
features:
- navigation.sections
extra_css:
- css/customizetheme.css
- css/hint.min.css
plugins:
- tooltips
- search
markdown_extensions:
- pymdownx.highlight:
linenums: true
use_pygments: true
extend_pygments_lang:
- name: jimple
lang: lspserver
options:
filetype: jimple
# the path of the jimplelsp.jar needs to be the same as in the gh-pages.yml workflow
lspcommand: "java -jar ./jimplelsp.jar"
- pymdownx.inlinehilite
- pymdownx.snippets
- pymdownx.superfences
- pymdownx.details
- admonition
- pymdownx.tabbed:
alternate_style: true
extra:
version:
provider: mike
Morty Proxy This is a proxified and sanitized view of the page, visit original site.