lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CABVgOSkJJftfC_j7SX1YuvHR=mESCeZ5dSWV+Pvz2=irOgmXNw@mail.gmail.com>
Date:   Wed, 19 Oct 2022 14:53:58 +0800
From:   David Gow <davidgow@...gle.com>
To:     Maíra Canal <mairacanal@...eup.net>
Cc:     Brendan Higgins <brendanhiggins@...gle.com>,
        Daniel Latypov <dlatypov@...gle.com>, airlied@...il.com,
        daniel@...ll.ch, davem@...emloft.net, kuba@...nel.org,
        jose.exposito89@...il.com, javierm@...hat.com,
        andrealmeid@...eup.net, melissa.srw@...il.com,
        siqueirajordao@...eup.net, Isabella Basso <isabbasso@...eup.net>,
        magalilemes00@...il.com, tales.aparecida@...il.com,
        linux-kselftest@...r.kernel.org, kunit-dev@...glegroups.com,
        linux-kernel@...r.kernel.org,
        Muhammad Usama Anjum <usama.anjum@...labora.com>
Subject: Re: [PATCH v6 1/3] kunit: Introduce KUNIT_EXPECT_MEMEQ and
 KUNIT_EXPECT_MEMNEQ macros

On Wed, Oct 19, 2022 at 3:06 AM Maíra Canal <mairacanal@...eup.net> wrote:
>
> Currently, in order to compare memory blocks in KUnit, the KUNIT_EXPECT_EQ
> or KUNIT_EXPECT_FALSE macros are used in conjunction with the memcmp
> function, such as:
>     KUNIT_EXPECT_EQ(test, memcmp(foo, bar, size), 0);
>
> Although this usage produces correct results for the test cases, when
> the expectation fails, the error message is not very helpful,
> indicating only the return of the memcmp function.
>
> Therefore, create a new set of macros KUNIT_EXPECT_MEMEQ and
> KUNIT_EXPECT_MEMNEQ that compare memory blocks until a specified size.
> In case of expectation failure, those macros print the hex dump of the
> memory blocks, making it easier to debug test failures for memory blocks.
>
> That said, the expectation
>
>     KUNIT_EXPECT_EQ(test, memcmp(foo, bar, size), 0);
>
> would translate to the expectation
>
>     KUNIT_EXPECT_MEMEQ(test, foo, bar, size);
>
> Signed-off-by: Maíra Canal <mairacanal@...eup.net>
> Reviewed-by: Daniel Latypov <dlatypov@...gle.com>
> Reviewed-by: Muhammad Usama Anjum <usama.anjum@...labora.com>
> Reviewed-by: David Gow <davidgow@...gle.com>
> ---

Thanks very much for rebasing this! I'm using it a bit in some tests
I'm working on, and it's been very useful!

One minor formatting nitpick below, otherwise we'll pull this into the
kunit branch as soon as possible.

And this is still
Reviewed-by: David Gow <davidgow@...gle.com>

Cheers,
-- David

>  include/kunit/assert.h | 33 ++++++++++++++++
>  include/kunit/test.h   | 87 ++++++++++++++++++++++++++++++++++++++++++
>  lib/kunit/assert.c     | 56 +++++++++++++++++++++++++++
>  3 files changed, 176 insertions(+)
>
> diff --git a/include/kunit/assert.h b/include/kunit/assert.h
> index ace3de8d1ee7..fd59ac4a63b9 100644
> --- a/include/kunit/assert.h
> +++ b/include/kunit/assert.h
> @@ -240,4 +240,37 @@ void kunit_binary_str_assert_format(const struct kunit_assert *assert,
>                                     const struct va_format *message,
>                                     struct string_stream *stream);
>
> +#define KUNIT_INIT_MEM_ASSERT_STRUCT(text_, left_val, right_val, size_)        \
> +       {                                                                      \
> +               .text = text_,                                                 \
> +               .left_value = left_val,                                        \
> +               .right_value = right_val, .size = size_,                       \

Nit: Could we have the style of this macro match the other
INIT_*_ASSERT_STRUCT() ones: in particular, having the open brace on
the first line, and the close brace non-indented. It'd also be nice to
have .size set on its own line, like the other struct members.


> +       }
> +
> +/**
> + * struct kunit_mem_assert - An expectation/assertion that compares two
> + *     memory blocks.
> + * @assert: The parent of this type.
> + * @text: Holds the textual representations of the operands and comparator.
> + * @left_value: The actual evaluated value of the expression in the left slot.
> + * @right_value: The actual evaluated value of the expression in the right slot.
> + * @size: Size of the memory block analysed in bytes.
> + *
> + * Represents an expectation/assertion that compares two memory blocks. For
> + * example, to expect that the first three bytes of foo is equal to the
> + * first three bytes of bar, you can use the expectation
> + * KUNIT_EXPECT_MEMEQ(test, foo, bar, 3);
> + */
> +struct kunit_mem_assert {
> +       struct kunit_assert assert;
> +       const struct kunit_binary_assert_text *text;
> +       const void *left_value;
> +       const void *right_value;
> +       const size_t size;
> +};
> +
> +void kunit_mem_assert_format(const struct kunit_assert *assert,
> +                            const struct va_format *message,
> +                            struct string_stream *stream);
> +
>  #endif /*  _KUNIT_ASSERT_H */
> diff --git a/include/kunit/test.h b/include/kunit/test.h
> index b1ab6b32216d..cde97dc4eed5 100644
> --- a/include/kunit/test.h
> +++ b/include/kunit/test.h
> @@ -658,6 +658,39 @@ do {                                                                              \
>                       ##__VA_ARGS__);                                          \
>  } while (0)
>
> +#define KUNIT_MEM_ASSERTION(test,                                             \
> +                           assert_type,                                       \
> +                           left,                                              \
> +                           op,                                                \
> +                           right,                                             \
> +                           size,                                              \
> +                           fmt,                                               \
> +                           ...)                                               \
> +do {                                                                          \
> +       const void *__left = (left);                                           \
> +       const void *__right = (right);                                         \
> +       const size_t __size = (size);                                          \
> +       static const struct kunit_binary_assert_text __text = {                \
> +               .operation = #op,                                              \
> +               .left_text = #left,                                            \
> +               .right_text = #right,                                          \
> +       };                                                                     \
> +                                                                              \
> +       if (likely(memcmp(__left, __right, __size) op 0))                      \
> +               break;                                                         \
> +                                                                              \
> +       _KUNIT_FAILED(test,                                                    \
> +                     assert_type,                                             \
> +                     kunit_mem_assert,                                        \
> +                     kunit_mem_assert_format,                                 \
> +                     KUNIT_INIT_MEM_ASSERT_STRUCT(&__text,                    \
> +                                                  __left,                     \
> +                                                  __right,                    \
> +                                                  __size),                    \
> +                     fmt,                                                     \
> +                     ##__VA_ARGS__);                                          \
> +} while (0)
> +
>  #define KUNIT_PTR_NOT_ERR_OR_NULL_MSG_ASSERTION(test,                         \
>                                                 assert_type,                   \
>                                                 ptr,                           \
> @@ -928,6 +961,60 @@ do {                                                                              \
>                                    fmt,                                        \
>                                    ##__VA_ARGS__)
>
> +/**
> + * KUNIT_EXPECT_MEMEQ() - Expects that the first @size bytes of @left and @right are equal.
> + * @test: The test context object.
> + * @left: An arbitrary expression that evaluates to the specified size.
> + * @right: An arbitrary expression that evaluates to the specified size.
> + * @size: Number of bytes compared.
> + *
> + * Sets an expectation that the values that @left and @right evaluate to are
> + * equal. This is semantically equivalent to
> + * KUNIT_EXPECT_TRUE(@test, !memcmp((@left), (@right), (@size))). See
> + * KUNIT_EXPECT_TRUE() for more information.
> + *
> + * Although this expectation works for any memory block, it is not recommended
> + * for comparing more structured data, such as structs. This expectation is
> + * recommended for comparing, for example, data arrays.
> + */
> +#define KUNIT_EXPECT_MEMEQ(test, left, right, size) \
> +       KUNIT_EXPECT_MEMEQ_MSG(test, left, right, size, NULL)
> +
> +#define KUNIT_EXPECT_MEMEQ_MSG(test, left, right, size, fmt, ...)             \
> +       KUNIT_MEM_ASSERTION(test,                                              \
> +                           KUNIT_EXPECTATION,                                 \
> +                           left, ==, right,                                   \
> +                           size,                                              \
> +                           fmt,                                               \
> +                           ##__VA_ARGS__)
> +
> +/**
> + * KUNIT_EXPECT_MEMNEQ() - Expects that the first @size bytes of @left and @right are not equal.
> + * @test: The test context object.
> + * @left: An arbitrary expression that evaluates to the specified size.
> + * @right: An arbitrary expression that evaluates to the specified size.
> + * @size: Number of bytes compared.
> + *
> + * Sets an expectation that the values that @left and @right evaluate to are
> + * not equal. This is semantically equivalent to
> + * KUNIT_EXPECT_TRUE(@test, memcmp((@left), (@right), (@size))). See
> + * KUNIT_EXPECT_TRUE() for more information.
> + *
> + * Although this expectation works for any memory block, it is not recommended
> + * for comparing more structured data, such as structs. This expectation is
> + * recommended for comparing, for example, data arrays.
> + */
> +#define KUNIT_EXPECT_MEMNEQ(test, left, right, size) \
> +       KUNIT_EXPECT_MEMNEQ_MSG(test, left, right, size, NULL)
> +
> +#define KUNIT_EXPECT_MEMNEQ_MSG(test, left, right, size, fmt, ...)            \
> +       KUNIT_MEM_ASSERTION(test,                                              \
> +                           KUNIT_EXPECTATION,                                 \
> +                           left, !=, right,                                   \
> +                           size,                                              \
> +                           fmt,                                               \
> +                           ##__VA_ARGS__)
> +
>  /**
>   * KUNIT_EXPECT_NULL() - Expects that @ptr is null.
>   * @test: The test context object.
> diff --git a/lib/kunit/assert.c b/lib/kunit/assert.c
> index d00d6d181ee8..c346a8d7fa6e 100644
> --- a/lib/kunit/assert.c
> +++ b/lib/kunit/assert.c
> @@ -204,3 +204,59 @@ void kunit_binary_str_assert_format(const struct kunit_assert *assert,
>         kunit_assert_print_msg(message, stream);
>  }
>  EXPORT_SYMBOL_GPL(kunit_binary_str_assert_format);
> +
> +/* Adds a hexdump of a buffer to a string_stream comparing it with
> + * a second buffer. The different bytes are marked with <>.
> + */
> +static void kunit_assert_hexdump(struct string_stream *stream,
> +                                const void *buf,
> +                                const void *compared_buf,
> +                                const size_t len)
> +{
> +       size_t i;
> +       const u8 *buf1 = buf;
> +       const u8 *buf2 = compared_buf;
> +
> +       string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT);
> +
> +       for (i = 0; i < len; ++i) {
> +               if (!(i % 16) && i)
> +                       string_stream_add(stream, "\n" KUNIT_SUBSUBTEST_INDENT);
> +
> +               if (buf1[i] != buf2[i])
> +                       string_stream_add(stream, "<%02x>", buf1[i]);
> +               else
> +                       string_stream_add(stream, " %02x ", buf1[i]);
> +       }
> +}
> +
> +void kunit_mem_assert_format(const struct kunit_assert *assert,
> +                            const struct va_format *message,
> +                            struct string_stream *stream)
> +{
> +       struct kunit_mem_assert *mem_assert;
> +
> +       mem_assert = container_of(assert, struct kunit_mem_assert,
> +                                 assert);
> +
> +       string_stream_add(stream,
> +                         KUNIT_SUBTEST_INDENT "Expected %s %s %s, but\n",
> +                         mem_assert->text->left_text,
> +                         mem_assert->text->operation,
> +                         mem_assert->text->right_text);
> +
> +       string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> +                         mem_assert->text->left_text);
> +       kunit_assert_hexdump(stream, mem_assert->left_value,
> +                            mem_assert->right_value, mem_assert->size);
> +
> +       string_stream_add(stream, "\n");
> +
> +       string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> +                         mem_assert->text->right_text);
> +       kunit_assert_hexdump(stream, mem_assert->right_value,
> +                            mem_assert->left_value, mem_assert->size);
> +
> +       kunit_assert_print_msg(message, stream);
> +}
> +EXPORT_SYMBOL_GPL(kunit_mem_assert_format);
> --
> 2.37.3
>

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ