summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2023-10-22 12:36:33 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2023-10-22 12:36:33 (GMT)
commitf044b0444d72e04f0ec65db8ea192043af2a7998 (patch)
treea9d7206d2ed5253e560818efaaebc358bb1da70c
parent98dab5148243637a4f2d19a7c44b0e643a0e0f8c (diff)
Expect only one argument for the not operator, even in debug mode.
-rw-r--r--src/analysis/scan/exprs/logical.c2
-rw-r--r--tests/analysis/scan/fuzzing.py15
2 files changed, 16 insertions, 1 deletions
diff --git a/src/analysis/scan/exprs/logical.c b/src/analysis/scan/exprs/logical.c
index c61a44c..3b07843 100644
--- a/src/analysis/scan/exprs/logical.c
+++ b/src/analysis/scan/exprs/logical.c
@@ -230,7 +230,7 @@ bool g_scan_logical_operation_create(GScanLogicalOperation *op, BooleanOperation
g_object_ref(G_OBJECT(op->first));
result = (second == NULL);
- assert(second != NULL);
+ assert(second == NULL);
break;
default:
diff --git a/tests/analysis/scan/fuzzing.py b/tests/analysis/scan/fuzzing.py
index 53227af..61f4117 100644
--- a/tests/analysis/scan/fuzzing.py
+++ b/tests/analysis/scan/fuzzing.py
@@ -108,3 +108,18 @@ rule test {
'''
self.check_rule_failure(rule)
+
+
+ def testSelfReferencingRule(self):
+ """Expect only one argument for the not operator, even in debug mode."""
+
+ rule = '''
+rule test {
+
+ condition:
+ not(0)
+
+}
+'''
+
+ self.check_rule_success(rule)