crypto/dsa/dsa_gen.c:677: error: MEMORY_LEAK
  memory dynamically allocated by call to `BN_MONT_CTX_new()` at line 664, column 17 is not reachable after line 677, column 5.
Showing all 116 steps of the trace


crypto/dsa/dsa_gen.c:647:1: start of procedure dsa_paramgen_check_g()
645.   }
646.   
647. > int dsa_paramgen_check_g(DSA *dsa)
648.   {
649.       BN_CTX *ctx;

crypto/dsa/dsa_gen.c:651:5: 
649.       BN_CTX *ctx;
650.       BIGNUM *tmp;
651. >     BN_MONT_CTX *mont = NULL;
652.       int rv = -1;
653.       ctx = BN_CTX_new();

crypto/dsa/dsa_gen.c:652:5: 
650.       BIGNUM *tmp;
651.       BN_MONT_CTX *mont = NULL;
652. >     int rv = -1;
653.       ctx = BN_CTX_new();
654.       if (ctx == NULL)

crypto/dsa/dsa_gen.c:653:5: 
651.       BN_MONT_CTX *mont = NULL;
652.       int rv = -1;
653. >     ctx = BN_CTX_new();
654.       if (ctx == NULL)
655.           return -1;

crypto/bn/bn_ctx.c:189:1: start of procedure BN_CTX_new()
  187.   
  188.   
  189. > BN_CTX *BN_CTX_new(void)
  190.   {
  191.       BN_CTX *ret;

crypto/bn/bn_ctx.c:193:9: 
  191.       BN_CTX *ret;
  192.   
  193. >     if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) {
  194.           BNerr(BN_F_BN_CTX_NEW, ERR_R_MALLOC_FAILURE);
  195.           return NULL;

crypto/mem.c:157:1: start of procedure CRYPTO_zalloc()
    155.   }
    156.   
    157. > void *CRYPTO_zalloc(size_t num, const char *file, int line)
    158.   {
    159.       void *ret = CRYPTO_malloc(num, file, line);

crypto/mem.c:159:5: 
    157.   void *CRYPTO_zalloc(size_t num, const char *file, int line)
    158.   {
    159. >     void *ret = CRYPTO_malloc(num, file, line);
    160.   
    161.       if (ret != NULL)

crypto/mem.c:120:1: start of procedure CRYPTO_malloc()
      118.   }
      119.   
      120. > void *CRYPTO_malloc(size_t num, const char *file, int line)
      121.   {
      122.       void *ret = NULL;

crypto/mem.c:122:5: 
      120.   void *CRYPTO_malloc(size_t num, const char *file, int line)
      121.   {
      122. >     void *ret = NULL;
      123.   
      124.       if (num <= 0)

crypto/mem.c:124:9: Taking false branch
      122.       void *ret = NULL;
      123.   
      124.       if (num <= 0)
                     ^
      125.           return NULL;
      126.   

crypto/mem.c:127:5: 
      125.           return NULL;
      126.   
      127. >     allow_customize = 0;
      128.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG
      129.       if (call_malloc_debug) {

crypto/mem.c:137:5: 
      135.       }
      136.   #else
      137. >     (void)file;
      138.       (void)line;
      139.       ret = malloc(num);

crypto/mem.c:138:5: 
      136.   #else
      137.       (void)file;
      138. >     (void)line;
      139.       ret = malloc(num);
      140.   #endif

crypto/mem.c:139:5: 
      137.       (void)file;
      138.       (void)line;
      139. >     ret = malloc(num);
      140.   #endif
      141.   

crypto/mem.c:154:5: 
      152.   #endif
      153.   
      154. >     return ret;
      155.   }
      156.   

crypto/mem.c:155:1: return from a call to CRYPTO_malloc
      153.   
      154.       return ret;
      155. > }
      156.   
      157.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/mem.c:161:9: Taking true branch
    159.       void *ret = CRYPTO_malloc(num, file, line);
    160.   
    161.       if (ret != NULL)
                   ^
    162.           memset(ret, 0, num);
    163.       return ret;

crypto/mem.c:162:9: 
    160.   
    161.       if (ret != NULL)
    162. >         memset(ret, 0, num);
    163.       return ret;
    164.   }

crypto/mem.c:163:5: 
    161.       if (ret != NULL)
    162.           memset(ret, 0, num);
    163. >     return ret;
    164.   }
    165.   

crypto/mem.c:164:1: return from a call to CRYPTO_zalloc
    162.           memset(ret, 0, num);
    163.       return ret;
    164. > }
    165.   
    166.   void *CRYPTO_realloc(void *str, size_t num, const char *file, int line)

crypto/bn/bn_ctx.c:193:9: Taking false branch
  191.       BN_CTX *ret;
  192.   
  193.       if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) {
                 ^
  194.           BNerr(BN_F_BN_CTX_NEW, ERR_R_MALLOC_FAILURE);
  195.           return NULL;

crypto/bn/bn_ctx.c:198:5: 
  196.       }
  197.       /* Initialise the structure */
  198. >     BN_POOL_init(&ret->pool);
  199.       BN_STACK_init(&ret->stack);
  200.       return ret;

crypto/bn/bn_ctx.c:335:1: start of procedure BN_POOL_init()
    333.   /***********/
    334.   
    335. > static void BN_POOL_init(BN_POOL *p)
    336.   {
    337.       p->head = p->current = p->tail = NULL;

crypto/bn/bn_ctx.c:337:5: 
    335.   static void BN_POOL_init(BN_POOL *p)
    336.   {
    337. >     p->head = p->current = p->tail = NULL;
    338.       p->used = p->size = 0;
    339.   }

crypto/bn/bn_ctx.c:338:5: 
    336.   {
    337.       p->head = p->current = p->tail = NULL;
    338. >     p->used = p->size = 0;
    339.   }
    340.   

crypto/bn/bn_ctx.c:339:1: return from a call to BN_POOL_init
    337.       p->head = p->current = p->tail = NULL;
    338.       p->used = p->size = 0;
    339. > }
    340.   
    341.   static void BN_POOL_finish(BN_POOL *p)

crypto/bn/bn_ctx.c:199:5: 
  197.       /* Initialise the structure */
  198.       BN_POOL_init(&ret->pool);
  199. >     BN_STACK_init(&ret->stack);
  200.       return ret;
  201.   }

crypto/bn/bn_ctx.c:294:1: start of procedure BN_STACK_init()
    292.   /************/
    293.   
    294. > static void BN_STACK_init(BN_STACK *st)
    295.   {
    296.       st->indexes = NULL;

crypto/bn/bn_ctx.c:296:5: 
    294.   static void BN_STACK_init(BN_STACK *st)
    295.   {
    296. >     st->indexes = NULL;
    297.       st->depth = st->size = 0;
    298.   }

crypto/bn/bn_ctx.c:297:5: 
    295.   {
    296.       st->indexes = NULL;
    297. >     st->depth = st->size = 0;
    298.   }
    299.   

crypto/bn/bn_ctx.c:298:1: return from a call to BN_STACK_init
    296.       st->indexes = NULL;
    297.       st->depth = st->size = 0;
    298. > }
    299.   
    300.   static void BN_STACK_finish(BN_STACK *st)

crypto/bn/bn_ctx.c:200:5: 
  198.       BN_POOL_init(&ret->pool);
  199.       BN_STACK_init(&ret->stack);
  200. >     return ret;
  201.   }
  202.   

crypto/bn/bn_ctx.c:201:1: return from a call to BN_CTX_new
  199.       BN_STACK_init(&ret->stack);
  200.       return ret;
  201. > }
  202.   
  203.   BN_CTX *BN_CTX_secure_new(void)

crypto/dsa/dsa_gen.c:654:9: Taking false branch
652.       int rv = -1;
653.       ctx = BN_CTX_new();
654.       if (ctx == NULL)
               ^
655.           return -1;
656.       BN_CTX_start(ctx);

crypto/dsa/dsa_gen.c:656:5: 
654.       if (ctx == NULL)
655.           return -1;
656. >     BN_CTX_start(ctx);
657.       if (BN_cmp(dsa->g, BN_value_one()) <= 0)
658.           return 0;

crypto/bn/bn_ctx.c:236:1: start of procedure BN_CTX_start()
  234.   }
  235.   
  236. > void BN_CTX_start(BN_CTX *ctx)
  237.   {
  238.       CTXDBG_ENTRY("BN_CTX_start", ctx);

crypto/bn/bn_ctx.c:240:9: Taking true branch
  238.       CTXDBG_ENTRY("BN_CTX_start", ctx);
  239.       /* If we're already overflowing ... */
  240.       if (ctx->err_stack || ctx->too_many)
                 ^
  241.           ctx->err_stack++;
  242.       /* (Try to) get a new frame pointer */

crypto/bn/bn_ctx.c:241:9: 
  239.       /* If we're already overflowing ... */
  240.       if (ctx->err_stack || ctx->too_many)
  241. >         ctx->err_stack++;
  242.       /* (Try to) get a new frame pointer */
  243.       else if (!BN_STACK_push(&ctx->stack, ctx->used)) {

crypto/bn/bn_ctx.c:240:5: 
  238.       CTXDBG_ENTRY("BN_CTX_start", ctx);
  239.       /* If we're already overflowing ... */
  240. >     if (ctx->err_stack || ctx->too_many)
  241.           ctx->err_stack++;
  242.       /* (Try to) get a new frame pointer */

crypto/bn/bn_ctx.c:248:1: return from a call to BN_CTX_start
  246.       }
  247.       CTXDBG_EXIT(ctx);
  248. > }
  249.   
  250.   void BN_CTX_end(BN_CTX *ctx)

crypto/dsa/dsa_gen.c:657:9: 
655.           return -1;
656.       BN_CTX_start(ctx);
657. >     if (BN_cmp(dsa->g, BN_value_one()) <= 0)
658.           return 0;
659.       if (BN_cmp(dsa->g, dsa->p) >= 0)

crypto/bn/bn_lib.c:134:1: start of procedure BN_value_one()
  132.   #endif
  133.   
  134. > const BIGNUM *BN_value_one(void)
  135.   {
  136.       static const BN_ULONG data_one = 1L;

crypto/bn/bn_lib.c:136:5: 
  134.   const BIGNUM *BN_value_one(void)
  135.   {
  136. >     static const BN_ULONG data_one = 1L;
  137.       static const BIGNUM const_one =
  138.           { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };

crypto/bn/bn_lib.c:137:5: 
  135.   {
  136.       static const BN_ULONG data_one = 1L;
  137. >     static const BIGNUM const_one =
  138.           { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };
  139.   

crypto/bn/bn_lib.c:140:5: 
  138.           { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };
  139.   
  140. >     return (&const_one);
  141.   }
  142.   

crypto/bn/bn_lib.c:141:1: return from a call to BN_value_one
  139.   
  140.       return (&const_one);
  141. > }
  142.   
  143.   int BN_num_bits_word(BN_ULONG l)

crypto/dsa/dsa_gen.c:657:9: Taking false branch
655.           return -1;
656.       BN_CTX_start(ctx);
657.       if (BN_cmp(dsa->g, BN_value_one()) <= 0)
               ^
658.           return 0;
659.       if (BN_cmp(dsa->g, dsa->p) >= 0)

crypto/dsa/dsa_gen.c:659:9: Taking false branch
657.       if (BN_cmp(dsa->g, BN_value_one()) <= 0)
658.           return 0;
659.       if (BN_cmp(dsa->g, dsa->p) >= 0)
               ^
660.           return 0;
661.       tmp = BN_CTX_get(ctx);

crypto/dsa/dsa_gen.c:661:5: 
659.       if (BN_cmp(dsa->g, dsa->p) >= 0)
660.           return 0;
661. >     tmp = BN_CTX_get(ctx);
662.       if (!tmp)
663.           goto err;

crypto/bn/bn_ctx.c:267:1: start of procedure BN_CTX_get()
  265.   }
  266.   
  267. > BIGNUM *BN_CTX_get(BN_CTX *ctx)
  268.   {
  269.       BIGNUM *ret;

crypto/bn/bn_ctx.c:272:9: Taking false branch
  270.   
  271.       CTXDBG_ENTRY("BN_CTX_get", ctx);
  272.       if (ctx->err_stack || ctx->too_many)
                 ^
  273.           return NULL;
  274.       if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) {

crypto/bn/bn_ctx.c:272:27: Taking false branch
  270.   
  271.       CTXDBG_ENTRY("BN_CTX_get", ctx);
  272.       if (ctx->err_stack || ctx->too_many)
                                   ^
  273.           return NULL;
  274.       if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) {

crypto/bn/bn_ctx.c:274:9: Taking false branch
  272.       if (ctx->err_stack || ctx->too_many)
  273.           return NULL;
  274.       if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) {
                 ^
  275.           /*
  276.            * Setting too_many prevents repeated "get" attempts from cluttering

crypto/bn/bn_ctx.c:284:5: 
  282.       }
  283.       /* OK, make sure the returned bignum is "zero" */
  284. >     BN_zero(ret);
  285.       ctx->used++;
  286.       CTXDBG_RET(ctx, ret);

crypto/bn/bn_lib.c:530:1: start of procedure BN_set_word()
    528.   }
    529.   
    530. > int BN_set_word(BIGNUM *a, BN_ULONG w)
    531.   {
    532.       bn_check_top(a);

crypto/bn/bn_lib.c:533:9: Condition is true
    531.   {
    532.       bn_check_top(a);
    533.       if (bn_expand(a, (int)sizeof(BN_ULONG) * 8) == NULL)
                   ^
    534.           return (0);
    535.       a->neg = 0;

crypto/bn/bn_lib.c:533:9: Taking false branch
    531.   {
    532.       bn_check_top(a);
    533.       if (bn_expand(a, (int)sizeof(BN_ULONG) * 8) == NULL)
                   ^
    534.           return (0);
    535.       a->neg = 0;

crypto/bn/bn_lib.c:535:5: 
    533.       if (bn_expand(a, (int)sizeof(BN_ULONG) * 8) == NULL)
    534.           return (0);
    535. >     a->neg = 0;
    536.       a->d[0] = w;
    537.       a->top = (w ? 1 : 0);

crypto/bn/bn_lib.c:536:5: 
    534.           return (0);
    535.       a->neg = 0;
    536. >     a->d[0] = w;
    537.       a->top = (w ? 1 : 0);
    538.       bn_check_top(a);

crypto/bn/bn_lib.c:537:15: Condition is false
    535.       a->neg = 0;
    536.       a->d[0] = w;
    537.       a->top = (w ? 1 : 0);
                         ^
    538.       bn_check_top(a);
    539.       return (1);

crypto/bn/bn_lib.c:537:5: 
    535.       a->neg = 0;
    536.       a->d[0] = w;
    537. >     a->top = (w ? 1 : 0);
    538.       bn_check_top(a);
    539.       return (1);

crypto/bn/bn_lib.c:539:5: 
    537.       a->top = (w ? 1 : 0);
    538.       bn_check_top(a);
    539. >     return (1);
    540.   }
    541.   

crypto/bn/bn_lib.c:540:1: return from a call to BN_set_word
    538.       bn_check_top(a);
    539.       return (1);
    540. > }
    541.   
    542.   BIGNUM *BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret)

crypto/bn/bn_ctx.c:285:5: 
  283.       /* OK, make sure the returned bignum is "zero" */
  284.       BN_zero(ret);
  285. >     ctx->used++;
  286.       CTXDBG_RET(ctx, ret);
  287.       return ret;

crypto/bn/bn_ctx.c:287:5: 
  285.       ctx->used++;
  286.       CTXDBG_RET(ctx, ret);
  287. >     return ret;
  288.   }
  289.   

crypto/bn/bn_ctx.c:288:1: return from a call to BN_CTX_get
  286.       CTXDBG_RET(ctx, ret);
  287.       return ret;
  288. > }
  289.   
  290.   /************/

crypto/dsa/dsa_gen.c:662:10: Taking false branch
660.           return 0;
661.       tmp = BN_CTX_get(ctx);
662.       if (!tmp)
                ^
663.           goto err;
664.       if ((mont = BN_MONT_CTX_new()) == NULL)

crypto/dsa/dsa_gen.c:664:9: 
662.       if (!tmp)
663.           goto err;
664. >     if ((mont = BN_MONT_CTX_new()) == NULL)
665.           goto err;
666.       if (!BN_MONT_CTX_set(mont, dsa->p, ctx))

crypto/bn/bn_mont.c:315:1: start of procedure BN_MONT_CTX_new()
  313.   }
  314.   
  315. > BN_MONT_CTX *BN_MONT_CTX_new(void)
  316.   {
  317.       BN_MONT_CTX *ret;

crypto/bn/bn_mont.c:319:9: 
  317.       BN_MONT_CTX *ret;
  318.   
  319. >     if ((ret = OPENSSL_malloc(sizeof(*ret))) == NULL)
  320.           return (NULL);
  321.   

crypto/mem.c:120:1: start of procedure CRYPTO_malloc()
    118.   }
    119.   
    120. > void *CRYPTO_malloc(size_t num, const char *file, int line)
    121.   {
    122.       void *ret = NULL;

crypto/mem.c:122:5: 
    120.   void *CRYPTO_malloc(size_t num, const char *file, int line)
    121.   {
    122. >     void *ret = NULL;
    123.   
    124.       if (num <= 0)

crypto/mem.c:124:9: Taking false branch
    122.       void *ret = NULL;
    123.   
    124.       if (num <= 0)
                   ^
    125.           return NULL;
    126.   

crypto/mem.c:127:5: 
    125.           return NULL;
    126.   
    127. >     allow_customize = 0;
    128.   #ifndef OPENSSL_NO_CRYPTO_MDEBUG
    129.       if (call_malloc_debug) {

crypto/mem.c:137:5: 
    135.       }
    136.   #else
    137. >     (void)file;
    138.       (void)line;
    139.       ret = malloc(num);

crypto/mem.c:138:5: 
    136.   #else
    137.       (void)file;
    138. >     (void)line;
    139.       ret = malloc(num);
    140.   #endif

crypto/mem.c:139:5: 
    137.       (void)file;
    138.       (void)line;
    139. >     ret = malloc(num);
    140.   #endif
    141.   

crypto/mem.c:154:5: 
    152.   #endif
    153.   
    154. >     return ret;
    155.   }
    156.   

crypto/mem.c:155:1: return from a call to CRYPTO_malloc
    153.   
    154.       return ret;
    155. > }
    156.   
    157.   void *CRYPTO_zalloc(size_t num, const char *file, int line)

crypto/bn/bn_mont.c:319:9: Taking false branch
  317.       BN_MONT_CTX *ret;
  318.   
  319.       if ((ret = OPENSSL_malloc(sizeof(*ret))) == NULL)
                 ^
  320.           return (NULL);
  321.   

crypto/bn/bn_mont.c:322:5: 
  320.           return (NULL);
  321.   
  322. >     BN_MONT_CTX_init(ret);
  323.       ret->flags = BN_FLG_MALLOCED;
  324.       return (ret);

crypto/bn/bn_mont.c:327:1: start of procedure BN_MONT_CTX_init()
    325.   }
    326.   
    327. > void BN_MONT_CTX_init(BN_MONT_CTX *ctx)
    328.   {
    329.       ctx->ri = 0;

crypto/bn/bn_mont.c:329:5: 
    327.   void BN_MONT_CTX_init(BN_MONT_CTX *ctx)
    328.   {
    329. >     ctx->ri = 0;
    330.       bn_init(&(ctx->RR));
    331.       bn_init(&(ctx->N));

crypto/bn/bn_mont.c:330:5: Skipping bn_init(): empty list of specs
    328.   {
    329.       ctx->ri = 0;
    330.       bn_init(&(ctx->RR));
               ^
    331.       bn_init(&(ctx->N));
    332.       bn_init(&(ctx->Ni));

crypto/bn/bn_mont.c:331:5: Skipping bn_init(): empty list of specs
    329.       ctx->ri = 0;
    330.       bn_init(&(ctx->RR));
    331.       bn_init(&(ctx->N));
               ^
    332.       bn_init(&(ctx->Ni));
    333.       ctx->n0[0] = ctx->n0[1] = 0;

crypto/bn/bn_mont.c:332:5: Skipping bn_init(): empty list of specs
    330.       bn_init(&(ctx->RR));
    331.       bn_init(&(ctx->N));
    332.       bn_init(&(ctx->Ni));
               ^
    333.       ctx->n0[0] = ctx->n0[1] = 0;
    334.       ctx->flags = 0;

crypto/bn/bn_mont.c:333:5: 
    331.       bn_init(&(ctx->N));
    332.       bn_init(&(ctx->Ni));
    333. >     ctx->n0[0] = ctx->n0[1] = 0;
    334.       ctx->flags = 0;
    335.   }

crypto/bn/bn_mont.c:334:5: 
    332.       bn_init(&(ctx->Ni));
    333.       ctx->n0[0] = ctx->n0[1] = 0;
    334. >     ctx->flags = 0;
    335.   }
    336.   

crypto/bn/bn_mont.c:335:1: return from a call to BN_MONT_CTX_init
    333.       ctx->n0[0] = ctx->n0[1] = 0;
    334.       ctx->flags = 0;
    335. > }
    336.   
    337.   void BN_MONT_CTX_free(BN_MONT_CTX *mont)

crypto/bn/bn_mont.c:323:5: 
  321.   
  322.       BN_MONT_CTX_init(ret);
  323. >     ret->flags = BN_FLG_MALLOCED;
  324.       return (ret);
  325.   }

crypto/bn/bn_mont.c:324:5: 
  322.       BN_MONT_CTX_init(ret);
  323.       ret->flags = BN_FLG_MALLOCED;
  324. >     return (ret);
  325.   }
  326.   

crypto/bn/bn_mont.c:325:1: return from a call to BN_MONT_CTX_new
  323.       ret->flags = BN_FLG_MALLOCED;
  324.       return (ret);
  325. > }
  326.   
  327.   void BN_MONT_CTX_init(BN_MONT_CTX *ctx)

crypto/dsa/dsa_gen.c:664:9: Taking false branch
662.       if (!tmp)
663.           goto err;
664.       if ((mont = BN_MONT_CTX_new()) == NULL)
               ^
665.           goto err;
666.       if (!BN_MONT_CTX_set(mont, dsa->p, ctx))

crypto/dsa/dsa_gen.c:666:10: Taking false branch
664.       if ((mont = BN_MONT_CTX_new()) == NULL)
665.           goto err;
666.       if (!BN_MONT_CTX_set(mont, dsa->p, ctx))
                ^
667.           goto err;
668.       /* Work out g^q mod p */

crypto/dsa/dsa_gen.c:669:10: 
667.           goto err;
668.       /* Work out g^q mod p */
669. >     if (!BN_mod_exp_mont(tmp, dsa->g, dsa->q, dsa->p, ctx, mont))
670.           goto err;
671.       if (!BN_cmp(tmp, BN_value_one()))

crypto/bn/bn_exp.c:401:1: start of procedure BN_mod_exp_mont()
  399.   }
  400.   
  401. > int BN_mod_exp_mont(BIGNUM *rr, const BIGNUM *a, const BIGNUM *p,
  402.                       const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
  403.   {

crypto/bn/bn_exp.c:404:5: 
  402.                       const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)
  403.   {
  404. >     int i, j, bits, ret = 0, wstart, wend, window, wvalue;
  405.       int start = 1;
  406.       BIGNUM *d, *r;

crypto/bn/bn_exp.c:405:5: 
  403.   {
  404.       int i, j, bits, ret = 0, wstart, wend, window, wvalue;
  405. >     int start = 1;
  406.       BIGNUM *d, *r;
  407.       const BIGNUM *aa;

crypto/bn/bn_exp.c:410:5: 
  408.       /* Table of variables obtained from 'ctx' */
  409.       BIGNUM *val[TABLE_SIZE];
  410. >     BN_MONT_CTX *mont = NULL;
  411.   
  412.       if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0) {

crypto/bn/bn_exp.c:412:9: 
  410.       BN_MONT_CTX *mont = NULL;
  411.   
  412. >     if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0) {
  413.           return BN_mod_exp_mont_consttime(rr, a, p, m, ctx, in_mont);
  414.       }

crypto/bn/bn_lib.c:965:1: start of procedure BN_get_flags()
    963.   }
    964.   
    965. > int BN_get_flags(const BIGNUM *b, int n)
    966.   {
    967.       return b->flags & n;

crypto/bn/bn_lib.c:967:5: 
    965.   int BN_get_flags(const BIGNUM *b, int n)
    966.   {
    967. >     return b->flags & n;
    968.   }
    969.   

crypto/bn/bn_lib.c:968:1: return from a call to BN_get_flags
    966.   {
    967.       return b->flags & n;
    968. > }
    969.   
    970.   /* Populate a BN_GENCB structure with an "old"-style callback */

crypto/bn/bn_exp.c:412:9: Taking true branch
  410.       BN_MONT_CTX *mont = NULL;
  411.   
  412.       if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0) {
                 ^
  413.           return BN_mod_exp_mont_consttime(rr, a, p, m, ctx, in_mont);
  414.       }

crypto/bn/bn_exp.c:413:9: Skipping BN_mod_exp_mont_consttime(): empty list of specs
  411.   
  412.       if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0) {
  413.           return BN_mod_exp_mont_consttime(rr, a, p, m, ctx, in_mont);
                 ^
  414.       }
  415.   

crypto/bn/bn_exp.c:577:1: return from a call to BN_mod_exp_mont
  575.       bn_check_top(rr);
  576.       return (ret);
  577. > }
  578.   
  579.   #if defined(SPARC_T4_MONT)

crypto/dsa/dsa_gen.c:669:10: Taking true branch
667.           goto err;
668.       /* Work out g^q mod p */
669.       if (!BN_mod_exp_mont(tmp, dsa->g, dsa->q, dsa->p, ctx, mont))
                ^
670.           goto err;
671.       if (!BN_cmp(tmp, BN_value_one()))

crypto/dsa/dsa_gen.c:675:2: 
673.       else
674.           rv = 0;
675. >  err:
676.       BN_CTX_end(ctx);
677.       BN_MONT_CTX_free(mont);

crypto/dsa/dsa_gen.c:676:5: 
674.           rv = 0;
675.    err:
676. >     BN_CTX_end(ctx);
677.       BN_MONT_CTX_free(mont);
678.       BN_CTX_free(ctx);

crypto/bn/bn_ctx.c:250:1: start of procedure BN_CTX_end()
  248.   }
  249.   
  250. > void BN_CTX_end(BN_CTX *ctx)
  251.   {
  252.       CTXDBG_ENTRY("BN_CTX_end", ctx);

crypto/bn/bn_ctx.c:253:9: Taking true branch
  251.   {
  252.       CTXDBG_ENTRY("BN_CTX_end", ctx);
  253.       if (ctx->err_stack)
                 ^
  254.           ctx->err_stack--;
  255.       else {

crypto/bn/bn_ctx.c:254:9: 
  252.       CTXDBG_ENTRY("BN_CTX_end", ctx);
  253.       if (ctx->err_stack)
  254. >         ctx->err_stack--;
  255.       else {
  256.           unsigned int fp = BN_STACK_pop(&ctx->stack);

crypto/bn/bn_ctx.c:253:5: 
  251.   {
  252.       CTXDBG_ENTRY("BN_CTX_end", ctx);
  253. >     if (ctx->err_stack)
  254.           ctx->err_stack--;
  255.       else {

crypto/bn/bn_ctx.c:265:1: return from a call to BN_CTX_end
  263.       }
  264.       CTXDBG_EXIT(ctx);
  265. > }
  266.   
  267.   BIGNUM *BN_CTX_get(BN_CTX *ctx)

crypto/dsa/dsa_gen.c:677:5: Skipping BN_MONT_CTX_free(): empty list of specs
675.    err:
676.       BN_CTX_end(ctx);
677.       BN_MONT_CTX_free(mont);
           ^
678.       BN_CTX_free(ctx);
679.       return rv;

int dsa_paramgen_check_g(DSA *dsa)
{
    BN_CTX *ctx;
    BIGNUM *tmp;
    BN_MONT_CTX *mont = NULL;
    int rv = -1;
    ctx = BN_CTX_new();
    if (ctx == NULL)
        return -1;
    BN_CTX_start(ctx);
    if (BN_cmp(dsa->g, BN_value_one()) <= 0)
        return 0;
    if (BN_cmp(dsa->g, dsa->p) >= 0)
        return 0;
    tmp = BN_CTX_get(ctx);
    if (!tmp)
        goto err;
    if ((mont = BN_MONT_CTX_new()) == NULL)
        goto err;
    if (!BN_MONT_CTX_set(mont, dsa->p, ctx))
        goto err;
    if (!BN_mod_exp_mont(tmp, dsa->g, dsa->q, dsa->p, ctx, mont))
        goto err;
    if (!BN_cmp(tmp, BN_value_one()))
        rv = 1;
    else
        rv = 0;
 err:
    BN_CTX_end(ctx);
    BN_MONT_CTX_free(mont);
    BN_CTX_free(ctx);
    return rv;
}
['int dsa_paramgen_check_g(DSA *dsa)\n{\n    BN_CTX *ctx;\n    BIGNUM *tmp;\n    BN_MONT_CTX *mont = NULL;\n    int rv = -1;\n    ctx = BN_CTX_new();\n    if (ctx == NULL)\n        return -1;\n    BN_CTX_start(ctx);\n    if (BN_cmp(dsa->g, BN_value_one()) <= 0)\n        return 0;\n    if (BN_cmp(dsa->g, dsa->p) >= 0)\n        return 0;\n    tmp = BN_CTX_get(ctx);\n    if (!tmp)\n        goto err;\n    if ((mont = BN_MONT_CTX_new()) == NULL)\n        goto err;\n    if (!BN_MONT_CTX_set(mont, dsa->p, ctx))\n        goto err;\n    if (!BN_mod_exp_mont(tmp, dsa->g, dsa->q, dsa->p, ctx, mont))\n        goto err;\n    if (!BN_cmp(tmp, BN_value_one()))\n        rv = 1;\n    else\n        rv = 0;\n err:\n    BN_CTX_end(ctx);\n    BN_MONT_CTX_free(mont);\n    BN_CTX_free(ctx);\n    return rv;\n}', 'BN_CTX *BN_CTX_new(void)\n{\n    BN_CTX *ret;\n    if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) {\n        BNerr(BN_F_BN_CTX_NEW, ERR_R_MALLOC_FAILURE);\n        return NULL;\n    }\n    BN_POOL_init(&ret->pool);\n    BN_STACK_init(&ret->stack);\n    return ret;\n}', 'void *CRYPTO_zalloc(size_t num, const char *file, int line)\n{\n    void *ret = CRYPTO_malloc(num, file, line);\n    if (ret != NULL)\n        memset(ret, 0, num);\n    return ret;\n}', 'void *CRYPTO_malloc(size_t num, const char *file, int line)\n{\n    void *ret = NULL;\n    if (num <= 0)\n        return NULL;\n    allow_customize = 0;\n#ifndef OPENSSL_NO_CRYPTO_MDEBUG\n    if (call_malloc_debug) {\n        CRYPTO_mem_debug_malloc(NULL, num, 0, file, line);\n        ret = malloc(num);\n        CRYPTO_mem_debug_malloc(ret, num, 1, file, line);\n    } else {\n        ret = malloc(num);\n    }\n#else\n    (void)file;\n    (void)line;\n    ret = malloc(num);\n#endif\n#ifndef OPENSSL_CPUID_OBJ\n    if (ret && (num > 2048)) {\n        extern unsigned char cleanse_ctr;\n        ((unsigned char *)ret)[0] = cleanse_ctr;\n    }\n#endif\n    return ret;\n}', 'static void BN_POOL_init(BN_POOL *p)\n{\n    p->head = p->current = p->tail = NULL;\n    p->used = p->size = 0;\n}', 'static void BN_STACK_init(BN_STACK *st)\n{\n    st->indexes = NULL;\n    st->depth = st->size = 0;\n}', 'void BN_CTX_start(BN_CTX *ctx)\n{\n    CTXDBG_ENTRY("BN_CTX_start", ctx);\n    if (ctx->err_stack || ctx->too_many)\n        ctx->err_stack++;\n    else if (!BN_STACK_push(&ctx->stack, ctx->used)) {\n        BNerr(BN_F_BN_CTX_START, BN_R_TOO_MANY_TEMPORARY_VARIABLES);\n        ctx->err_stack++;\n    }\n    CTXDBG_EXIT(ctx);\n}', 'const BIGNUM *BN_value_one(void)\n{\n    static const BN_ULONG data_one = 1L;\n    static const BIGNUM const_one =\n        { (BN_ULONG *)&data_one, 1, 1, 0, BN_FLG_STATIC_DATA };\n    return (&const_one);\n}', 'BIGNUM *BN_CTX_get(BN_CTX *ctx)\n{\n    BIGNUM *ret;\n    CTXDBG_ENTRY("BN_CTX_get", ctx);\n    if (ctx->err_stack || ctx->too_many)\n        return NULL;\n    if ((ret = BN_POOL_get(&ctx->pool, ctx->flags)) == NULL) {\n        ctx->too_many = 1;\n        BNerr(BN_F_BN_CTX_GET, BN_R_TOO_MANY_TEMPORARY_VARIABLES);\n        return NULL;\n    }\n    BN_zero(ret);\n    ctx->used++;\n    CTXDBG_RET(ctx, ret);\n    return ret;\n}', 'int BN_set_word(BIGNUM *a, BN_ULONG w)\n{\n    bn_check_top(a);\n    if (bn_expand(a, (int)sizeof(BN_ULONG) * 8) == NULL)\n        return (0);\n    a->neg = 0;\n    a->d[0] = w;\n    a->top = (w ? 1 : 0);\n    bn_check_top(a);\n    return (1);\n}', 'BN_MONT_CTX *BN_MONT_CTX_new(void)\n{\n    BN_MONT_CTX *ret;\n    if ((ret = OPENSSL_malloc(sizeof(*ret))) == NULL)\n        return (NULL);\n    BN_MONT_CTX_init(ret);\n    ret->flags = BN_FLG_MALLOCED;\n    return (ret);\n}', 'void BN_MONT_CTX_init(BN_MONT_CTX *ctx)\n{\n    ctx->ri = 0;\n    bn_init(&(ctx->RR));\n    bn_init(&(ctx->N));\n    bn_init(&(ctx->Ni));\n    ctx->n0[0] = ctx->n0[1] = 0;\n    ctx->flags = 0;\n}', 'int BN_mod_exp_mont(BIGNUM *rr, const BIGNUM *a, const BIGNUM *p,\n                    const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *in_mont)\n{\n    int i, j, bits, ret = 0, wstart, wend, window, wvalue;\n    int start = 1;\n    BIGNUM *d, *r;\n    const BIGNUM *aa;\n    BIGNUM *val[TABLE_SIZE];\n    BN_MONT_CTX *mont = NULL;\n    if (BN_get_flags(p, BN_FLG_CONSTTIME) != 0) {\n        return BN_mod_exp_mont_consttime(rr, a, p, m, ctx, in_mont);\n    }\n    bn_check_top(a);\n    bn_check_top(p);\n    bn_check_top(m);\n    if (!BN_is_odd(m)) {\n        BNerr(BN_F_BN_MOD_EXP_MONT, BN_R_CALLED_WITH_EVEN_MODULUS);\n        return (0);\n    }\n    bits = BN_num_bits(p);\n    if (bits == 0) {\n        if (BN_is_one(m)) {\n            ret = 1;\n            BN_zero(rr);\n        } else {\n            ret = BN_one(rr);\n        }\n        return ret;\n    }\n    BN_CTX_start(ctx);\n    d = BN_CTX_get(ctx);\n    r = BN_CTX_get(ctx);\n    val[0] = BN_CTX_get(ctx);\n    if (!d || !r || !val[0])\n        goto err;\n    if (in_mont != NULL)\n        mont = in_mont;\n    else {\n        if ((mont = BN_MONT_CTX_new()) == NULL)\n            goto err;\n        if (!BN_MONT_CTX_set(mont, m, ctx))\n            goto err;\n    }\n    if (a->neg || BN_ucmp(a, m) >= 0) {\n        if (!BN_nnmod(val[0], a, m, ctx))\n            goto err;\n        aa = val[0];\n    } else\n        aa = a;\n    if (BN_is_zero(aa)) {\n        BN_zero(rr);\n        ret = 1;\n        goto err;\n    }\n    if (!BN_to_montgomery(val[0], aa, mont, ctx))\n        goto err;\n    window = BN_window_bits_for_exponent_size(bits);\n    if (window > 1) {\n        if (!BN_mod_mul_montgomery(d, val[0], val[0], mont, ctx))\n            goto err;\n        j = 1 << (window - 1);\n        for (i = 1; i < j; i++) {\n            if (((val[i] = BN_CTX_get(ctx)) == NULL) ||\n                !BN_mod_mul_montgomery(val[i], val[i - 1], d, mont, ctx))\n                goto err;\n        }\n    }\n    start = 1;\n    wvalue = 0;\n    wstart = bits - 1;\n    wend = 0;\n#if 1\n    j = m->top;\n    if (m->d[j - 1] & (((BN_ULONG)1) << (BN_BITS2 - 1))) {\n        if (bn_wexpand(r, j) == NULL)\n            goto err;\n        r->d[0] = (0 - m->d[0]) & BN_MASK2;\n        for (i = 1; i < j; i++)\n            r->d[i] = (~m->d[i]) & BN_MASK2;\n        r->top = j;\n        bn_correct_top(r);\n    } else\n#endif\n    if (!BN_to_montgomery(r, BN_value_one(), mont, ctx))\n        goto err;\n    for (;;) {\n        if (BN_is_bit_set(p, wstart) == 0) {\n            if (!start) {\n                if (!BN_mod_mul_montgomery(r, r, r, mont, ctx))\n                    goto err;\n            }\n            if (wstart == 0)\n                break;\n            wstart--;\n            continue;\n        }\n        j = wstart;\n        wvalue = 1;\n        wend = 0;\n        for (i = 1; i < window; i++) {\n            if (wstart - i < 0)\n                break;\n            if (BN_is_bit_set(p, wstart - i)) {\n                wvalue <<= (i - wend);\n                wvalue |= 1;\n                wend = i;\n            }\n        }\n        j = wend + 1;\n        if (!start)\n            for (i = 0; i < j; i++) {\n                if (!BN_mod_mul_montgomery(r, r, r, mont, ctx))\n                    goto err;\n            }\n        if (!BN_mod_mul_montgomery(r, r, val[wvalue >> 1], mont, ctx))\n            goto err;\n        wstart -= wend + 1;\n        wvalue = 0;\n        start = 0;\n        if (wstart < 0)\n            break;\n    }\n#if defined(SPARC_T4_MONT)\n    if (OPENSSL_sparcv9cap_P[0] & (SPARCV9_VIS3 | SPARCV9_PREFER_FPU)) {\n        j = mont->N.top;\n        val[0]->d[0] = 1;\n        for (i = 1; i < j; i++)\n            val[0]->d[i] = 0;\n        val[0]->top = j;\n        if (!BN_mod_mul_montgomery(rr, r, val[0], mont, ctx))\n            goto err;\n    } else\n#endif\n    if (!BN_from_montgomery(rr, r, mont, ctx))\n        goto err;\n    ret = 1;\n err:\n    if (in_mont == NULL)\n        BN_MONT_CTX_free(mont);\n    BN_CTX_end(ctx);\n    bn_check_top(rr);\n    return (ret);\n}', 'int BN_get_flags(const BIGNUM *b, int n)\n{\n    return b->flags & n;\n}', 'void BN_CTX_end(BN_CTX *ctx)\n{\n    CTXDBG_ENTRY("BN_CTX_end", ctx);\n    if (ctx->err_stack)\n        ctx->err_stack--;\n    else {\n        unsigned int fp = BN_STACK_pop(&ctx->stack);\n        if (fp < ctx->used)\n            BN_POOL_release(&ctx->pool, ctx->used - fp);\n        ctx->used = fp;\n        ctx->too_many = 0;\n    }\n    CTXDBG_EXIT(ctx);\n}']