| 351 | }; |
| 352 | |
| 353 | void WarnInfo::IndexOOB(uint32_t max_index) { |
| 354 | if (dump.array_length > (max_index + 1)) { |
| 355 | ss << new_bullet_line << "[WARNING] OUT OF BOUNDS - descriptor has an array length of [" << std::dec << dump.array_length |
| 356 | << "] but any element accessed starting at [" << max_index + 1 << "] will be OOB of the heap and invalid if accessed"; |
| 357 | } |
| 358 | }; |
| 359 | |
| 360 | void WarnInfo::IndexArray(std::vector<uint32_t>& bad_indexes) { |
| 361 | if (!bad_indexes.empty()) { |
no outgoing calls
no test coverage detected