
Analisi basata su CodeQL della vulnerabilità di prototype pollution CVE-2025-55182 nei React Server Components, con POC di exploit e query di rilevamento statico per l'attraversamento non sicuro delle proprietà.
Costruisci ed esegui:
docker compose build
docker compose run --rm --entrypoint 'npm install' node
docker compose run --rm --entrypoint 'npm run build' node
docker compose up
POC (da https://github.com/msanft/CVE-2025-55182):
node poc.js
Sperimentazione con unbundled:
yarn --immutable
node --conditions react-server app.js
Clona facebook/react e crea unbundled:
yarn --immutable
yarn cross-env RELEASE_CHANNEL=experimental node ./scripts/rollup/build.js react-server-dom-webpack/ --type=NODE_DEV
cp ./build/node_modules/react-server-dom-webpack/cjs/react-server-dom-webpack-server.node.unbundled.development.js \
codeql/${version}/
Prepara CodeQL:
codeql database create db -l javascript -s codeql
cd queries && codeql pack install
codeql query run ./queries/PrototypeTraversal.ql -d db
Promise.resolve(userData)
await non-native-promise
await su un metodo che (a volte) restituisce dati grezziHa rilevato l'uso corretto in getOutlinedModel (aggiunto hasOwnProperty.call) e quello rimosso in createModelResolver (ora fulfillReference).
Non so perché la prima e la seconda puntino alla stessa posizione, mentre quella estratta in vuln.js no.
In codeql/tests.js ci sono queste tre varianti:
var value = {};
for (let i = 0; i < path.length; i++) {
value = value[path[i]] // VarAccess
}
var value = {};
for (let i = 0; i < path.length; i++) {
let c = value[path[i]] // VarDecl
value = c
}
var value = {};
for (let i = 0; i < path.length; i++) {
let c
c = value[path[i]] // use VarRef
value = c
}
| filename | source | sink |
|---|
| ./19.2.0/react-server-dom-webpack-server.node.unbundled.development.js | parentObject[reference[key]] | parentObject[reference[key]] | Traversata del prototipo non sicura: la variabile 'parentObject' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./19.2.0/react-server-dom-webpack-server.node.unbundled.development.js | parentObject[reference[key]] | parentObject[reference[key]] | Traversata del prototipo non sicura: la variabile 'parentObject' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./19.2.0/react-server-dom-webpack-server.node.unbundled.development.js | value[path[i]] | value[path[i]] | Traversata del prototipo non sicura: la variabile 'value' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./tests.js | value[path[i]] | c | Traversata del prototipo non sicura: la variabile 'value' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./tests.js | value[path[i]] | c | Traversata del prototipo non sicura: la variabile 'value' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./tests.js | value[path[i]] | value[path[i]] | Traversata del prototipo non sicura: la variabile 'value' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./vuln.js | parentObject[reference[key]] | parentObject[reference[key]] | Traversata del prototipo non sicura: la variabile 'parentObject' viene aggiornata con la propria proprietà all'interno di un ciclo. |
| ./vuln.js | value[path[i]] | value[path[i]] | Traversata del prototipo non sicura: la variabile 'value' viene aggiornata con la propria proprietà all'interno di un ciclo. |