example-checklist.md

Generated with:

slither tests/detectors/constable-states/0.8.0/const_state_variables.sol --detect constable-states --checklist --markdown-root https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/

Summary

• constable-states (11 results) (Optimization)

constable-states

Impact: Optimization Confidence: High

• ID-0 MyConc.should_be_constant_3 should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L42

• ID-1 A.text2 should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L12

• ID-2 B.mySistersAddress should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L24

• ID-3 MyConc.should_be_immutable should be immutable

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L43

• ID-4 A.myFriendsAddress should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L5

• ID-5 MyConc.should_be_constant should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L40

• ID-6 MyConc.should_be_immutable_4 should be immutable

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L46

• ID-7 MyConc.should_be_immutable_2 should be immutable

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L44

• ID-8 MyConc.should_be_constant_2 should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L41

• ID-9 MyConc.should_be_immutable_3 should be immutable

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L45

• ID-10 A.test should be constant

https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/tests/detectors/constable-states/0.8.0/const_state_variables.sol#L8