git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[PATCH] grep: report missing left operand of --and

From
René Scharfe <l.s.r@web.de>
Date
Jun 28, 2021, 18:58 UTC
Message-ID
<98171911-ba39-27f1-d068-4d381bcd4804@web.de>
In-Reply-To
<20210628121748.f3yrc72v4mynknl3@debianXPS.lan>

Git grep allows combining two patterns with --and. It checks and reports if the second pattern is missing when compiling the expression. A missing first pattern, however, is only reported later at match time. Thus no error is returned if no matching is done, e.g. because no file matches the also given pathspec.

When that happens we get an expression tree with an GREP_NODE_AND node and a NULL pointer to the missing left child. free_pattern_expr() tries to dereference it during the cleanup at the end, which result in a segmentation fault.

Fix this by verifying the presence of the left operand at expression compilation time.

Reported-by: Matthew Hughes <matthewhughes934@gmail.com>
Signed-off-by: René Scharfe <l.s.r@web.de>
---
Whether the check in match_expr_eval() can now be turned into a BUG is
left as an exercise for the reader. ;-)
 grep.c          |  2 ++
 t/t7810-grep.sh | 10 ++++++++++
 2 files changed, 12 insertions(+)
diff --git a/grep.c b/grep.c
index 8f91af1cb0..7d0ea4e956 100644
--- a/grep.c
+++ b/grep.c
@@ -655,6 +655,8 @@ static struct grep_expr *compile_pattern_and(struct grep_pat **list)
 	struct grep_expr *x, *y, *z;

 	x = compile_pattern_not(list);
+	if (!x)
+		die("Not a valid grep expression");
 	p = *list;
 	if (p && p->token == GREP_AND) {
 		if (!p->next)
diff --git a/t/t7810-grep.sh b/t/t7810-grep.sh
index 5830733f3d..c581239674 100755
--- a/t/t7810-grep.sh
+++ b/t/t7810-grep.sh
@@ -11,6 +11,13 @@ export GIT_TEST_DEFAULT_INITIAL_BRANCH_NAME

 . ./test-lib.sh

+test_invalid_grep_expression() {
+	params="$@" &&
+	test_expect_success "invalid expression: grep $params" '
+		test_must_fail git grep $params -- nonexisting
+	'
+}
+
 cat >hello.c <<EOF
 #include <assert.h>
 #include <stdio.h>
@@ -89,6 +96,9 @@ test_expect_success 'grep should not segfault with a bad input' '
 	test_must_fail git grep "("
 '

+test_invalid_grep_expression -e A --and
+test_invalid_grep_expression --and -e A
+
 for H in HEAD ''
 do
 	case "$H" in
--
2.32.0
Previous: Matthew HughesNext: Ævar Arnfjörð Bjarmason
Message 2 of 6 in “segfault on invalid 'git grep' invocation”
  1. Matthew HughesJun 28, 2021
  2. grep: report missing left operand of --andRené Scharfe, Jun 28, 2021
  3. Ævar Arnfjörð BjarmasonJun 29, 2021
  4. René ScharfeJun 29, 2021
  5. Ævar Arnfjörð BjarmasonJun 28, 2021
  6. grep: report missing left operand of --andRené Scharfe, Jun 30, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.