You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This feature request is to propose exposing low level information generated by Slither via printers. Slither is a very useful static analysis framework for Solidity. Currently, it can be used by other Python scripts as a library that the Python scripts can freely access low level information generated by Slither. One example would be https://raw.githubusercontent.com/crytic/slither/master/utils/upgradeability/check_initialization.py . While there are many printers available currently for exposing different kind of information, as far as I know, there is no printer that exposes all gathered information by Slither. So, this issue is about exposing all of them at once to facilitate future processing to be done in other programming languages or systems.
Thanks
The text was updated successfully, but these errors were encountered:
We are actually looking at exposing some of Slither internal information through a printer, so external tooling can take advantage of Slither, without having to interface to Python.
The main issue is that it's unclear what information we will output. It's likely going to match our internal needs first, but we would love to hear your suggestions or to know what you need. Feel free to join our slack (#ethereum) if you want to discuss it.
@montyly Actually, a new input argument specifying what information the user is looking for would be cool. Maybe something like solc standard-json input or lightweight input specification would be good. Outputting all raw analyzed information might be too much. I would join the slack channel when I have more time :) Also, happy to see this happen!
This feature request is to propose exposing low level information generated by Slither via printers. Slither is a very useful static analysis framework for Solidity. Currently, it can be used by other Python scripts as a library that the Python scripts can freely access low level information generated by Slither. One example would be https://raw.githubusercontent.com/crytic/slither/master/utils/upgradeability/check_initialization.py . While there are many printers available currently for exposing different kind of information, as far as I know, there is no printer that exposes all gathered information by Slither. So, this issue is about exposing all of them at once to facilitate future processing to be done in other programming languages or systems.
Thanks
The text was updated successfully, but these errors were encountered: