Simone

Fixes #1352

Add virtual and override attribute in Function

2

Closes #2327

Consider local vars with storage location as storage vars

2

When computing the storage/local variables read/written we should consider the local variables with storage location as storage variables read/written instead of local variables.

ArrayType: Check the folded length in __eq__

2

Fix #2307

Add --include-paths option

1

Closes #2123

Track storage variables read/written in assembly

1

Fix #2325

feat: Add option to disable optimizations

4

# Feature Request **Describe the Feature Request** My primary use case is for [Caracal](https://github.com/crytic/caracal/) a static analysis tool that works with the sierra representation. The current problem is that optimized...

slither-mutate: (AOR) Fix for dynamic array operations

1

Fix a crash with dynamic arrays. Due to how `.push` and `.pop` operations are converted to the IR a binary operations is present even if it's not in the code,...

[Bug]: Incorrect SSA form with break

1

### Describe the issue: The SSA form returns `s_3` and `p_3` instead of `s_2` and `p_2` which are correctly returned if the break is removed. ### Code example to reproduce...