forked from CodeSentryAI/lockbud
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.gitmodules
More file actions
33 lines (33 loc) · 1.24 KB
/
Copy path.gitmodules
File metadata and controls
33 lines (33 loc) · 1.24 KB
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
[submodule "cpp-checker/cppcheck"]
path = cpp-checker/cppcheck
url = https://github.com/danmar/cppcheck.git
[submodule "go-checker/GFuzz"]
path = go-checker/GFuzz
url = https://github.com/Chain-Fox/GFuzz
[submodule "go-checker/GCatch"]
path = go-checker/GCatch
url = https://github.com/Chain-Fox/GCatch
[submodule "solidity-checker/slither"]
path = solidity-checker/slither
url = https://github.com/Chain-Fox/slither
[submodule "rust-checker/dynamic/ERASan"]
path = rust-checker/dynamic/ERASan
url = https://github.com/Chain-Fox/ERASan
[submodule "Cocoon-implementation"]
path = Cocoon-implementation
url = git@github.com:Chain-Fox/Cocoon-implementation.git
[submodule "rust-checker/static/MIRAI"]
path = rust-checker/static/MIRAI
url = https://github.com/Chain-Fox/MIRAI
[submodule "rust-checker/static/RAPx"]
path = rust-checker/static/RAPx
url = https://github.com/Chain-Fox/RAPx
[submodule "rust-checker/static/Rudra"]
path = rust-checker/static/Rudra
url = https://github.com/Chain-Fox/Rudra
[submodule "rust-checker/verifier/kani"]
path = rust-checker/verifier/kani
url = https://github.com/model-checking/kani.git
[submodule "rust-checker/dynamic/shuttle"]
path = rust-checker/dynamic/shuttle
url = https://github.com/Chain-Fox/shuttle