Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
The [uninitialized state variable detector](https://github.com/trailofbits/slither/blob/master/slither/detectors/variables/uninitialized_state_variables.py) could be simplified with SlithIR
A state variable is not initialized if its never the `lvalue` of an [OperationWithLValue](https://github.com/trailofbits/slither/blob/56079226efc78a83438c55b91ce8dabbb0b7813c/slither/slithir/operations/lvalue.py#L3)