plotchy

### Describe the issue: Slither has *tons* of amazing properties on objects, and I recently found [beeprint](https://github.com/panyanyany/beeprint) to conveniently dump out all property information recursively to aid in understanding the...

Extend property `is_dynamic()` to Variable classes

2

### Describe the desired feature The new `is_dynamic()` property for types is a great idea. However, only basing this property off of type information leads to incorrect conclusions if you...

### Describe the issue: Testing parser on various types and noticed this particular type fails to be parsed. Type is used in solidity docs as `bool[2][] pairsOfFlags;` https://docs.soliditylang.org/en/latest/types.html?highlight=array#allocating-memory-arrays ### Code...

[Bug-Candidate]: slither-read-storage: storage array slots miscalculated in slot layout for shadowed vars

1

### Describe the issue: Weird edge case, though this happens with `uint256[50] __gap` quite often. If there are instances of shadowed vars, slither-read-storage fails to differentiate them in the storage...

crytic_compile.py | get_line_from_offset() pulling from incorrect file

1

Ran into issues involving `KeyError XXX` similar to https://github.com/crytic/slither/issues/1324 Did some basic debugging and noticed this is due to sourceMap iteration going out of bounds for particular contracts in the...

Fix: Improve flatten compilations to fail less on solc error[2333] and error [2449]

2

I've been relying on flatten for some daily work auditing contracts, and I wanted to share a few errors I run into and a few workarounds Ive created to help...

Refactor parameters that adjust fuzzer behavior

2

As I've been learning more about the fuzzer I've found it difficult to remember where to adjust these hyperparameters. I've kept the % chances the same, but standardized sampling sizes...

feat: add gaussian mutator

2

The idea is to modify inputs in a distribution like this 

feat: add to corpus when any comparisons are closer

3

This duplicates the CmpFeedback effort on the corpus. The idea being that adding values to the corpus when the input reverts can still be useful to overcome comparisons. ie: in...

Prevent duplicate input overwriting

1

Ityfuzz uses `ConstantHintedMutator` and `VMStateHintedMutator` which apply discovered values directly to the input bytes as a mutation. This is really nice, but has a flaw when it comes to producing...