crytic / tealer

Static Analyzer for Teal
GNU Affero General Public License v3.0
61 stars 14 forks source link

Use a single format for terminal description of detectors #156

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 1 year ago

When detector output paths are listed, detector information is also printed. This PR makes the detector's description uniform for all detectors. This is how terminal output looks like:

$  tealer walgo.teal
Reading contract from file: "walgo.teal"

Check: "unprotected-deletable", Impact: High, Confidence: High
Description: Unprotected Deletable Applications

Wiki: https://github.com/crytic/tealer/wiki/Detector-Documentation#unprotected-deletable-application

    Following are the vulnerable paths found:

         path: 0 -> 1 -> 3 -> 8 -> 4
         check file: anyone_can_delete_1.dot

         path: 0 -> 5 -> 7 -> 6
         check file: anyone_can_delete_2.dot
----------------------------------------------------------------------------------------------------

Check: "unprotected-updatable", Impact: High, Confidence: High
Description: Unprotected Upgradable Applications

Wiki: https://github.com/crytic/tealer/wiki/Detector-Documentation#unprotected-updatable-application

    Following are the vulnerable paths found:

         path: 0 -> 1 -> 3 -> 8 -> 4
         check file: anyone_can_update_1.dot

         path: 0 -> 5 -> 7 -> 6
         check file: anyone_can_update_2.dot
----------------------------------------------------------------------------------------------------