| High | Valid | | ward0x |
| High | Valid | [H-03] Randomness can be gamed | ward0x |
| High | Valid | [H-04] `PuppyRaffle::refund... | ward0x |
| High | Valid | [H-05] Typecasting from uin... | ward0x |
| High | Valid | [H-04] `PuppyRaffle::refund... | ward0x |
| Medium | Valid | [M-01] `PuppyRaffle: enterR... | ward0x |
| Medium | Valid | [M-02] Slightly increasing ... | ward0x |
| Medium | Valid | [M-03] Impossible to win ra... | ward0x |
| Low | Valid | [L-01] Ambiguous index retu... | ward0x |
| Low | Valid | [L-03] Participants are mis... | ward0x |