From 88a34b4a4a5db0d662f76037cd00efc42dd49677 Mon Sep 17 00:00:00 2001 From: aniket-engg Date: Tue, 8 Jun 2021 19:21:09 +0530 Subject: [PATCH] slither handle in ide --- apps/remix-ide/src/app/files/slither-handle.js | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 apps/remix-ide/src/app/files/slither-handle.js diff --git a/apps/remix-ide/src/app/files/slither-handle.js b/apps/remix-ide/src/app/files/slither-handle.js new file mode 100644 index 0000000000..f46fff66a3 --- /dev/null +++ b/apps/remix-ide/src/app/files/slither-handle.js @@ -0,0 +1,18 @@ +import { WebsocketPlugin } from '@remixproject/engine-web' +import * as packageJson from '../../../../../package.json' + +const profile = { + name: 'slither', + displayName: 'Slither', + url: 'ws://127.0.0.1:65523', + methods: [], + description: 'Using Remixd daemon, run slither static analysis', + kind: 'other', + version: packageJson.version +} + +export class SlitherHandle extends WebsocketPlugin { + constructor () { + super(profile) + } +}