Hey,

Thanks a lot for putting a renewed effort into this.  I've reviewed
this and compile tested with GCC 4.8.5, 6.3.1 and 7.2.1 - as there
are some warnings appearing; I'll come back to them in a bit.

On 12/11/17 09:24, Heiko Hund wrote:
> The previous implementation had the problem that it was not fully
> compatible with printf() and could only detect % format directives
> following a space character (0x20).
> 
> It modifies the format string and inserts marks to separate groups
> before passing it to the regular printf in libc. The marks are
> later used to separate the output string into individual command
> line arguments.
> 
> The choice of 035 as the argument delimiter is based on the

Perhaps we should use the hex notation (0x1D) instead of the octal
notation (035).  The octal notation is just so similar to decimal
notation and the leading 0 is quite a critical difference.

> assumption that no "regular" string passed to argv_printf_*() will
> ever have to contain that byte (and the fact that it actually is
> the ASCII "group separator" control character, which fits its
> purpose).
> 
> Signed-off-by: Heiko Hund <heiko.h...@sophos.com>
> ---
>  src/openvpn/argv.c                   | 253 
> ++++++++++++++++-------------------
>  src/openvpn/argv.h                   |   4 +-
>  src/openvpn/route.c                  |   8 +-
>  src/openvpn/tun.c                    |  24 ++--
>  tests/unit_tests/openvpn/test_argv.c |  58 +++++++-
>  5 files changed, 184 insertions(+), 163 deletions(-)
> 
> diff --git a/src/openvpn/argv.c b/src/openvpn/argv.c
> index 95bdfeac..afe8efff 100644
> --- a/src/openvpn/argv.c
> +++ b/src/openvpn/argv.c

[...snip...]

>  
> -static void
> -argv_printf_arglist(struct argv *a, const char *format, va_list arglist)
> +/*
> + * argv_prep_format - prepare argv format string for further processing
> + *
> + * Individual argument must be separated by space. Ignores leading and 
> trailing spaces.
> + * Consecutive spaces count as one. Returns prepared format string, with 
> space replaced
> + * by delim and adds the number of arguments to the count parameter.
> + */

Could we make this comment proper Doxygen?  (As well as adding similar things 
for the other functions as well?)

> +static char *
> +argv_prep_format(const char *format, const char delim, size_t *count, struct 
> gc_arena *gc)
>  {

[...snip...]

> +
> +        if (!in_token)
>          {
> -            argv_append(a, term);
> +            ++*count;
> +            if (f[0]) /* not after leading spaces */

This comment still confuses me :-/

Would this be a correct understanding?

  /*
   * We don't add any delimiter (group separator)
   * to the resulting format string before something
   * has been added there.  The resulting format
   * string will never start with a delimiter.
   */

> +            {
> +                f[j++] = delim;
> +            }
>          }
> +
> +        f[j++] = format[i];
> +        in_token = true;
>      }
> +
> +    return f;
>  }
>  
> -void
> +/*
> + * argv_printf_arglist - create a struct argv from a format string
> + *
> + * Instead of parsing the format string ourselves place delimiters via 
> argv_prep_format()
> + * before we let libc's printf() do the parsing. Then split the resulting 
> string at the
> + * injected delimiters.
> + */
> +static bool
> +argv_printf_arglist(struct argv *a, const char *format, va_list arglist)
> +{
> +    struct gc_arena gc = gc_new();
> +    const char *delim = 035;

argv.c:217:25: warning: initialization makes pointer from integer without a 
cast [-Wint-conversion]
     const char *delim = 035;

argv.c:227:34: warning: passing argument 2 of ‘argv_prep_format’ makes integer 
from pointer without a cast [-Wint-conversion]
     f = argv_prep_format(format, delim, &argc, &gc);
                                  ^~~~~
argv.c:170:1: note: expected ‘char’ but argument is of type ‘const char *’
 argv_prep_format(const char *format, const char delim, size_t *count, struct 
gc_arena *gc)
 ^~~~~~~~~~~~~~~~
argv.c:251:23: warning: passing argument 2 of ‘strchr’ makes integer from 
pointer without a cast [-Wint-conversion]
     end = strchr(buf, delim);
                       ^~~~~
In file included from /usr/include/sys/un.h:37:0,
                 from syshead.h:88,
                 from argv.c:36:
/usr/include/string.h:232:14: note: expected ‘int’ but argument is of type 
‘const char *’
 extern char *strchr (const char *__s, int __c)
              ^~~~~~
argv.c:257:27: warning: passing argument 2 of ‘strchr’ makes integer from 
pointer without a cast [-Wint-conversion]
         end = strchr(buf, delim);
                           ^~~~~
In file included from /usr/include/sys/un.h:37:0,
                 from syshead.h:88,
                 from argv.c:36:
/usr/include/string.h:232:14: note: expected ‘int’ but argument is of type 
‘const char *’
 extern char *strchr (const char *__s, int __c)
              ^~~~~~


Shouldn't *delim be just delim?  I'd propose using:

   const char delim = 0x1D;  /* ASCII group separator character */

This also kills all the warnings above.


> +    char *f, *buf, *end;
> +    size_t argc, size;
> +    bool res = false;
> +    va_list tmplist;
> +    int len;
> +
> +    argv_extend(a, 1); /* ensure trailing NULL */
> +
> +    argc = a->argc;
> +    f = argv_prep_format(format, delim, &argc, &gc);
> +    if (f == NULL)
> +    {
> +        goto out;
> +    }
> +
> +    /* determine minimum buffer size */
> +    va_copy(tmplist, arglist);
> +    len = vsnprintf(NULL, 0, f, tmplist);
> +    va_end(tmplist);
> +    if (len < 0)
> +    {
> +        goto out;
> +    }
> +
> +    size = adjust_power_of_2(len + 1);
> +    buf = gc_malloc(size, false, &gc);
> +    len = vsnprintf(buf, size, f, arglist);
> +    if (len < 0 || len >= size)
> +    {
> +        goto out;
> +    }
> +
> +    /* split the string at the delimiters */
> +    end = strchr(buf, delim);
> +    while (end)
> +    {
> +        *end = '\0';
> +        argv_append(a, string_alloc(buf, NULL));
> +        buf = end + 1;
> +        end = strchr(buf, delim);
> +    }
> +    argv_append(a, string_alloc(buf, NULL));
> +
> +    if (a->argc != argc)
> +    {
> +        /* Someone snuck in a \035, fail gracefully */

I'd prefer 0x1D here too.

> diff --git a/src/openvpn/route.c b/src/openvpn/route.c
> index 8c71e6ec..02f7299f 100644
> --- a/src/openvpn/route.c
> +++ b/src/openvpn/route.c
> @@ -1614,7 +1614,7 @@ add_route(struct route_ipv4 *r,
>  #elif defined (_WIN32)
>      {
>          DWORD ai = TUN_ADAPTER_INDEX_INVALID;
> -        argv_printf(&argv, "%s%sc ADD %s MASK %s %s",
> +        argv_printf(&argv, "%s%s ADD %s MASK %s %s",

[...snip... comment to follow ....]

> diff --git a/src/openvpn/tun.c b/src/openvpn/tun.c
> index 25831ce3..61d6b9eb 100644
> --- a/src/openvpn/tun.c
> +++ b/src/openvpn/tun.c
> @@ -1565,7 +1565,7 @@ do_ifconfig(struct tuntap *tt,
>                  char iface[64];
>                  openvpn_snprintf(iface, sizeof(iface), "interface=%lu", 
> tt->adapter_index );
>                  argv_printf(&argv,
> -                            "%s%sc interface ipv6 set address %s %s 
> store=active",
> +                            "%s%s interface ipv6 set address %s %s 
> store=active",

Even though these changes from %sc to %s are no-brainers; I wonder if we should 
try
to trick our buildbot to test these changes on all platforms we have there 
before
pushing it out.


> diff --git a/tests/unit_tests/openvpn/test_argv.c 
> b/tests/unit_tests/openvpn/test_argv.c
> index 4a3ba559..a09e92fb 100644
> --- a/tests/unit_tests/openvpn/test_argv.c
> +++ b/tests/unit_tests/openvpn/test_argv.c

[...snip...]
>  static void
> +argv_printf__empty_parameter__argc_correct(void **state)
> +{
> +    struct argv a = argv_new();
> +
> +    argv_printf(&a, "%s", "");
> +    assert_int_equal(a.argc, 1);
> +
> +    argv_printf(&a, "%s %s", PATH1, "");
> +    assert_int_equal(a.argc, 2);
> +
> +    argv_printf(&a, "%s %s %s", PATH1, "", PARAM1);
> +    assert_int_equal(a.argc, 3);
> +
> +    argv_printf(&a, "%s %s %s %s", PATH1, "", "", PARAM1);
> +    assert_int_equal(a.argc, 4);
> +
> +    argv_printf(&a, "%s %s", "", PARAM1);
> +    assert_int_equal(a.argc, 2);
> +
> +    argv_free(&a);

This gives another warning:

est_argv.c: In function ‘argv_printf__empty_parameter__argc_correct’:
test_argv.c:117:5: warning: implicit declaration of function ‘argv_free’; did 
you mean ‘argv_reset’? [-Wimplicit-function-declaration]
     argv_free(&a);
     ^~~~~~~~~
     argv_reset

This stops the build of argv_testdriver.  Changing it to argv_reset() completes
and runs the unit test.

> +}

[...snip...]

I'm also getting this warning:

test_argv.c:174:1: warning: ‘argv_insert_head__empty_argv__head_only’ defined 
but not used [-Wunused-function]
 argv_insert_head__empty_argv__head_only(void **state)


Otherwise, this patch looks reasonable and good to me.  And it passes 'make 
check'
when fixing those various warnings mentioned above


-- 
kind regards,

David Sommerseth
OpenVPN, Inc


Attachment: signature.asc
Description: OpenPGP digital signature

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Openvpn-devel mailing list
Openvpn-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/openvpn-devel

Reply via email to