For Every arbitrary non-user, getHealthFactor(address arbitrary)
returns max. Not sure if the intended design, hence Informational.
Foundry and manual review
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.