Miggo Logo
Miggo Vulnerability Database
→
CVE-2020-17048

CVE-2020-17048: Out-of-bounds Write in ChakraCore

8.1

CVSS Score
3.1

Basic Information

CVE ID
CVE-2020-17048
GHSA ID
GHSA-vpc2-7xmf-ppmf
EPSS Score
0.85865%
CWE
CWE-787
Published
8/2/2021
Updated
2/1/2023
KEV Status
No
Technology
TechnologyC#

Technical Details

CVSS Vector
CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H
Package NameEcosystemVulnerable VersionsFirst Patched Version
Microsoft.ChakraCorenuget< 1.11.231.11.23

Vulnerability Intelligence
Miggo AIMiggo AI

Miggo AIRoot Cause Analysis

The patch commit 90e222e modifies OptIsInvariant to add CheckFixedFld type invariance checks and removes 'updateExistingValue' parameter in ProcessPropOpInTypeCheckSeq. These changes directly address improper type validation during JIT optimization. Missing type stability checks in OptIsInvariant could lead to unsafe instruction hoisting, while flawed type updates in ProcessPropOpInTypeCheckSeq would corrupt type tracking - both enabling out-of-bounds writes via type confusion, consistent with CWE-787.

Vulnerable functions

Only Mi**o us*rs **n s** t*is s**tion

WAF Protection Rules

WAF Rule

***kr* S*riptin* *n*in* M*mory *orruption Vuln*r**ility T*is *V* I* is uniqu* *rom *V*-****-*****.

Reasoning

T** p*t** *ommit ******* mo*i*i*s `OptIsInv*ri*nt` to *** `****k*ix***l*` typ* inv*ri*n** ****ks *n* r*mov*s 'up**t**xistin*V*lu*' p*r*m*t*r in `Pro**ssPropOpInTyp*****kS*q`. T**s* ***n**s *ir**tly ***r*ss improp*r typ* v*li**tion *urin* JIT optimiz*