mirror of
https://github.com/titanscouting/tra-analysis.git
synced 2024-12-30 18:59:10 +00:00
269 lines
12 KiB
Markdown
269 lines
12 KiB
Markdown
|
# Porting to the Buffer.from/Buffer.alloc API
|
|||
|
|
|||
|
<a id="overview"></a>
|
|||
|
## Overview
|
|||
|
|
|||
|
- [Variant 1: Drop support for Node.js ≤ 4.4.x and 5.0.0 — 5.9.x.](#variant-1) (*recommended*)
|
|||
|
- [Variant 2: Use a polyfill](#variant-2)
|
|||
|
- [Variant 3: manual detection, with safeguards](#variant-3)
|
|||
|
|
|||
|
### Finding problematic bits of code using grep
|
|||
|
|
|||
|
Just run `grep -nrE '[^a-zA-Z](Slow)?Buffer\s*\(' --exclude-dir node_modules`.
|
|||
|
|
|||
|
It will find all the potentially unsafe places in your own code (with some considerably unlikely
|
|||
|
exceptions).
|
|||
|
|
|||
|
### Finding problematic bits of code using Node.js 8
|
|||
|
|
|||
|
If you’re using Node.js ≥ 8.0.0 (which is recommended), Node.js exposes multiple options that help with finding the relevant pieces of code:
|
|||
|
|
|||
|
- `--trace-warnings` will make Node.js show a stack trace for this warning and other warnings that are printed by Node.js.
|
|||
|
- `--trace-deprecation` does the same thing, but only for deprecation warnings.
|
|||
|
- `--pending-deprecation` will show more types of deprecation warnings. In particular, it will show the `Buffer()` deprecation warning, even on Node.js 8.
|
|||
|
|
|||
|
You can set these flags using an environment variable:
|
|||
|
|
|||
|
```console
|
|||
|
$ export NODE_OPTIONS='--trace-warnings --pending-deprecation'
|
|||
|
$ cat example.js
|
|||
|
'use strict';
|
|||
|
const foo = new Buffer('foo');
|
|||
|
$ node example.js
|
|||
|
(node:7147) [DEP0005] DeprecationWarning: The Buffer() and new Buffer() constructors are not recommended for use due to security and usability concerns. Please use the new Buffer.alloc(), Buffer.allocUnsafe(), or Buffer.from() construction methods instead.
|
|||
|
at showFlaggedDeprecation (buffer.js:127:13)
|
|||
|
at new Buffer (buffer.js:148:3)
|
|||
|
at Object.<anonymous> (/path/to/example.js:2:13)
|
|||
|
[... more stack trace lines ...]
|
|||
|
```
|
|||
|
|
|||
|
### Finding problematic bits of code using linters
|
|||
|
|
|||
|
Eslint rules [no-buffer-constructor](https://eslint.org/docs/rules/no-buffer-constructor)
|
|||
|
or
|
|||
|
[node/no-deprecated-api](https://github.com/mysticatea/eslint-plugin-node/blob/master/docs/rules/no-deprecated-api.md)
|
|||
|
also find calls to deprecated `Buffer()` API. Those rules are included in some pre-sets.
|
|||
|
|
|||
|
There is a drawback, though, that it doesn't always
|
|||
|
[work correctly](https://github.com/chalker/safer-buffer#why-not-safe-buffer) when `Buffer` is
|
|||
|
overriden e.g. with a polyfill, so recommended is a combination of this and some other method
|
|||
|
described above.
|
|||
|
|
|||
|
<a id="variant-1"></a>
|
|||
|
## Variant 1: Drop support for Node.js ≤ 4.4.x and 5.0.0 — 5.9.x.
|
|||
|
|
|||
|
This is the recommended solution nowadays that would imply only minimal overhead.
|
|||
|
|
|||
|
The Node.js 5.x release line has been unsupported since July 2016, and the Node.js 4.x release line reaches its End of Life in April 2018 (→ [Schedule](https://github.com/nodejs/Release#release-schedule)). This means that these versions of Node.js will *not* receive any updates, even in case of security issues, so using these release lines should be avoided, if at all possible.
|
|||
|
|
|||
|
What you would do in this case is to convert all `new Buffer()` or `Buffer()` calls to use `Buffer.alloc()` or `Buffer.from()`, in the following way:
|
|||
|
|
|||
|
- For `new Buffer(number)`, replace it with `Buffer.alloc(number)`.
|
|||
|
- For `new Buffer(string)` (or `new Buffer(string, encoding)`), replace it with `Buffer.from(string)` (or `Buffer.from(string, encoding)`).
|
|||
|
- For all other combinations of arguments (these are much rarer), also replace `new Buffer(...arguments)` with `Buffer.from(...arguments)`.
|
|||
|
|
|||
|
Note that `Buffer.alloc()` is also _faster_ on the current Node.js versions than
|
|||
|
`new Buffer(size).fill(0)`, which is what you would otherwise need to ensure zero-filling.
|
|||
|
|
|||
|
Enabling eslint rule [no-buffer-constructor](https://eslint.org/docs/rules/no-buffer-constructor)
|
|||
|
or
|
|||
|
[node/no-deprecated-api](https://github.com/mysticatea/eslint-plugin-node/blob/master/docs/rules/no-deprecated-api.md)
|
|||
|
is recommended to avoid accidential unsafe Buffer API usage.
|
|||
|
|
|||
|
There is also a [JSCodeshift codemod](https://github.com/joyeecheung/node-dep-codemod#dep005)
|
|||
|
for automatically migrating Buffer constructors to `Buffer.alloc()` or `Buffer.from()`.
|
|||
|
Note that it currently only works with cases where the arguments are literals or where the
|
|||
|
constructor is invoked with two arguments.
|
|||
|
|
|||
|
_If you currently support those older Node.js versions and dropping them would be a semver-major change
|
|||
|
for you, or if you support older branches of your packages, consider using [Variant 2](#variant-2)
|
|||
|
or [Variant 3](#variant-3) on older branches, so people using those older branches will also receive
|
|||
|
the fix. That way, you will eradicate potential issues caused by unguarded Buffer API usage and
|
|||
|
your users will not observe a runtime deprecation warning when running your code on Node.js 10._
|
|||
|
|
|||
|
<a id="variant-2"></a>
|
|||
|
## Variant 2: Use a polyfill
|
|||
|
|
|||
|
Utilize [safer-buffer](https://www.npmjs.com/package/safer-buffer) as a polyfill to support older
|
|||
|
Node.js versions.
|
|||
|
|
|||
|
You would take exacly the same steps as in [Variant 1](#variant-1), but with a polyfill
|
|||
|
`const Buffer = require('safer-buffer').Buffer` in all files where you use the new `Buffer` api.
|
|||
|
|
|||
|
Make sure that you do not use old `new Buffer` API — in any files where the line above is added,
|
|||
|
using old `new Buffer()` API will _throw_. It will be easy to notice that in CI, though.
|
|||
|
|
|||
|
Alternatively, you could use [buffer-from](https://www.npmjs.com/package/buffer-from) and/or
|
|||
|
[buffer-alloc](https://www.npmjs.com/package/buffer-alloc) [ponyfills](https://ponyfill.com/) —
|
|||
|
those are great, the only downsides being 4 deps in the tree and slightly more code changes to
|
|||
|
migrate off them (as you would be using e.g. `Buffer.from` under a different name). If you need only
|
|||
|
`Buffer.from` polyfilled — `buffer-from` alone which comes with no extra dependencies.
|
|||
|
|
|||
|
_Alternatively, you could use [safe-buffer](https://www.npmjs.com/package/safe-buffer) — it also
|
|||
|
provides a polyfill, but takes a different approach which has
|
|||
|
[it's drawbacks](https://github.com/chalker/safer-buffer#why-not-safe-buffer). It will allow you
|
|||
|
to also use the older `new Buffer()` API in your code, though — but that's arguably a benefit, as
|
|||
|
it is problematic, can cause issues in your code, and will start emitting runtime deprecation
|
|||
|
warnings starting with Node.js 10._
|
|||
|
|
|||
|
Note that in either case, it is important that you also remove all calls to the old Buffer
|
|||
|
API manually — just throwing in `safe-buffer` doesn't fix the problem by itself, it just provides
|
|||
|
a polyfill for the new API. I have seen people doing that mistake.
|
|||
|
|
|||
|
Enabling eslint rule [no-buffer-constructor](https://eslint.org/docs/rules/no-buffer-constructor)
|
|||
|
or
|
|||
|
[node/no-deprecated-api](https://github.com/mysticatea/eslint-plugin-node/blob/master/docs/rules/no-deprecated-api.md)
|
|||
|
is recommended.
|
|||
|
|
|||
|
_Don't forget to drop the polyfill usage once you drop support for Node.js < 4.5.0._
|
|||
|
|
|||
|
<a id="variant-3"></a>
|
|||
|
## Variant 3 — manual detection, with safeguards
|
|||
|
|
|||
|
This is useful if you create Buffer instances in only a few places (e.g. one), or you have your own
|
|||
|
wrapper around them.
|
|||
|
|
|||
|
### Buffer(0)
|
|||
|
|
|||
|
This special case for creating empty buffers can be safely replaced with `Buffer.concat([])`, which
|
|||
|
returns the same result all the way down to Node.js 0.8.x.
|
|||
|
|
|||
|
### Buffer(notNumber)
|
|||
|
|
|||
|
Before:
|
|||
|
|
|||
|
```js
|
|||
|
var buf = new Buffer(notNumber, encoding);
|
|||
|
```
|
|||
|
|
|||
|
After:
|
|||
|
|
|||
|
```js
|
|||
|
var buf;
|
|||
|
if (Buffer.from && Buffer.from !== Uint8Array.from) {
|
|||
|
buf = Buffer.from(notNumber, encoding);
|
|||
|
} else {
|
|||
|
if (typeof notNumber === 'number')
|
|||
|
throw new Error('The "size" argument must be of type number.');
|
|||
|
buf = new Buffer(notNumber, encoding);
|
|||
|
}
|
|||
|
```
|
|||
|
|
|||
|
`encoding` is optional.
|
|||
|
|
|||
|
Note that the `typeof notNumber` before `new Buffer` is required (for cases when `notNumber` argument is not
|
|||
|
hard-coded) and _is not caused by the deprecation of Buffer constructor_ — it's exactly _why_ the
|
|||
|
Buffer constructor is deprecated. Ecosystem packages lacking this type-check caused numereous
|
|||
|
security issues — situations when unsanitized user input could end up in the `Buffer(arg)` create
|
|||
|
problems ranging from DoS to leaking sensitive information to the attacker from the process memory.
|
|||
|
|
|||
|
When `notNumber` argument is hardcoded (e.g. literal `"abc"` or `[0,1,2]`), the `typeof` check can
|
|||
|
be omitted.
|
|||
|
|
|||
|
Also note that using TypeScript does not fix this problem for you — when libs written in
|
|||
|
`TypeScript` are used from JS, or when user input ends up there — it behaves exactly as pure JS, as
|
|||
|
all type checks are translation-time only and are not present in the actual JS code which TS
|
|||
|
compiles to.
|
|||
|
|
|||
|
### Buffer(number)
|
|||
|
|
|||
|
For Node.js 0.10.x (and below) support:
|
|||
|
|
|||
|
```js
|
|||
|
var buf;
|
|||
|
if (Buffer.alloc) {
|
|||
|
buf = Buffer.alloc(number);
|
|||
|
} else {
|
|||
|
buf = new Buffer(number);
|
|||
|
buf.fill(0);
|
|||
|
}
|
|||
|
```
|
|||
|
|
|||
|
Otherwise (Node.js ≥ 0.12.x):
|
|||
|
|
|||
|
```js
|
|||
|
const buf = Buffer.alloc ? Buffer.alloc(number) : new Buffer(number).fill(0);
|
|||
|
```
|
|||
|
|
|||
|
## Regarding Buffer.allocUnsafe
|
|||
|
|
|||
|
Be extra cautious when using `Buffer.allocUnsafe`:
|
|||
|
* Don't use it if you don't have a good reason to
|
|||
|
* e.g. you probably won't ever see a performance difference for small buffers, in fact, those
|
|||
|
might be even faster with `Buffer.alloc()`,
|
|||
|
* if your code is not in the hot code path — you also probably won't notice a difference,
|
|||
|
* keep in mind that zero-filling minimizes the potential risks.
|
|||
|
* If you use it, make sure that you never return the buffer in a partially-filled state,
|
|||
|
* if you are writing to it sequentially — always truncate it to the actuall written length
|
|||
|
|
|||
|
Errors in handling buffers allocated with `Buffer.allocUnsafe` could result in various issues,
|
|||
|
ranged from undefined behaviour of your code to sensitive data (user input, passwords, certs)
|
|||
|
leaking to the remote attacker.
|
|||
|
|
|||
|
_Note that the same applies to `new Buffer` usage without zero-filling, depending on the Node.js
|
|||
|
version (and lacking type checks also adds DoS to the list of potential problems)._
|
|||
|
|
|||
|
<a id="faq"></a>
|
|||
|
## FAQ
|
|||
|
|
|||
|
<a id="design-flaws"></a>
|
|||
|
### What is wrong with the `Buffer` constructor?
|
|||
|
|
|||
|
The `Buffer` constructor could be used to create a buffer in many different ways:
|
|||
|
|
|||
|
- `new Buffer(42)` creates a `Buffer` of 42 bytes. Before Node.js 8, this buffer contained
|
|||
|
*arbitrary memory* for performance reasons, which could include anything ranging from
|
|||
|
program source code to passwords and encryption keys.
|
|||
|
- `new Buffer('abc')` creates a `Buffer` that contains the UTF-8-encoded version of
|
|||
|
the string `'abc'`. A second argument could specify another encoding: For example,
|
|||
|
`new Buffer(string, 'base64')` could be used to convert a Base64 string into the original
|
|||
|
sequence of bytes that it represents.
|
|||
|
- There are several other combinations of arguments.
|
|||
|
|
|||
|
This meant that, in code like `var buffer = new Buffer(foo);`, *it is not possible to tell
|
|||
|
what exactly the contents of the generated buffer are* without knowing the type of `foo`.
|
|||
|
|
|||
|
Sometimes, the value of `foo` comes from an external source. For example, this function
|
|||
|
could be exposed as a service on a web server, converting a UTF-8 string into its Base64 form:
|
|||
|
|
|||
|
```
|
|||
|
function stringToBase64(req, res) {
|
|||
|
// The request body should have the format of `{ string: 'foobar' }`
|
|||
|
const rawBytes = new Buffer(req.body.string)
|
|||
|
const encoded = rawBytes.toString('base64')
|
|||
|
res.end({ encoded: encoded })
|
|||
|
}
|
|||
|
```
|
|||
|
|
|||
|
Note that this code does *not* validate the type of `req.body.string`:
|
|||
|
|
|||
|
- `req.body.string` is expected to be a string. If this is the case, all goes well.
|
|||
|
- `req.body.string` is controlled by the client that sends the request.
|
|||
|
- If `req.body.string` is the *number* `50`, the `rawBytes` would be 50 bytes:
|
|||
|
- Before Node.js 8, the content would be uninitialized
|
|||
|
- After Node.js 8, the content would be `50` bytes with the value `0`
|
|||
|
|
|||
|
Because of the missing type check, an attacker could intentionally send a number
|
|||
|
as part of the request. Using this, they can either:
|
|||
|
|
|||
|
- Read uninitialized memory. This **will** leak passwords, encryption keys and other
|
|||
|
kinds of sensitive information. (Information leak)
|
|||
|
- Force the program to allocate a large amount of memory. For example, when specifying
|
|||
|
`500000000` as the input value, each request will allocate 500MB of memory.
|
|||
|
This can be used to either exhaust the memory available of a program completely
|
|||
|
and make it crash, or slow it down significantly. (Denial of Service)
|
|||
|
|
|||
|
Both of these scenarios are considered serious security issues in a real-world
|
|||
|
web server context.
|
|||
|
|
|||
|
when using `Buffer.from(req.body.string)` instead, passing a number will always
|
|||
|
throw an exception instead, giving a controlled behaviour that can always be
|
|||
|
handled by the program.
|
|||
|
|
|||
|
<a id="ecosystem-usage"></a>
|
|||
|
### The `Buffer()` constructor has been deprecated for a while. Is this really an issue?
|
|||
|
|
|||
|
Surveys of code in the `npm` ecosystem have shown that the `Buffer()` constructor is still
|
|||
|
widely used. This includes new code, and overall usage of such code has actually been
|
|||
|
*increasing*.
|