Submission Details
Severity:
```getHealthFactor()``` returns ```type(uint256).max``` value for all arbitrary non user address
Summary
For Every arbitrary non-user, getHealthFactor(address arbitrary) returns max. Not sure if the intended design, hence Informational.
Vulnerability Details
Impact
Tools Used
Foundry and manual review
Recommendations
Prize pool breakdown
Total prize
15,000 USDC
nSLOC
23664 USDC / LOC
14,000 USDC
1,000 USDC
Live
The contest is live. Earn rewards by submitting a finding.
Appeals
This is your time to appeal against judgements on your submissions.
Appeals Review
Appeals are being carefully reviewed by our judges.