( )⚙ D7105 dirs: reject consecutive slashes in paths

This is an archive of the discontinued Mercurial Phabricator instance.

Differential D7105

dirs: reject consecutive slashes in paths
ClosedPublic

Authored by durin42 on Oct 15 2019, 9:54 AM.

Details

Reviewers
indygreg
Group Reviewers
hg-reviewers
Commits
rHG1f04c51d52ea: dirs: reject consecutive slashes in paths
Summary

We shouldn't ever see those, and the fuzzer go really excited that if
it gives us a 65k string with 55k slashes in it we use a lot of RAM.

Diff Detail

Repository
rHG Mercurial
Lint
Lint Skipped
Unit
Unit Tests Skipped

Event Timeline

durin42 created this revision.Oct 15 2019, 9:54 AM
indygreg accepted this revision.Oct 15 2019, 9:52 PM
indygreg added a subscriber: indygreg.

This seems strictly correct, since the dirs type should be internal and should be well-formed.

This revision is now accepted and ready to land.Oct 15 2019, 9:52 PM
durin42 added a commit: rHG1f04c51d52ea: dirs: reject consecutive slashes in paths.Oct 16 2019, 12:08 AM
Closed by commit rHG1f04c51d52ea: dirs: reject consecutive slashes in paths (authored by durin42). · Explain Why
This revision was automatically updated to reflect the committed changes.
yuja added a subscriber: yuja.Oct 16 2019, 8:25 AM

diff --git a/mercurial/cext/dirs.c b/mercurial/cext/dirs.c

  • a/mercurial/cext/dirs.c

+++ b/mercurial/cext/dirs.c
@@ -52,6 +52,7 @@
{

	const char *cpath = PyBytes_AS_STRING(path);
	Py_ssize_t pos = PyBytes_GET_SIZE(path);

+ Py_ssize_t prev_pos = -1;

	PyObject *key = NULL;
	int ret = -1;

@@ -64,6 +65,13 @@

  • locations, the references are known so these violations should go
  • unnoticed. */ while ((pos = _finddir(cpath, pos - 1)) != -1) {

+ if (pos && prev_pos == pos + 1) {

Maybe it's better to reject leading "/" and trailing "/".

+ PyErr_SetString(
+ PyExc_ValueError,
+ "invalid empty directory name in dirs.c _addpath");
+ return -1;

goto bail; is the way to error out from this function, though it doesn't
matter here.

indygreg added a comment.Oct 16 2019, 10:38 PM

I dropped this from committed because of discussion on this review and because Windows was not happy with the change:

mercurial/cext/dirs.c(75) : error C2275: 'PyObject' : illegal use of this type as an expression
        c:\dev\python27-64\include\object.h(108) : see declaration of 'PyObject'
mercurial/cext/dirs.c(75) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(81) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(81) : warning C4047: '=' : 'int' differs in levels of indirection from 'PyObject *'
mercurial/cext/dirs.c(82) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(82) : warning C4047: '!=' : 'int' differs in levels of indirection from 'void *'
mercurial/cext/dirs.c(83) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(92) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(92) : warning C4047: '=' : 'int' differs in levels of indirection from 'PyObject *'
mercurial/cext/dirs.c(95) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(95) : warning C4047: '==' : 'int' differs in levels of indirection from 'void *'
mercurial/cext/dirs.c(98) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(99) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(99) : warning C4047: 'function' : 'PyObject *' differs in levels of indirection from 'int'
mercurial/cext/dirs.c(99) : warning C4024: 'PyDict_SetItem' : different types for formal and actual parameter 3
mercurial/cext/dirs.c(100) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(100) : error C2065: 'val' : undeclared identifier
mercurial/cext/dirs.c(100) : error C2065: 'val' : undeclared identifier
error: command 'C:\\Users\\gps\\AppData\\Local\\Programs\\Common\\Microsoft\\Visual C++ for Python\\9.0\\VC\\Bin\\amd64\\cl.exe' failed with exit status 2

TBH I'm not sure what's going on there. Perhaps a bad byte/newline sequence in the file?

1f04c51d52eadb12bfbb6fba8eca27e742ea88d4 is the node that was dropped.

yuja added a comment.Oct 17 2019, 8:04 AM
TBH I'm not sure what's going on there. Perhaps a bad byte/newline sequence in the file?

It's a C89 thing. Declarations must come first.

Revision Contents
Changeset List

PathPackages
Mmercurial/cext/dirs.c (8 lines)

Diff 17173

mercurial/cext/dirs.c

return pos; return pos;
} }
static int _addpath(PyObject *dirs, PyObject *path) static int _addpath(PyObject *dirs, PyObject *path)
{ {
const char *cpath = PyBytes_AS_STRING(path); const char *cpath = PyBytes_AS_STRING(path);
Py_ssize_t pos = PyBytes_GET_SIZE(path); Py_ssize_t pos = PyBytes_GET_SIZE(path);
Py_ssize_t prev_pos = -1;
PyObject *key = NULL; PyObject *key = NULL;
int ret = -1; int ret = -1;
/* This loop is super critical for performance. That's why we inline /* This loop is super critical for performance. That's why we inline
* access to Python structs instead of going through a supported API. * access to Python structs instead of going through a supported API.
* The implementation, therefore, is heavily dependent on CPython * The implementation, therefore, is heavily dependent on CPython
* implementation details. We also commit violations of the Python * implementation details. We also commit violations of the Python
* "protocol" such as mutating immutable objects. But since we only * "protocol" such as mutating immutable objects. But since we only
* mutate objects created in this function or in other well-defined * mutate objects created in this function or in other well-defined
* locations, the references are known so these violations should go * locations, the references are known so these violations should go
* unnoticed. */ * unnoticed. */
while ((pos = _finddir(cpath, pos - 1)) != -1) { while ((pos = _finddir(cpath, pos - 1)) != -1) {
if (pos && prev_pos == pos + 1) {
PyErr_SetString(
PyExc_ValueError,
"invalid empty directory name in dirs.c _addpath");
return -1;
}
prev_pos = pos;
PyObject *val; PyObject *val;
key = PyBytes_FromStringAndSize(cpath, pos); key = PyBytes_FromStringAndSize(cpath, pos);
if (key == NULL) if (key == NULL)
goto bail; goto bail;
val = PyDict_GetItem(dirs, key); val = PyDict_GetItem(dirs, key);
if (val != NULL) { if (val != NULL) {