crytic/slither
1
0
Fork 0
mirror of https://github.com/crytic/slither.git synced 2026-10-12 02:12:39 +00:00
Code Issues Packages Projects Releases Wiki Activity

Clean up GitHub templates and config files

Browse Source 
- Remove .coderabbit.yaml (CodeRabbit AI config)
- Fix YAML formatting in issue/discussion templates
- Fix indentation in dependabot.yml
- Remove trailing whitespace in .gitignore and CITATION.cff
- Fix trailing whitespace in docs
- Remove stale files (demo README, slither_format .gitignore)

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <[email protected]>
This commit is contained in:
Dan Guido
2026-01-05 13:51:54 -05:00
co-authored by Claude Opus 4.5
parent f9710ded1b
commit 90b7fab6b2
13 changed files with 87 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.coderabbit.yaml
-25
View File
@@ -1,25 +0,0 @@
# yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json
language: "en"
early_access: false
knowledge_base:
learnings:
scope: auto
issues:
scope: global
reviews:
profile: "chill"
request_changes_workflow: false
high_level_summary: true
poem: false
review_status: true
collapse_walkthrough: true
auto_review:
enabled: true
ignore_title_keywords:
- "WIP"
- "DO NOT MERGE"
drafts: false
base_branches:
- dev
chat:
auto_reply: true
.github/DISCUSSION_TEMPLATE/installation.yml
+12 -12
View File
@@ -1,20 +1,20 @@
---
body:
-
attributes:
---
body:
-
attributes:
label: "What operating system are you using?"
id: os
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
label: "How did you install slither?"
description: |
For example, using git or python's pip.
id: install-method
type: textarea
validations:
validations:
required: true
- type: dropdown
id: python
@@ -25,14 +25,14 @@ body:
- "Yes"
- "No"
- "Not sure"
-
attributes:
-
attributes:
description: |
Please copy and paste any relevant log output. This
Please copy and paste any relevant log output. This
will be automatically formatted into code, so no need for backticks.
render: shell
label: "Output of running `slither-doctor .`:"
id: logs
labels:
labels:
- installation-help
title: "[Installation-Help]: "
.github/ISSUE_TEMPLATE/bug_report.yml
+20 -20
View File
@@ -1,54 +1,54 @@
---
body:
-
attributes:
---
body:
-
attributes:
value: |
Please check the issues tab to avoid duplicates, and
Please check the issues tab to avoid duplicates, and
confirm that the bug exists on the latest release (upgrade
by running `python3 -m pip install --upgrade slither-analyzer`).
If you are having difficulty installing slither,
please head over to the "Discussions" page.
Thanks for taking the time to fill out this bug report!
type: markdown
-
attributes:
-
attributes:
label: "Describe the issue:"
id: what-happened
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: "It can be a github repo (preferred), etherscan link, or code snippet."
label: "Code example to reproduce the issue:"
placeholder: "`contract A {}`\n"
id: reproduce
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
What version of slither are you running?
Run `slither --version`
label: "Version:"
id: version
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
Please copy and paste any relevant log output. This
Please copy and paste any relevant log output. This
will be automatically formatted into code, so no need for backticks.
render: shell
label: "Relevant log output:"
id: logs
type: textarea
description: "File a bug report"
labels:
labels:
- bug-candidate
name: "Bug Report"
title: "[Bug-Candidate]: "
.github/ISSUE_TEMPLATE/false_negative.yml
+21 -21
View File
@@ -1,61 +1,61 @@
---
body:
-
attributes:
---
body:
-
attributes:
value: |
Please check the issues tab to avoid duplicates.
Please check the issues tab to avoid duplicates.
Thanks for helping make Slither the best it can be!
type: markdown
-
attributes:
-
attributes:
label: "What bug did Slither miss and which detector did you anticipate would catch it?"
id: what-happened
type: textarea
validations:
validations:
required: true
-
-
attributes:
label: Frequency
description: How often do you run across this false negative?
options:
- Very Frequently
- Occasionally
- Occasionally
- Rarely
- Not sure
id: frequency
type: dropdown
validations:
required: true
-
attributes:
-
attributes:
description: "It can be a github repo, etherscan link, or code snippet."
label: "Code example to reproduce the issue:"
placeholder: "`contract A {}`\n"
id: reproduce
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
What version of slither are you running?
What version of slither are you running?
Run `slither --version`
label: "Version:"
id: version
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
Please copy and paste the result output. This
Please copy and paste the result output. This
will be automatically formatted into code, so no need for backticks.
render: shell
label: "Relevant log output:"
id: logs
type: textarea
description: "Slither missed a bug it should find."
labels:
labels:
- false-negative
name: False Negative
title: "[False Negative]: "
.github/ISSUE_TEMPLATE/false_positive.yml
+21 -21
View File
@@ -1,61 +1,61 @@
---
body:
-
attributes:
---
body:
-
attributes:
value: |
Please check the issues tab to avoid duplicates.
Please check the issues tab to avoid duplicates.
Thanks for helping make Slither the best it can be!
type: markdown
-
attributes:
-
attributes:
label: "Describe the false alarm that Slither raise and how you know it's inaccurate:"
id: what-happened
type: textarea
validations:
validations:
required: true
-
-
attributes:
label: Frequency
description: How often do you run across this false positive?
options:
- Very Frequently
- Occasionally
- Occasionally
- Rarely
- Not sure
id: frequency
type: dropdown
validations:
required: true
-
attributes:
-
attributes:
description: "It can be a github repo, etherscan link, or code snippet."
label: "Code example to reproduce the issue:"
placeholder: "`contract A {}`\n"
id: reproduce
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
What version of slither are you running?
What version of slither are you running?
Run `slither --version`
label: "Version:"
id: version
type: textarea
validations:
validations:
required: true
-
attributes:
-
attributes:
description: |
Please copy and paste the result output. This
Please copy and paste the result output. This
will be automatically formatted into code, so no need for backticks.
render: shell
label: "Relevant log output:"
id: logs
type: textarea
description: "Slither warned of an issue that is not legitimate and does not need to be fixed."
labels:
labels:
- false-positive
name: "False Positive"
title: "[False-Positive]: "
.github/ISSUE_TEMPLATE/feature_request.yml
+1 -1
View File
@@ -14,4 +14,4 @@ body:
label: Describe the desired feature
description: Explain what the feature solves/ improves.
validations:
required: true
required: true
.github/dependabot.yml
+5 -5
View File
@@ -1,8 +1,8 @@
---
version: 2
updates:
- package-ecosystem: "github-actions"
directory: "/"
target-branch: "dev"
schedule:
interval: "weekly"
- package-ecosystem: "github-actions"
directory: "/"
target-branch: "dev"
schedule:
interval: "weekly"
.gitignore
+2 -2
View File
@@ -110,8 +110,8 @@ ENV/
# Test results
test_artifacts/
# crytic export
# crytic export
crytic-export/
# slither.db.json
# slither.db.json
slither.db.json
CITATION.cff
+3 -3
View File
@@ -33,14 +33,14 @@ abstract: >-
SlithIR uses Static Single Assignment (SSA) form and a
reduced instruction set to ease implementation of analyses
while preserving semantic information that would be lost
in transforming Solidity to bytecode.
in transforming Solidity to bytecode.
Slither allows for the application of commonly used
program analysis techniques like dataflow and taint
tracking.
Our framework has four main use cases:
Our framework has four main use cases:
(1) automated detection of vulnerabilities,
@@ -50,7 +50,7 @@ abstract: >-
(3) improvement of the user's understanding of the
contracts, and
(4) assistance with code review.
(4) assistance with code review.
keywords:
- Ethereum
- Static Analysis
docs/src/tools/Code-Similarity-Detector.md
+1 -1
View File
@@ -98,7 +98,7 @@ INFO:Slither-simil:Saving cache in cache.npz
INFO:Slither-simil:Done!
```
After it runs, the `slither-simil` will output the the trained model in `model.bin`, a cache of every function for use in test mode in `cache.npz`, and the SlithIR of every function for debugging in `last_data_train.txt`.
After it runs, the `slither-simil` will output the trained model in `model.bin`, a cache of every function for use in test mode in `cache.npz`, and the SlithIR of every function for debugging in `last_data_train.txt`.
### Plot mode
docs/src/tutorials/README.md
+1 -1
View File
@@ -17,7 +17,7 @@ Watch Slither's [code walkthrough](https://www.youtube.com/watch?v=EUl3UlYSluU),
## Installation
Slither requires Python >= 3.8. You can install it through pip or by using Docker.
Slither requires Python >= 3.9. You can install it through pip or by using Docker.
Installing Slither through pip:
slither/tools/demo/README.md
-6
View File
@@ -1,6 +0,0 @@
# Demo
This directory contains an example of Slither utility.
See the [utility documentation](https://github.com/crytic/slither/wiki/Adding-a-new-utility)
slither/tools/slither_format/.gitignore
-14
View File
@@ -1,14 +0,0 @@
# .format files are the output files produced by slither-format
# .patch files are the output files produced by slither-format
*.format
*.patch
# Temporary files (Emacs backup files ending in tilde and others)
*~
*.err
*.out