CVE-2024-4778

Memory safety bugs present in Firefox 125. Some of these bugs showed evidence of memory corruption and we presume that with enough effort some of these could have been exploited to run arbitrary code. This vulnerability affects Firefox < 126.

Weakness

The product allows address regions to overlap, which can result in the bypassing of intended memory protection.

Affected Software

Extended Description

Isolated memory regions and access control (read/write) policies are used by hardware to protect privileged software. Software components are often allowed to change or remap memory region definitions in order to enable flexible and dynamically changeable memory management by system software. If a software component running at lower privilege can program a memory address region to overlap with other memory regions used by software running at higher privilege, privilege escalation may be available to attackers. The memory protection unit (MPU) logic can incorrectly handle such an address overlap and allow the lower-privilege software to read or write into the protected memory region, resulting in privilege escalation attack. An address overlap weakness can also be used to launch a denial of service attack on the higher-privilege software memory regions.

Potential Mitigations

• Ensure that memory regions are isolated as intended and that access control (read/write) policies are used by hardware to protect privileged software.
• For all of the programmable memory protection regions, the memory protection unit (MPU) design can define a priority scheme.
• For example: if three memory regions can be programmed (Region_0, Region_1, and Region_2), the design can enforce a priority scheme, such that, if a system address is within multiple regions, then the region with the lowest ID takes priority and the access-control policy of that region will be applied. In some MPU designs, the priority scheme can also be programmed by trusted software.
• Hardware logic or trusted firmware can also check for region definitions and block programming of memory regions with overlapping addresses.
• The memory-access-control-check filter can also be designed to apply a policy filter to all of the overlapping ranges, i.e., if an address is within Region_0 and Region_1, then access to this address is only granted if both Region_0 and Region_1 policies allow the access.

Related Attack Patterns

• https://cwe.mitre.org/data/definitions/456.html
• https://cwe.mitre.org/data/definitions/679.html

References

• https://bugzilla.mozilla.org/buglist.cgi?bug_id=1838834%2C1889291%2C1889595%2C1890204%2C1891545
• https://www.mozilla.org/security/advisories/mfsa2024-21/