Insufficient validation when decoding a Socket.IO packet

Affecting socket.io-parser package on npm

Context / Overview

Due to improper type validation in the socket.io-parser library (which is used by the socket.io and socket.io-client packages to encode and decode Socket.IO packets), it is possible to overwrite the _placeholder object which allows an attacker to place references to functions at arbitrary places in the resulting query object.

Example:

const decoder = new Decoder(); decoder.on("decoded", (packet) => { console.log(packet.data); // prints [ 'hello', [Function: splice] ] }) decoder.add('51-["hello",{"_placeholder":true,"num":"splice"}]'); decoder.add(Buffer.from("world"));

This bubbles up in the socket.io package:

io.on("connection", (socket) => { socket.on("hello", (val) => { // here, "val" could be a function instead of a buffer }); });

:warning: IMPORTANT NOTE :warning:

You need to make sure that the payload that you received from the client is actually a Buffer object:

io.on("connection", (socket) => { socket.on("hello", (val) => { if (!Buffer.isBuffer(val)) { socket.disconnect(); return; } // ... }); });

If that's already the case, then you are not impacted by this issue, and there is no way an attacker could make your server crash (or escalate privileges, ...).

Example of values that could be sent by a malicious user:

  • a number that is out of bounds

Sample packet: 451-["hello",{"_placeholder":true,"num":10}]

io.on("connection", (socket) => { socket.on("hello", (val) => { // val is `undefined` }); });
  • a value that is not a number, like undefined

Sample packet: 451-["hello",{"_placeholder":true,"num":undefined}]

io.on("connection", (socket) => { socket.on("hello", (val) => { // val is `undefined` }); });
  • a string that is part of the prototype of Array, like "push"

Sample packet: 451-["hello",{"_placeholder":true,"num":"push"}]

io.on("connection", (socket) => { socket.on("hello", (val) => { // val is a reference to the "push" function }); });
  • a string that is part of the prototype of Object, like "hasOwnProperty"

Sample packet: 451-["hello",{"_placeholder":true,"num":"hasOwnProperty"}]

io.on("connection", (socket) => { socket.on("hello", (val) => { // val is a reference to the "hasOwnProperty" function }); });

This should be fixed by:

Dependency analysis for the socket.io package

socket.io versionsocket.io-parser versionCovered?
4.5.2...latest~4.2.0 (ref)Yes :heavy_check_mark:
4.1.3...4.5.1~4.0.4 (ref)Yes :heavy_check_mark:
3.0.5...4.1.2~4.0.3 (ref)Yes :heavy_check_mark:
3.0.0...3.0.4~4.0.1 (ref)Yes :heavy_check_mark:
2.3.0...2.5.0~3.4.0 (ref)Yes :heavy_check_mark:

Dependency analysis for the socket.io-client package

socket.io-client versionsocket.io-parser versionCovered?
4.5.0...latest~4.2.0 (ref)Yes :heavy_check_mark:
4.3.0...4.4.1~4.1.1 (ref)No, but the impact is very limited
3.1.0...4.2.0~4.0.4 (ref)Yes :heavy_check_mark:
3.0.5~4.0.3 (ref)Yes :heavy_check_mark:
3.0.0...3.0.4~4.0.1 (ref)Yes :heavy_check_mark:
2.2.0...2.5.0~3.3.0 (ref)Yes :heavy_check_mark:

Jit Recommended Tools

OSV-Scanner

Objective: Dependency check (SCA)

Description: OSV-Scanner provides an officially supported frontend to the OSV database that connects a project’s list of dependencies with the vulnerabilities that affect them. Since the OSV.dev database is open source and distributed, it has several benefits in comparison with closed source advisory databases and scanners:

Vulnerability Layer - SCA

SCA Dependency Check is one of the important tools used to identify vulnerabilities in open-source components used in software applications. However, it primarily focuses on identifying vulnerabilities in the dependency layer of the software application. In contrast, code vulnerability layer analysis is focused on identifying vulnerabilities in the source code of the application itself, rather than the dependencies it uses. It typically involves analyzing the source code to identify security issues such as buffer overflows, injection vulnerabilities, and authentication issues, among others. While SCA Dependency Check is an important tool in identifying vulnerabilities in open-source dependencies, it may not be sufficient to ensure the overall security of the software application. To ensure comprehensive security, it is important to also perform code vulnerability layer analysis to identify vulnerabilities in the source code of the application. Incorporating both SCA Dependency Check and code vulnerability layer analysis into the software development lifecycle can help ensure that vulnerabilities are identified and remediated at both the dependency and code layers of the application. This can help prevent security issues from being introduced into the final product and improve the overall security posture of the software application.

References & Sources

Similar Vulnerabilities

;