There is a missing check in a number of facets that cusd is not a zero address which could allow immutable cusd to be mistakenly set to 0 address.
The constructors in the following facets are affected:
ExitShortFacet
MarginCallPrimaryFacet
ShortRecordFacet
Any function using the immutable state variable cusd will not work as expected.
Manual Code Review
Add zero address check to the constructor for three facets; ExitShortFacet, MarginCallPrimaryFacet, ShortRecordFacet, before setting cusdto the passed in parameter_cusd```.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.