On 03/11/20 12:52, Peter Maydell wrote:
> In ahci_exec() we attempt to permit the caller to pass a NULL pointer
> for opts_in (in which case we use a default set of options).  However
> although we check for NULL when setting up the opts variable at the
> top of the function, we unconditionally dereference opts_in at the
> end of the function as part of freeing the opts->buffer.
> 
> Switch to checking whether the final buffer is the same as the
> buffer we started with, instead of assuming the value we started
> with is always opts_in->buffer.
> 
> At the moment all the callers pass a non-NULL opts argument, so
> we never saw any crashes in practice.
> 
> Fixes: Coverity CID 1432302
> Signed-off-by: Peter Maydell <[email protected]>
> ---
>  tests/qtest/libqos/ahci.c | 5 ++++-
>  1 file changed, 4 insertions(+), 1 deletion(-)
> 
> diff --git a/tests/qtest/libqos/ahci.c b/tests/qtest/libqos/ahci.c
> index 2946abc15ae..fba3e7a954e 100644
> --- a/tests/qtest/libqos/ahci.c
> +++ b/tests/qtest/libqos/ahci.c
> @@ -637,10 +637,13 @@ void ahci_exec(AHCIQState *ahci, uint8_t port,
>      AHCICommand *cmd;
>      int rc;
>      AHCIOpts *opts;
> +    uint64_t buffer_in;
>  
>      opts = g_memdup((opts_in == NULL ? &default_opts : opts_in),
>                      sizeof(AHCIOpts));
>  
> +    buffer_in = opts->buffer;
> +
>      /* No guest buffer provided, create one. */
>      if (opts->size && !opts->buffer) {
>          opts->buffer = ahci_alloc(ahci, opts->size);
> @@ -686,7 +689,7 @@ void ahci_exec(AHCIQState *ahci, uint8_t port,
>          g_assert_cmpint(rc, ==, 0);
>      }
>      ahci_command_free(cmd);
> -    if (opts->buffer != opts_in->buffer) {
> +    if (opts->buffer != buffer_in) {
>          ahci_free(ahci, opts->buffer);
>      }
>      g_free(opts);
> 

Queued, thanks.

Paolo


Reply via email to