ssl/s3_enc.c:564: error: USE_AFTER_FREE
  call to `EVP_DigestInit_ex()` eventually accesses memory that was invalidated by call to `free()` on line 564 indirectly during the call to `EVP_DigestInit_ex()`.
Showing all 18 steps of the trace


ssl/s3_enc.c:552:23: invalidation part of the trace starts here
550.       };
551.       unsigned char buf[EVP_MAX_MD_SIZE];
552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                             ^
553.       int i, ret = 0;
554.       unsigned int n;

ssl/s3_enc.c:552:23: passed as argument to `EVP_MD_CTX_new`
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                               ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:552:23: return from call to `EVP_MD_CTX_new`
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                               ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:552:5: assigned
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
             ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:564:13: when calling `EVP_DigestInit_ex` here
  562.       }
  563.       for (i = 0; i < 3; i++) {
  564.           if (EVP_DigestInit_ex(ctx, s->ctx->sha1, NULL) <= 0
                     ^
  565.                   || EVP_DigestUpdate(ctx, salt[i],
  566.                                       strlen((const char *)salt[i])) <= 0

crypto/evp/digest.c:170:1: parameter `ctx` of EVP_DigestInit_ex
    168.   }
    169.   
    170. > int EVP_DigestInit_ex(EVP_MD_CTX *ctx, const EVP_MD *type, ENGINE *impl)
    171.   {
    172.       EVP_MD_CTX_clear_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);

crypto/evp/digest.c:229:13: when calling `CRYPTO_free` here
    227.       if (ctx->digest != type) {
    228.           if (ctx->digest && ctx->digest->ctx_size)
    229.               OPENSSL_free(ctx->md_data);
                       ^
    230.           ctx->digest = type;
    231.           if (!(ctx->flags & EVP_MD_CTX_FLAG_NO_INIT) && type->ctx_size) {

crypto/mem.c:234:1: parameter `str` of CRYPTO_free
      232.   }
      233.   
      234. > void CRYPTO_free(void *str)
      235.   {
      236.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:245:5: was invalidated by call to `free()`
      243.       }
      244.   #else
      245.       free(str);
                 ^
      246.   #endif
      247.   }

ssl/s3_enc.c:552:23: use-after-lifetime part of the trace starts here
550.       };
551.       unsigned char buf[EVP_MAX_MD_SIZE];
552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                             ^
553.       int i, ret = 0;
554.       unsigned int n;

ssl/s3_enc.c:552:23: passed as argument to `EVP_MD_CTX_new`
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                               ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:552:23: return from call to `EVP_MD_CTX_new`
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
                               ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:552:5: assigned
  550.       };
  551.       unsigned char buf[EVP_MAX_MD_SIZE];
  552.       EVP_MD_CTX *ctx = EVP_MD_CTX_new();
             ^
  553.       int i, ret = 0;
  554.       unsigned int n;

ssl/s3_enc.c:564:13: when calling `EVP_DigestInit_ex` here
  562.       }
  563.       for (i = 0; i < 3; i++) {
  564.           if (EVP_DigestInit_ex(ctx, s->ctx->sha1, NULL) <= 0
                     ^
  565.                   || EVP_DigestUpdate(ctx, salt[i],
  566.                                       strlen((const char *)salt[i])) <= 0

crypto/evp/digest.c:170:1: parameter `ctx` of EVP_DigestInit_ex
    168.   }
    169.   
    170. > int EVP_DigestInit_ex(EVP_MD_CTX *ctx, const EVP_MD *type, ENGINE *impl)
    171.   {
    172.       EVP_MD_CTX_clear_flags(ctx, EVP_MD_CTX_FLAG_CLEANED);

crypto/evp/digest.c:229:13: when calling `CRYPTO_free` here
    227.       if (ctx->digest != type) {
    228.           if (ctx->digest && ctx->digest->ctx_size)
    229.               OPENSSL_free(ctx->md_data);
                       ^
    230.           ctx->digest = type;
    231.           if (!(ctx->flags & EVP_MD_CTX_FLAG_NO_INIT) && type->ctx_size) {

crypto/mem.c:234:1: parameter `str` of CRYPTO_free
      232.   }
      233.   
      234. > void CRYPTO_free(void *str)
      235.   {
      236.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG

crypto/mem.c:245:5: invalid access occurs here
      243.       }
      244.   #else
      245.       free(str);
                 ^
      246.   #endif
      247.   }
