crytic / tealer

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

Have uniform directory structure output files #163

Closed S3v3ru5 closed 1 year ago

S3v3ru5 commented 1 year ago

Fix #159

All output files of a contract will be saved in "tealer-export/{contract-name}". Detectors save their output files in their own subdirectory inside contract directory: "tealer-export/{contract-name}/{detector-name}". Printers that output a single file will save in the contract directory: "tealer-export/{contract-name}" Printers that output multiple files will save in their own sub directory: "tealer-export/{contract-name}/print-{printer-name}"

Contract name is set as

The terminal output of detectors is also updated: When some of the detectors do not find any vulnerable paths, tealer would just print

0 results found for detector1, detector2, ...

The --dest command line option which allows a user to select the destination folder for output files is also removed.

S3v3ru5 commented 1 year ago

Builds on #162