| High | Invalid | |
| Medium | Invalid | |
| High | Invalid | |
| Low | Invalid | |
| Low | Invalid | |
| High | Valid | |
| High | Valid | StabilityPool::getExchangeR... |
| Medium | Invalid | |
| Medium | Invalid | |
| Medium | Invalid | |
| Medium | Invalid | |
| Medium | Invalid | |
| Low | Valid | veRAACToken::executeEmergen... |
| Medium | Valid | Treasury::deposit increment... |
| Medium | Invalid | |
| Low | Invalid | |
| Medium | Invalid | |
| Medium | Valid | BoostController: Users unab... |
| Low | Valid | BoostController::delegateBo... |
| Medium | Valid | Treasury::allocateFunds doe... |
| Medium | Valid | BoostController::updateUser... |
| Medium | Valid | BoostController::getBoostMu... |
| Medium | Valid | BoostController::updateUser... |
| Medium | Valid | Treasury::allocateFunds doe... |
| Medium | Valid | BoostController::_calculate... |
| High | Valid | FeeCollector::claimRewards ... |
| High | Valid | LendingPool::borrow as well... |
| High | Invalid | DebtToken::burn calculates ... |
| High | Invalid | |
| Medium | Invalid | |