TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2492 from ThomasHeim11/update-WIKI_DESCRIPTION

Browse Source 
Update WIKI_DESCRIPTION for "dead_code.py"
pull/2494/head
alpharush 5 months ago committed by GitHub
parent 84b15a6d86 ee7687501d
commit a39dcbb1f8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      slither/detectors/functions/dead_code.py

2
slither/detectors/functions/dead_code.py
Unescape View File

@ -25,7 +25,7 @@ class DeadCode(AbstractDetector):
WIKI = "https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code" WIKI = "https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code"
WIKI_TITLE = "Dead-code" WIKI_TITLE = "Dead-code"
WIKI_DESCRIPTION = "Functions that are not sued." WIKI_DESCRIPTION = "Functions that are not used."
# region wiki_exploit_scenario # region wiki_exploit_scenario
WIKI_EXPLOIT_SCENARIO = """ WIKI_EXPLOIT_SCENARIO = """

Write Preview
Loading…
Cancel
Save