├── .eslintrc.json ├── .gitattributes ├── .gitignore ├── .prettierignore ├── .prettierrc ├── .vscode ├── extensions.json ├── launch.json ├── settings.json └── tasks.json ├── .vscodeignore ├── CHANGELOG.md ├── CODEOWNERS ├── DEV.md ├── LICENSE ├── README.md ├── extension-icon.png ├── package.json ├── resources ├── analyze-dark.svg ├── analyze-light.svg ├── check-dark.svg ├── check-light.svg ├── clear-dark.svg ├── clear-light.svg ├── detectors-toggle-dark.svg ├── detectors-toggle-light.svg ├── explorer-result-blank.svg ├── explorer-result-oos-dark.svg ├── explorer-result-oos-light.svg ├── jquery-3.6.0.min.js ├── log.configuration.json ├── refresh-dark.svg ├── refresh-light.svg ├── screenshot.png ├── severity-high-dark.svg ├── severity-high-light.svg ├── severity-info-dark.svg ├── severity-info-light.svg ├── severity-low-dark.svg ├── severity-low-light.svg ├── severity-medium-dark.svg ├── severity-medium-light.svg ├── slither-output.tmLanguage ├── solidity.tmGrammar.json ├── tree-mode-dark.svg ├── tree-mode-light.svg └── viewsContainer-icon.png ├── src ├── extension.ts ├── slitherLanguageClient.ts ├── state.ts ├── test │ ├── e2e │ │ ├── index.ts │ │ └── slither-vscode.test.ts │ └── runTest.ts ├── types │ ├── analysisTypes.ts │ ├── configTypes.ts │ └── languageServerTypes.ts ├── utils │ ├── common.ts │ └── logger.ts └── views │ └── settings │ ├── settings.css │ ├── settings.html │ ├── settings.js │ ├── settingsViewProvider.ts │ └── vscode.css └── tsconfig.json /.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.eslintrc.json -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.gitignore -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- 1 | out 2 | .vscode-test 3 | node_modules -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- 1 | {} 2 | -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/.vscodeignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @broccolirob 2 | * @Xenomega 3 | -------------------------------------------------------------------------------- /DEV.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/DEV.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/README.md -------------------------------------------------------------------------------- /extension-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/extension-icon.png -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/package.json -------------------------------------------------------------------------------- /resources/analyze-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/analyze-dark.svg -------------------------------------------------------------------------------- /resources/analyze-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/analyze-light.svg -------------------------------------------------------------------------------- /resources/check-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/check-dark.svg -------------------------------------------------------------------------------- /resources/check-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/check-light.svg -------------------------------------------------------------------------------- /resources/clear-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/clear-dark.svg -------------------------------------------------------------------------------- /resources/clear-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/clear-light.svg -------------------------------------------------------------------------------- /resources/detectors-toggle-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/detectors-toggle-dark.svg -------------------------------------------------------------------------------- /resources/detectors-toggle-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/detectors-toggle-light.svg -------------------------------------------------------------------------------- /resources/explorer-result-blank.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/explorer-result-blank.svg -------------------------------------------------------------------------------- /resources/explorer-result-oos-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/explorer-result-oos-dark.svg -------------------------------------------------------------------------------- /resources/explorer-result-oos-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/explorer-result-oos-light.svg -------------------------------------------------------------------------------- /resources/jquery-3.6.0.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/jquery-3.6.0.min.js -------------------------------------------------------------------------------- /resources/log.configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/log.configuration.json -------------------------------------------------------------------------------- /resources/refresh-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/refresh-dark.svg -------------------------------------------------------------------------------- /resources/refresh-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/refresh-light.svg -------------------------------------------------------------------------------- /resources/screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/screenshot.png -------------------------------------------------------------------------------- /resources/severity-high-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-high-dark.svg -------------------------------------------------------------------------------- /resources/severity-high-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-high-light.svg -------------------------------------------------------------------------------- /resources/severity-info-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-info-dark.svg -------------------------------------------------------------------------------- /resources/severity-info-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-info-light.svg -------------------------------------------------------------------------------- /resources/severity-low-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-low-dark.svg -------------------------------------------------------------------------------- /resources/severity-low-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-low-light.svg -------------------------------------------------------------------------------- /resources/severity-medium-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-medium-dark.svg -------------------------------------------------------------------------------- /resources/severity-medium-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/severity-medium-light.svg -------------------------------------------------------------------------------- /resources/slither-output.tmLanguage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/slither-output.tmLanguage -------------------------------------------------------------------------------- /resources/solidity.tmGrammar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/solidity.tmGrammar.json -------------------------------------------------------------------------------- /resources/tree-mode-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/tree-mode-dark.svg -------------------------------------------------------------------------------- /resources/tree-mode-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/tree-mode-light.svg -------------------------------------------------------------------------------- /resources/viewsContainer-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/resources/viewsContainer-icon.png -------------------------------------------------------------------------------- /src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/extension.ts -------------------------------------------------------------------------------- /src/slitherLanguageClient.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/slitherLanguageClient.ts -------------------------------------------------------------------------------- /src/state.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/state.ts -------------------------------------------------------------------------------- /src/test/e2e/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/test/e2e/index.ts -------------------------------------------------------------------------------- /src/test/e2e/slither-vscode.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/test/e2e/slither-vscode.test.ts -------------------------------------------------------------------------------- /src/test/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/test/runTest.ts -------------------------------------------------------------------------------- /src/types/analysisTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/types/analysisTypes.ts -------------------------------------------------------------------------------- /src/types/configTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/types/configTypes.ts -------------------------------------------------------------------------------- /src/types/languageServerTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/types/languageServerTypes.ts -------------------------------------------------------------------------------- /src/utils/common.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/utils/common.ts -------------------------------------------------------------------------------- /src/utils/logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/utils/logger.ts -------------------------------------------------------------------------------- /src/views/settings/settings.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/views/settings/settings.css -------------------------------------------------------------------------------- /src/views/settings/settings.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/views/settings/settings.html -------------------------------------------------------------------------------- /src/views/settings/settings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/views/settings/settings.js -------------------------------------------------------------------------------- /src/views/settings/settingsViewProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/views/settings/settingsViewProvider.ts -------------------------------------------------------------------------------- /src/views/settings/vscode.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/src/views/settings/vscode.css -------------------------------------------------------------------------------- /tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/crytic/contract-explorer/HEAD/tsconfig.json --------------------------------------------------------------------------------