CVE-2024-31852: Llvm Local Calleesavedinfo Clear
Unconditionally clearing the 'Restored' flag of a register in CalleeSavedInfo during local block optimization can lead to miscompilation. CalleeSavedInfo represents global function state; modifying it locally without verifying all function paths (e.g., other return blocks) may cause registers to be left unrestored, leading to control-flow errors or crashes.
Provally CuratedPublic repositoryMediumMedium confidenceVerifiedApache-2.0
C++β
C++βgreprules fetch cve-2024-31852-llvm-local-calleesavedinfo-clear --engine opengrepDescription
Unconditionally clearing the 'Restored' flag of a register in CalleeSavedInfo during local block optimization can lead to miscompilation. CalleeSavedInfo represents global function state; modifying it locally without verifying all function paths (e.g., other return blocks) may cause registers to be left unrestored, leading to control-flow errors or crashes.
Community feedback
0 signals from signed-in users.
- Useful
- 0
- False positive
- 0
- Metadata
- 0