├── .gitattributes ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── core ├── analyze.py ├── app.py ├── downloader.py ├── files │ └── prompts │ │ ├── prompt_builder.py │ │ └── prompts.json ├── netmap.py ├── prompt.py ├── property.py ├── runner.py ├── static │ ├── default.min.css │ ├── images │ │ ├── bloki.jpeg │ │ └── favicon.ico │ ├── js │ │ ├── components │ │ │ ├── dataHandlers.js │ │ │ ├── index.js │ │ │ ├── navigation.js │ │ │ ├── protocol_page.js │ │ │ ├── protocol_viz.js │ │ │ ├── ui.js │ │ │ └── utils.js │ │ ├── d3 │ │ │ └── d3.v7.js │ │ ├── editor │ │ │ ├── ace.js │ │ │ ├── ext-beautify.js │ │ │ ├── ext-code_lens.js │ │ │ ├── ext-command_bar.js │ │ │ ├── ext-elastic_tabstops_lite.js │ │ │ ├── ext-emmet.js │ │ │ ├── ext-error_marker.js │ │ │ ├── ext-hardwrap.js │ │ │ ├── ext-inline_autocomplete.js │ │ │ ├── ext-keybinding_menu.js │ │ │ ├── ext-language_tools.js │ │ │ ├── ext-linking.js │ │ │ ├── ext-modelist.js │ │ │ ├── ext-options.js │ │ │ ├── ext-prompt.js │ │ │ ├── ext-rtl.js │ │ │ ├── ext-searchbox.js │ │ │ ├── ext-settings_menu.js │ │ │ ├── ext-simple_tokenizer.js │ │ │ ├── ext-spellcheck.js │ │ │ ├── ext-split.js │ │ │ ├── ext-static_highlight.js │ │ │ ├── ext-statusbar.js │ │ │ ├── ext-textarea.js │ │ │ ├── ext-themelist.js │ │ │ ├── ext-whitespace.js │ │ │ ├── keybinding-emacs.js │ │ │ ├── keybinding-sublime.js │ │ │ ├── keybinding-vim.js │ │ │ ├── keybinding-vscode.js │ │ │ ├── mode-javascript.js │ │ │ ├── mode-solidity.js │ │ │ ├── snippets │ │ │ │ └── javascript.js │ │ │ ├── theme-ambiance.js │ │ │ ├── theme-chaos.js │ │ │ ├── theme-chrome.js │ │ │ ├── theme-cloud9_day.js │ │ │ ├── theme-cloud9_night.js │ │ │ ├── theme-cloud9_night_low_color.js │ │ │ ├── theme-cloud_editor.js │ │ │ ├── theme-cloud_editor_dark.js │ │ │ ├── theme-clouds.js │ │ │ ├── theme-clouds_midnight.js │ │ │ ├── theme-cobalt.js │ │ │ ├── theme-crimson_editor.js │ │ │ ├── theme-dawn.js │ │ │ ├── theme-dracula.js │ │ │ ├── theme-dreamweaver.js │ │ │ ├── theme-eclipse.js │ │ │ ├── theme-github.js │ │ │ ├── theme-github_dark.js │ │ │ ├── theme-gob.js │ │ │ ├── theme-gruvbox.js │ │ │ ├── theme-gruvbox_dark_hard.js │ │ │ ├── theme-gruvbox_light_hard.js │ │ │ ├── theme-idle_fingers.js │ │ │ ├── theme-iplastic.js │ │ │ ├── theme-katzenmilch.js │ │ │ ├── theme-kr_theme.js │ │ │ ├── theme-kuroir.js │ │ │ ├── theme-merbivore.js │ │ │ ├── theme-merbivore_soft.js │ │ │ ├── theme-mono_industrial.js │ │ │ ├── theme-monokai.js │ │ │ ├── theme-nord_dark.js │ │ │ ├── theme-one_dark.js │ │ │ ├── theme-pastel_on_dark.js │ │ │ ├── theme-solarized_dark.js │ │ │ ├── theme-solarized_light.js │ │ │ ├── theme-sqlserver.js │ │ │ ├── theme-terminal.js │ │ │ ├── theme-textmate.js │ │ │ ├── theme-tomorrow.js │ │ │ ├── theme-tomorrow_night.js │ │ │ ├── theme-tomorrow_night_blue.js │ │ │ ├── theme-tomorrow_night_bright.js │ │ │ ├── theme-tomorrow_night_eighties.js │ │ │ ├── theme-twilight.js │ │ │ ├── theme-vibrant_ink.js │ │ │ ├── theme-xcode.js │ │ │ ├── worker-base.js │ │ │ ├── worker-coffee.js │ │ │ ├── worker-css.js │ │ │ ├── worker-html.js │ │ │ ├── worker-javascript.js │ │ │ ├── worker-json.js │ │ │ ├── worker-lua.js │ │ │ ├── worker-php.js │ │ │ ├── worker-xml.js │ │ │ ├── worker-xquery.js │ │ │ └── worker-yaml.js │ │ ├── highlight.min.js │ │ ├── solidity.min.js │ │ └── yul.min.js │ └── style.css ├── templates │ ├── index.html │ ├── protocol_view.html │ └── report.html └── utils │ ├── data.py │ ├── detectors.py │ └── misc │ ├── add_scan_results.py │ ├── semgrep_scan.py │ └── solc_install.py ├── docs ├── images │ ├── contract_data1.png │ ├── functions_view1.png │ ├── navigation1.png │ ├── protocol_view.png │ ├── search_detectors1.png │ └── search_functions1.png └── manual │ ├── Analysis.md │ ├── External_analysis.md │ ├── Fuzzing_invariants.md │ └── Introduction.md ├── requirements.txt ├── run.py └── setup.sh /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/README.md -------------------------------------------------------------------------------- /core/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/analyze.py -------------------------------------------------------------------------------- /core/app.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/app.py -------------------------------------------------------------------------------- /core/downloader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/downloader.py -------------------------------------------------------------------------------- /core/files/prompts/prompt_builder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/files/prompts/prompt_builder.py -------------------------------------------------------------------------------- /core/files/prompts/prompts.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/files/prompts/prompts.json -------------------------------------------------------------------------------- /core/netmap.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/netmap.py -------------------------------------------------------------------------------- /core/prompt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/prompt.py -------------------------------------------------------------------------------- /core/property.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/property.py -------------------------------------------------------------------------------- /core/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/runner.py -------------------------------------------------------------------------------- /core/static/default.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/default.min.css -------------------------------------------------------------------------------- /core/static/images/bloki.jpeg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/images/bloki.jpeg -------------------------------------------------------------------------------- /core/static/images/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/images/favicon.ico -------------------------------------------------------------------------------- /core/static/js/components/dataHandlers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/dataHandlers.js -------------------------------------------------------------------------------- /core/static/js/components/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/index.js -------------------------------------------------------------------------------- /core/static/js/components/navigation.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/navigation.js -------------------------------------------------------------------------------- /core/static/js/components/protocol_page.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/protocol_page.js -------------------------------------------------------------------------------- /core/static/js/components/protocol_viz.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/protocol_viz.js -------------------------------------------------------------------------------- /core/static/js/components/ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/ui.js -------------------------------------------------------------------------------- /core/static/js/components/utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/components/utils.js -------------------------------------------------------------------------------- /core/static/js/d3/d3.v7.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/d3/d3.v7.js -------------------------------------------------------------------------------- /core/static/js/editor/ace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ace.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-beautify.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-beautify.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-code_lens.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-code_lens.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-command_bar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-command_bar.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-elastic_tabstops_lite.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-elastic_tabstops_lite.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-emmet.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-emmet.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-error_marker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-error_marker.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-hardwrap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-hardwrap.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-inline_autocomplete.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-inline_autocomplete.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-keybinding_menu.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-keybinding_menu.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-language_tools.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-language_tools.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-linking.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-linking.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-modelist.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-modelist.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-options.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-options.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-prompt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-prompt.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-rtl.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-rtl.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-searchbox.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-searchbox.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-settings_menu.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-settings_menu.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-simple_tokenizer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-simple_tokenizer.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-spellcheck.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-spellcheck.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-split.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-split.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-static_highlight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-static_highlight.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-statusbar.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-statusbar.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-textarea.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-textarea.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-themelist.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-themelist.js -------------------------------------------------------------------------------- /core/static/js/editor/ext-whitespace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/ext-whitespace.js -------------------------------------------------------------------------------- /core/static/js/editor/keybinding-emacs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/keybinding-emacs.js -------------------------------------------------------------------------------- /core/static/js/editor/keybinding-sublime.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/keybinding-sublime.js -------------------------------------------------------------------------------- /core/static/js/editor/keybinding-vim.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/keybinding-vim.js -------------------------------------------------------------------------------- /core/static/js/editor/keybinding-vscode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/keybinding-vscode.js -------------------------------------------------------------------------------- /core/static/js/editor/mode-javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/mode-javascript.js -------------------------------------------------------------------------------- /core/static/js/editor/mode-solidity.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/mode-solidity.js -------------------------------------------------------------------------------- /core/static/js/editor/snippets/javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/snippets/javascript.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-ambiance.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-ambiance.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-chaos.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-chaos.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-chrome.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-chrome.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cloud9_day.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cloud9_day.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cloud9_night.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cloud9_night.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cloud9_night_low_color.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cloud9_night_low_color.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cloud_editor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cloud_editor.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cloud_editor_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cloud_editor_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-clouds.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-clouds.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-clouds_midnight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-clouds_midnight.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-cobalt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-cobalt.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-crimson_editor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-crimson_editor.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-dawn.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-dawn.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-dracula.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-dracula.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-dreamweaver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-dreamweaver.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-eclipse.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-eclipse.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-github.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-github.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-github_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-github_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-gob.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-gob.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-gruvbox.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-gruvbox.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-gruvbox_dark_hard.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-gruvbox_dark_hard.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-gruvbox_light_hard.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-gruvbox_light_hard.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-idle_fingers.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-idle_fingers.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-iplastic.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-iplastic.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-katzenmilch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-katzenmilch.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-kr_theme.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-kr_theme.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-kuroir.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-kuroir.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-merbivore.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-merbivore.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-merbivore_soft.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-merbivore_soft.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-mono_industrial.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-mono_industrial.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-monokai.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-monokai.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-nord_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-nord_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-one_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-one_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-pastel_on_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-pastel_on_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-solarized_dark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-solarized_dark.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-solarized_light.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-solarized_light.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-sqlserver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-sqlserver.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-terminal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-terminal.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-textmate.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-textmate.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-tomorrow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-tomorrow.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-tomorrow_night.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-tomorrow_night.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-tomorrow_night_blue.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-tomorrow_night_blue.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-tomorrow_night_bright.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-tomorrow_night_bright.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-tomorrow_night_eighties.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-tomorrow_night_eighties.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-twilight.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-twilight.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-vibrant_ink.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-vibrant_ink.js -------------------------------------------------------------------------------- /core/static/js/editor/theme-xcode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/theme-xcode.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-base.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-base.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-coffee.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-coffee.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-css.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-css.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-html.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-html.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-javascript.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-javascript.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-json.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-json.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-lua.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-lua.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-php.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-php.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-xml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-xml.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-xquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-xquery.js -------------------------------------------------------------------------------- /core/static/js/editor/worker-yaml.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/editor/worker-yaml.js -------------------------------------------------------------------------------- /core/static/js/highlight.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/highlight.min.js -------------------------------------------------------------------------------- /core/static/js/solidity.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/solidity.min.js -------------------------------------------------------------------------------- /core/static/js/yul.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/js/yul.min.js -------------------------------------------------------------------------------- /core/static/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/static/style.css -------------------------------------------------------------------------------- /core/templates/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/templates/index.html -------------------------------------------------------------------------------- /core/templates/protocol_view.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/templates/protocol_view.html -------------------------------------------------------------------------------- /core/templates/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/templates/report.html -------------------------------------------------------------------------------- /core/utils/data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/utils/data.py -------------------------------------------------------------------------------- /core/utils/detectors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/utils/detectors.py -------------------------------------------------------------------------------- /core/utils/misc/add_scan_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/utils/misc/add_scan_results.py -------------------------------------------------------------------------------- /core/utils/misc/semgrep_scan.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/utils/misc/semgrep_scan.py -------------------------------------------------------------------------------- /core/utils/misc/solc_install.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/core/utils/misc/solc_install.py -------------------------------------------------------------------------------- /docs/images/contract_data1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/contract_data1.png -------------------------------------------------------------------------------- /docs/images/functions_view1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/functions_view1.png -------------------------------------------------------------------------------- /docs/images/navigation1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/navigation1.png -------------------------------------------------------------------------------- /docs/images/protocol_view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/protocol_view.png -------------------------------------------------------------------------------- /docs/images/search_detectors1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/search_detectors1.png -------------------------------------------------------------------------------- /docs/images/search_functions1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/docs/images/search_functions1.png -------------------------------------------------------------------------------- /docs/manual/Analysis.md: -------------------------------------------------------------------------------- 1 | # Analysis -------------------------------------------------------------------------------- /docs/manual/External_analysis.md: -------------------------------------------------------------------------------- 1 | # External Analysis -------------------------------------------------------------------------------- /docs/manual/Fuzzing_invariants.md: -------------------------------------------------------------------------------- 1 | # Fuzzing Invariants -------------------------------------------------------------------------------- /docs/manual/Introduction.md: -------------------------------------------------------------------------------- 1 | # Introduction -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/requirements.txt -------------------------------------------------------------------------------- /run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/run.py -------------------------------------------------------------------------------- /setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shortdoom/betterscan-v1/HEAD/setup.sh --------------------------------------------------------------------------------