Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
If a state variable cannot be changed at runtime, it should be marked as `constant`, so that it can be optimized by solc
- Severity: Informational
Hints: variables have the attribute `is_constant`. To be precise the detector should use [slithIR](https://github.com/trailofbits/slither/tree/a06ef44038e430f3b8b1383481ff241bd03e68a2) and check that:
- the variable is never the `lvalue` of a [OperationWithLvalue](https://github.com/trailofbits/slither/blob/a06ef44038e430f3b8b1383481ff241bd03e68a2/slither/slithir/operations/lvalue.py)
- its initial value is a constant