Skip to content

[Bug]: Validate critical incoming hobs #1583

Description

@kuqin12

Is there an existing issue for this?

  • I have searched existing issues

Current Behavior

The current supervisor implementation is not doing enough validation against the incoming data.

Expected Behavior

Specifically, mm regions should be checked to be contiguous and allocation hobs should be included in the MMRAM region.

The allocation module hobs should be checked to be non-overlapping and within the MMRAM region.

The pass down hob should be validated to ensure the pointers reported in the hob are legit.

Steps To Reproduce

Check bsp_init in patina_mm_supervisor\src\init.rs, where the one time initialization is done.

Build Environment

- OS(s): x64
- Targets Impacted: DEBUG + RELEASE

Version Information

feature/supv

Urgency

High

Are you going to fix this?

I will fix it

Do you need maintainer feedback?

No maintainer feedback needed

Anything else?

No response

Metadata

Metadata

Assignees

Labels

impact:securityHas a security impacttype:bugSomething isn't workingurgency:highSignificant with a critical impact

Type

No type

Fields

No fields configured for issues without a type.

Projects

Status
Committed

Relationships

None yet

Development

No branches or pull requests

Issue actions