Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

👷‍♂️ Slither unable to generate IR for LibSort #847

Open
sambacha opened this issue Mar 4, 2024 · 5 comments
Open

👷‍♂️ Slither unable to generate IR for LibSort #847

sambacha opened this issue Mar 4, 2024 · 5 comments

Comments

@sambacha
Copy link
Contributor

sambacha commented Mar 4, 2024

Using the latest slither release and latest LibSort, Slither is unable to generate an IR for LibSort. It gives the following error message:

$ slither
ERROR:ContractSolcParsing:Impossible to generate IR for LibSort._toInts (lib/solady/src/utils/LibSort.sol#535-540):
 'str' object has no attribute 'type'
~~~
@Vectorized
Copy link
Owner

@0xalpharush

@Vectorized
Copy link
Owner

Could be related: crytic/slither#1966

@Vectorized Vectorized changed the title Slither unable to generate IR for LibSort 👷‍♂️ Slither unable to generate IR for LibSort Mar 4, 2024
@0xalpharush
Copy link

This is the same regression as crytic/slither#2210. Will get it fixed!

@0xalpharush
Copy link

This should be fixed in the latest release https://github.com/crytic/slither/releases/tag/0.10.2

@Vectorized
Copy link
Owner

Much kudos!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Vectorized @sambacha @0xalpharush