OpenCoverage

bn_lib.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/bn/bn_lib.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 static int bn_limit_bits = 0; -

5 static int bn_limit_num = 8; -

6 static int bn_limit_bits_low = 0; -

7 static int bn_limit_num_low = 8; -

8 static int bn_limit_bits_high = 0; -

9 static int bn_limit_num_high = 8; -

10 static int bn_limit_bits_mont = 0; -

11 static int bn_limit_num_mont = 8; -

12 -

13 void -

14 BN_set_params(int mult, int high, int low, int mont) -

15 { -

if (mult >= 0

mult >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

if (mult > (int)(sizeof(int) * 8) - 1

mult > (int)(s...(int) * 8) - 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

mult = sizeof(int) * 8 - 1;

never executed: mult = sizeof(int) * 8 - 1;

19 bn_limit_bits = mult; -

20 bn_limit_num = 1 << mult; -

}

never executed: end of block

if (high >= 0

high >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

if (high > (int)(sizeof(int) * 8) - 1

high > (int)(s...(int) * 8) - 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

high = sizeof(int) * 8 - 1;

never executed: high = sizeof(int) * 8 - 1;

25 bn_limit_bits_high = high; -

26 bn_limit_num_high = 1 << high; -

}

never executed: end of block

if (low >= 0

low >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

if (low > (int)(sizeof(int) * 8) - 1

low > (int)(si...(int) * 8) - 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

low = sizeof(int) * 8 - 1;

never executed: low = sizeof(int) * 8 - 1;

31 bn_limit_bits_low = low; -

32 bn_limit_num_low = 1 << low; -

}

never executed: end of block

if (mont >= 0

mont >= 0	Description
TRUE	never evaluated
FALSE	never evaluated

) {

if (mont > (int)(sizeof(int) * 8) - 1

mont > (int)(s...(int) * 8) - 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

mont = sizeof(int) * 8 - 1;

never executed: mont = sizeof(int) * 8 - 1;

37 bn_limit_bits_mont = mont; -

38 bn_limit_num_mont = 1 << mont; -

}

never executed: end of block

}

never executed: end of block

41 -

42 int -

43 BN_get_params(int which) -

44 { -

if (which == 0

which == 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return (bn_limit_bits);

(bn_limit_bits);

never executed: return (bn_limit_bits);

else if (which == 1

which == 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return (bn_limit_bits_high);

(bn_limit_bits_high);

never executed: return (bn_limit_bits_high);

else if (which == 2

which == 2	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return (bn_limit_bits_low);

(bn_limit_bits_low);

never executed: return (bn_limit_bits_low);

else if (which == 3

which == 3	Description
TRUE	never evaluated
FALSE	never evaluated

)

return

never executed: return (bn_limit_bits_mont);

(bn_limit_bits_mont);

never executed: return (bn_limit_bits_mont);

53 else -

return

never executed: return (0);

(0);

never executed: return (0);

55 } -

56 -

57 -

58 const BIGNUM * -

59 BN_value_one(void) -

60 { -

61 static const unsigned long data_one = 1L; -

62 static const BIGNUM const_one = { -

63 (unsigned long *)&data_one, 1, 1, 0, 0x02 -

64 }; -

65 -

return

executed 222554 times by 14 tests: return (&const_one);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(&const_one);

executed 222554 times by 14 tests: return (&const_one);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

222554

67 } -

68 -

69 int -

70 BN_num_bits_word(unsigned long l) -

71 { -

72 static const unsigned char bits[256] = { -

73 0, 1, 2, 2, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, -

74 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -

75 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, -

76 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, -

77 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, -

78 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, -

79 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, -

80 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, -

81 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

82 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

83 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

84 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

85 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

86 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

87 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

88 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, -

89 }; -

90 -

91 -

if (l & 0xffffffff00000000L

l & 0xffffffff00000000L	Description
TRUE	evaluated 7867498 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 6925827 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

6925827-7867498

if (l & 0xffff000000000000L

l & 0xffff000000000000L	Description
TRUE	evaluated 4572527 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3294971 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

3294971-4572527

if (l & 0xff00000000000000L

l & 0xff00000000000000L	Description
TRUE	evaluated 3115954 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1456573 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

1456573-3115954

return

executed 3115954 times by 14 tests: return (bits[(int)(l >> 56)] + 56);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 56)] + 56);

executed 3115954 times by 14 tests: return (bits[(int)(l >> 56)] + 56);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

3115954

96 } else -

return

executed 1456573 times by 14 tests: return (bits[(int)(l >> 48)] + 48);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 48)] + 48);

executed 1456573 times by 14 tests: return (bits[(int)(l >> 48)] + 48);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1456573

98 } else { -

if (l & 0x0000ff0000000000L

l & 0x0000ff0000000000L	Description
TRUE	evaluated 1677271 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1617700 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

1617700-1677271

100

return

executed 1677271 times by 13 tests: return (bits[(int)(l >> 40)] + 40);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 40)] + 40);

executed 1677271 times by 13 tests: return (bits[(int)(l >> 40)] + 40);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1677271

101 } else -

102

return

executed 1617700 times by 13 tests: return (bits[(int)(l >> 32)] + 32);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 32)] + 32);

executed 1617700 times by 13 tests: return (bits[(int)(l >> 32)] + 32);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1617700

103 } -

104 } else -

105 -

106 { -

107

if (l & 0xffff0000L

l & 0xffff0000L	Description
TRUE	evaluated 3572325 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3353502 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

3353502-3572325

108

if (l & 0xff000000L

l & 0xff000000L	Description
TRUE	evaluated 1923190 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1649135 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

1649135-1923190

109

return

executed 1923190 times by 14 tests: return (bits[(int)(l >> 24L)] + 24);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 24L)] + 24);

executed 1923190 times by 14 tests: return (bits[(int)(l >> 24L)] + 24);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1923190

110 else -

111

return

executed 1649135 times by 14 tests: return (bits[(int)(l >> 16L)] + 16);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 16L)] + 16);

executed 1649135 times by 14 tests: return (bits[(int)(l >> 16L)] + 16);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1649135

112 } else { -

113

if (l & 0xff00L

l & 0xff00L	Description
TRUE	evaluated 1695603 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1657899 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

1657899-1695603

114

return

executed 1695603 times by 14 tests: return (bits[(int)(l >> 8)] + 8);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l >> 8)] + 8);

executed 1695603 times by 14 tests: return (bits[(int)(l >> 8)] + 8);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1695603

115 else -

116

return

executed 1657899 times by 14 tests: return (bits[(int)(l)]);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(bits[(int)(l)]);

executed 1657899 times by 14 tests: return (bits[(int)(l)]);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1657899

117 } -

118 } -

119 } -

120 -

121 int -

122 BN_num_bits(const BIGNUM *a) -

123 { -

124 int i = a->top - 1; -

125 -

126 ; -

127 -

128

if (((

((a)->top == 0)	Description
TRUE	evaluated 52 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest rsa_test
FALSE	evaluated 3351858 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

a)->top == 0)

((a)->top == 0)	Description
TRUE	evaluated 52 times by 5 tests Evaluated by: bntest ecdsatest ectest exptest rsa_test
FALSE	evaluated 3351858 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

52-3351858

129

return

executed 52 times by 5 tests: return 0;

Executed by:

bntest
ecdsatest
ectest
exptest
rsa_test

executed 52 times by 5 tests: return 0;

Executed by:

bntest
ecdsatest
ectest
exptest
rsa_test

130

return

executed 3351858 times by 14 tests: return ((i * 64) + BN_num_bits_word(a->d[i]));

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

((i * 64) + BN_num_bits_word(a->d[i]));

executed 3351858 times by 14 tests: return ((i * 64) + BN_num_bits_word(a->d[i]));

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

3351858

131 } -

132 -

133 void -

134 BN_clear_free(BIGNUM *a) -

135 { -

136 int i; -

137 -

138

if (a ==

a == ((void *)0)	Description
TRUE	evaluated 3284 times by 13 tests Evaluated by: dhtest dsatest ecdhtest ecdsatest ectest freenull libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 80864 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3284-80864

139

((void *)0)

a == ((void *)0)	Description
TRUE	evaluated 3284 times by 13 tests Evaluated by: dhtest dsatest ecdhtest ecdsatest ectest freenull libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 80864 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3284-80864

140 ) -

141

return;

executed 3284 times by 13 tests: return;

Executed by:

dhtest
dsatest
ecdhtest
ecdsatest
ectest
freenull
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

3284

142 ; -

143

if (a->d !=

a->d != ((void *)0)	Description
TRUE	evaluated 77548 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3316 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3316-77548

144

((void *)0)

a->d != ((void *)0)	Description
TRUE	evaluated 77548 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3316 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3316-77548

145

&& !(((a)->flags&(0x02)))

!(((a)->flags&(0x02)))	Description
TRUE	evaluated 77548 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

)

0-77548

146

freezero(a->d, a->dmax * sizeof(a->d[0]));

executed 77548 times by 15 tests: freezero(a->d, a->dmax * sizeof(a->d[0]));

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

77548

147 i = ((a)->flags&(0x01)); -

148 explicit_bzero(a, sizeof(BIGNUM)); -

149

if (i

i	Description
TRUE	evaluated 9442 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test servertest ssltest tlstest
FALSE	evaluated 71422 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

9442-71422

150

free(a);

executed 9442 times by 14 tests: free(a);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
rsa_test
servertest
ssltest
tlstest

9442

151

}

executed 80864 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

80864

152 -

153 void -

154 BN_free(BIGNUM *a) -

155 { -

156 BN_clear_free(a); -

157

}

executed 27735 times by 16 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
freenull
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

27735

158 -

159 void -

160 BN_init(BIGNUM *a) -

161 { -

162 memset(a, 0, sizeof(BIGNUM)); -

163 ; -

164

}

executed 93037 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

93037

165 -

166 BIGNUM * -

167 BN_new(void) -

168 { -

169 BIGNUM *ret; -

170 -

171

if ((

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 9458 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

ret = malloc(sizeof(BIGNUM))) ==

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 9458 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-9458

172

((void *)0)

(ret = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 9458 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-9458

173 ) { -

174 ERR_put_error(3,(0xfff),((1|64)),__FILE__,250); -

175

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

176

((void *)0)

never executed: return ( ((void *)0) );

177

);

never executed: return ( ((void *)0) );

178 } -

179 ret->flags = 0x01; -

180 ret->top = 0; -

181 ret->neg = 0; -

182 ret->dmax = 0; -

183 ret->d = -

184 ((void *)0) -

185 ; -

186 ; -

187

return

executed 9458 times by 15 tests: return (ret);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(ret);

executed 9458 times by 15 tests: return (ret);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

9458

188 } -

189 -

190 -

191 -

192 static unsigned long * -

193 bn_expand_internal(const BIGNUM *b, int words) -

194 { -

195 unsigned long *A, *a = -

196 ((void *)0) -

197 ; -

198 const unsigned long *B; -

199 int i; -

200 -

201 ; -

202 -

203

if (words > (0x7fffffff/(4*64))

words > (0x7fffffff/(4*64))	Description
TRUE	evaluated 3 times by 1 test Evaluated by: rsa_test
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

3-133952

204 ERR_put_error(3,(0xfff),(114),__FILE__,274); -

205

return

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

206

((void *)0)

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

207

;

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

208 } -

209

if (((

((b)->flags&(0x02))	Description
TRUE	never evaluated
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

b)->flags&(0x02))

((b)->flags&(0x02))	Description
TRUE	never evaluated
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

0-133952

210 ERR_put_error(3,(0xfff),(105),__FILE__,278); -

211

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

212

((void *)0)

never executed: return ( ((void *)0) );

213

);

never executed: return ( ((void *)0) );

214 } -

215 a = A = reallocarray( -

216 ((void *)0) -

217 , words, sizeof(unsigned long)); -

218

if (A ==

A == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-133952

219

((void *)0)

A == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-133952

220 ) { -

221 ERR_put_error(3,(0xfff),((1|64)),__FILE__,283); -

222

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

223

((void *)0)

never executed: return ( ((void *)0) );

224

);

never executed: return ( ((void *)0) );

225 } -

226 -

227 B = b->d; -

228 -

229

if (B !=

B != ((void *)0)	Description
TRUE	evaluated 56380 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 77572 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

56380-77572

230

((void *)0)

B != ((void *)0)	Description
TRUE	evaluated 56380 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 77572 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

56380-77572

231 ) { -

232

for (i = b->top >> 2; i > 0

i > 0	Description
TRUE	evaluated 11653 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 56380 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; i--, A += 4, B += 4) {

11653-56380

233 unsigned long a0, a1, a2, a3; -

234 a0 = B[0]; -

235 a1 = B[1]; -

236 a2 = B[2]; -

237 a3 = B[3]; -

238 A[0] = a0; -

239 A[1] = a1; -

240 A[2] = a2; -

241 A[3] = a3; -

242

}

executed 11653 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

11653

243 switch (b->top & 3) { -

244

case

executed 1676 times by 9 tests: case 3:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test

executed 1676 times by 9 tests: case 3:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test

1676

245 A[2] = B[2]; -

246

case

executed 1481 times by 15 tests: case 2:

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 1481 times by 15 tests: case 2:

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

code before this statement executed 1676 times by 9 tests: case 2:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test

1481-1676

247 A[1] = B[1]; -

248

case

executed 10453 times by 15 tests: case 1:

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 10453 times by 15 tests: case 1:

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

code before this statement executed 3157 times by 15 tests: case 1:

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

3157-10453

249 A[0] = B[0]; -

250

}

executed 10453 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

10453

251

}

executed 56380 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

56380

252 -

253 -

254 -

255 -

256 -

257 -

258

return

executed 133952 times by 15 tests: return (a);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(a);

executed 133952 times by 15 tests: return (a);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

133952

259 } -

260 BIGNUM * -

261 bn_dup_expand(const BIGNUM *b, int words) -

262 { -

263 BIGNUM *r = -

264 ((void *)0) -

265 ; -

266 -

267 ; -

268 -

269 -

270 -

271 -

272 -

273 -

274 -

275

if (words > b->dmax

words > b->dmax	Description
TRUE	never evaluated
FALSE	never evaluated

) {

276 unsigned long *a = bn_expand_internal(b, words); -

277 -

278

if (a

a	Description
TRUE	never evaluated
FALSE	never evaluated

) {

279 r = BN_new(); -

280

if (r

r	Description
TRUE	never evaluated
FALSE	never evaluated

) {

281 r->top = b->top; -

282 r->dmax = words; -

283 r->neg = b->neg; -

284 r->d = a; -

285

}

never executed: end of block

else {

286 -

287 free(a); -

288

}

never executed: end of block

289 } -

290 -

291 -

292

}

never executed: end of block

else {

293 r = BN_dup(b); -

294

}

never executed: end of block

295 -

296 ; -

297

return

never executed: return r;

298 } -

299 BIGNUM * -

300 bn_expand2(BIGNUM *b, int words) -

301 { -

302 ; -

303 -

304

if (words > b->dmax

words > b->dmax	Description
TRUE	evaluated 133955 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) {

0-133955

305 unsigned long *a = bn_expand_internal(b, words); -

306

if (!a

!a	Description
TRUE	evaluated 3 times by 1 test Evaluated by: rsa_test
FALSE	evaluated 133952 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

3-133952

307

return

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

308

((void *)0)

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

309

;

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

310

if (b->d

b->d	Description
TRUE	evaluated 56380 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 77572 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

56380-77572

311

freezero(b->d, b->dmax * sizeof(b->d[0]));

executed 56380 times by 15 tests: freezero(b->d, b->dmax * sizeof(b->d[0]));

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

56380

312 b->d = a; -

313 b->dmax = words; -

314

}

executed 133952 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

133952

315 ; -

316

return

executed 133952 times by 15 tests: return b;

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 133952 times by 15 tests: return b;

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

133952

317 } -

318 -

319 BIGNUM * -

320 BN_dup(const BIGNUM *a) -

321 { -

322 BIGNUM *t; -

323 -

324

if (a ==

a == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 390 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-390

325

((void *)0)

a == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 390 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-390

326 ) -

327

return

never executed: return ((void *)0) ;

328

((void *)0)

never executed: return ((void *)0) ;

329

;

never executed: return ((void *)0) ;

330 ; -

331 -

332 t = BN_new(); -

333

if (t ==

t == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 390 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-390

334

((void *)0)

t == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 390 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

0-390

335 ) -

336

return

never executed: return ((void *)0) ;

337

((void *)0)

never executed: return ((void *)0) ;

338

;

never executed: return ((void *)0) ;

339

if (!BN_copy(t, a)

!BN_copy(t, a)	Description
TRUE	never evaluated
FALSE	evaluated 390 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

0-390

340 BN_free(t); -

341

return

never executed: return ((void *)0) ;

342

((void *)0)

never executed: return ((void *)0) ;

343

;

never executed: return ((void *)0) ;

344 } -

345 ; -

346

return

executed 390 times by 11 tests: return t;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 390 times by 11 tests: return t;

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

390

347 } -

348 -

349 BIGNUM * -

350 BN_copy(BIGNUM *a, const BIGNUM *b) -

351 { -

352 int i; -

353 unsigned long *A; -

354 const unsigned long *B; -

355 -

356 ; -

357 -

358

if (a == b

a == b	Description
TRUE	evaluated 188 times by 1 test Evaluated by: exptest
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

188-2213451

359

return

executed 188 times by 1 test: return (a);

Executed by:

exptest

(a);

executed 188 times by 1 test: return (a);

Executed by:

exptest

188

360

if ((((

((b->top) <= (a)->dmax)	Description
TRUE	evaluated 2179573 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 33878 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

(((b->top) <= ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((b->top) <= (a)->dmax)	Description
TRUE	evaluated 2179573 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 33878 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

b->top) <= (a)->dmax)

(((b->top) <= ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((b->top) <= (a)->dmax)	Description
TRUE	evaluated 2179573 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 33878 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(a):bn_expand2((a),(b->top))) ==

(((b->top) <= ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-2213451

361

((void *)0)

(((b->top) <= ...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-2213451

362 ) -

363

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

364

((void *)0)

never executed: return ( ((void *)0) );

365

);

never executed: return ( ((void *)0) );

366 -

367 -

368 A = a->d; -

369 B = b->d; -

370

for (i = b->top >> 2; i > 0

i > 0	Description
TRUE	evaluated 1898508 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2213451 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; i--, A += 4, B += 4) {

1898508-2213451

371 unsigned long a0, a1, a2, a3; -

372 a0 = B[0]; -

373 a1 = B[1]; -

374 a2 = B[2]; -

375 a3 = B[3]; -

376 A[0] = a0; -

377 A[1] = a1; -

378 A[2] = a2; -

379 A[3] = a3; -

380

}

executed 1898508 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1898508

381 switch (b->top & 3) { -

382

case

executed 712769 times by 8 tests: case 3:

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
rsa_test

executed 712769 times by 8 tests: case 3:

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
rsa_test

712769

383 A[2] = B[2]; -

384

case

executed 145262 times by 14 tests: case 2:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 145262 times by 14 tests: case 2:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

code before this statement executed 712769 times by 8 tests: case 2:

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
rsa_test

145262-712769

385 A[1] = B[1]; -

386

case

executed 1647252 times by 14 tests: case 1:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

executed 1647252 times by 14 tests: case 1:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

code before this statement executed 858031 times by 14 tests: case 1:

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

858031-1647252

387 A[0] = B[0]; -

388

}

executed 1647252 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1647252

389 -

390 -

391 -

392 -

393 a->top = b->top; -

394 a->neg = b->neg; -

395 ; -

396

return

executed 2213451 times by 14 tests: return (a);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(a);

executed 2213451 times by 14 tests: return (a);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

2213451

397 } -

398 -

399 void -

400 BN_swap(BIGNUM *a, BIGNUM *b) -

401 { -

402 int flags_old_a, flags_old_b; -

403 unsigned long *tmp_d; -

404 int tmp_top, tmp_dmax, tmp_neg; -

405 -

406 ; -

407 ; -

408 -

409 flags_old_a = a->flags; -

410 flags_old_b = b->flags; -

411 -

412 tmp_d = a->d; -

413 tmp_top = a->top; -

414 tmp_dmax = a->dmax; -

415 tmp_neg = a->neg; -

416 -

417 a->d = b->d; -

418 a->top = b->top; -

419 a->dmax = b->dmax; -

420 a->neg = b->neg; -

421 -

422 b->d = tmp_d; -

423 b->top = tmp_top; -

424 b->dmax = tmp_dmax; -

425 b->neg = tmp_neg; -

426 -

427 a->flags = (flags_old_a & 0x01) | -

428 (flags_old_b & 0x02); -

429 b->flags = (flags_old_b & 0x01) | -

430 (flags_old_a & 0x02); -

431 ; -

432 ; -

433

}

never executed: end of block

434 -

435 void -

436 BN_clear(BIGNUM *a) -

437 { -

438 ; -

439

if (a->d !=

a->d != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

440

((void *)0)

a->d != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

441 ) -

442

explicit_bzero(a->d, a->dmax * sizeof(a->d[0]));

never executed: explicit_bzero(a->d, a->dmax * sizeof(a->d[0]));

443 a->top = 0; -

444 a->neg = 0; -

445

}

never executed: end of block

446 -

447 unsigned long -

448 BN_get_word(const BIGNUM *a) -

449 { -

450

if (a->top > 1

a->top > 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

451

return

never executed: return (0xffffffffffffffffL);

(0xffffffffffffffffL);

never executed: return (0xffffffffffffffffL);

452

else if (a->top == 1

a->top == 1	Description
TRUE	never evaluated
FALSE	never evaluated

)

453

return

never executed: return a->d[0];

a->d[0];

never executed: return a->d[0];

454 -

455

return

never executed: return 0;

456 } -

457 -

458 BIGNUM * -

459 bn_expand(BIGNUM *a, int bits) -

460 { -

461

if (bits > (0x7fffffff - 64 + 1)

bits > (0x7fffffff - 64 + 1)	Description
TRUE	never evaluated
FALSE	evaluated 8442108 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-8442108

462

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

463

((void *)0)

never executed: return ( ((void *)0) );

464

);

never executed: return ( ((void *)0) );

465 -

466

if (((

((bits + 64 - ...64) <= a->dmax	Description
TRUE	evaluated 8410754 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 31354 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

bits + 64 - 1) / 64) <= a->dmax

((bits + 64 - ...64) <= a->dmax	Description
TRUE	evaluated 8410754 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 31354 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

31354-8410754

467

return

executed 8410754 times by 15 tests: return (a);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(a);

executed 8410754 times by 15 tests: return (a);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

8410754

468 -

469

return

executed 31354 times by 15 tests: return bn_expand2(a, (bits + 64 - 1) / 64);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

bn_expand2(a, (bits + 64 - 1) / 64);

executed 31354 times by 15 tests: return bn_expand2(a, (bits + 64 - 1) / 64);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

31354

470 } -

471 -

472 int -

473 BN_set_word(BIGNUM *a, unsigned long w) -

474 { -

475 ; -

476

if (bn_expand(a, (int)sizeof(unsigned long) * 8) ==

bn_expand(a, (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8441928 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-8441928

477

((void *)0)

bn_expand(a, (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 8441928 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-8441928

478 ) -

479

return

never executed: return (0);

(0);

never executed: return (0);

480 a->neg = 0; -

481 a->d[0] = w; -

482

a->top = (w

w	Description
TRUE	evaluated 5266 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 8436662 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

? 1 : 0);

5266-8436662

483 ; -

484

return

executed 8441928 times by 15 tests: return (1);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(1);

executed 8441928 times by 15 tests: return (1);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

8441928

485 } -

486 -

487 BIGNUM * -

488 BN_bin2bn(const unsigned char *s, int len, BIGNUM *ret) -

489 { -

490 unsigned int i, m; -

491 unsigned int n; -

492 unsigned long l; -

493 BIGNUM *bn = -

494 ((void *)0) -

495 ; -

496 -

497

if (ret ==

ret == ((void *)0)	Description
TRUE	evaluated 2550 times by 9 tests Evaluated by: bntest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont rsa_test servertest ssltest
FALSE	evaluated 11485 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

2550-11485

498

((void *)0)

ret == ((void *)0)	Description
TRUE	evaluated 2550 times by 9 tests Evaluated by: bntest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont rsa_test servertest ssltest
FALSE	evaluated 11485 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

2550-11485

499 ) -

500

ret = bn = BN_new();

executed 2550 times by 9 tests: ret = bn = BN_new();

Executed by:

bntest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test
servertest
ssltest

2550

501

if (ret ==

ret == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14035 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-14035

502

((void *)0)

ret == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14035 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-14035

503 ) -

504

return

never executed: return ( ((void *)0) );

(

never executed: return ( ((void *)0) );

505

((void *)0)

never executed: return ( ((void *)0) );

506

);

never executed: return ( ((void *)0) );

507 ; -

508 l = 0; -

509 n = len; -

510

if (n == 0

n == 0	Description
TRUE	evaluated 3 times by 1 test Evaluated by: rsa_test
FALSE	evaluated 14032 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

3-14032

511 ret->top = 0; -

512

return

executed 3 times by 1 test: return (ret);

Executed by:

rsa_test

(ret);

executed 3 times by 1 test: return (ret);

Executed by:

rsa_test

513 } -

514 i = ((n - 1) / 8) + 1; -

515 m = ((n - 1) % (8)); -

516

if (((((

(((int)i) <= (ret)->dmax)	Description
TRUE	evaluated 7604 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test ssltest
FALSE	evaluated 6428 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

int)i) <= (ret)->dmax)

(((int)i) <= (ret)->dmax)	Description
TRUE	evaluated 7604 times by 11 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont rsa_test ssltest
FALSE	evaluated 6428 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(ret):bn_expand2((ret),((int)i))) ==

((((int)i) <= ...== ((void *)0)	Description
TRUE	evaluated 3 times by 1 test Evaluated by: rsa_test
FALSE	evaluated 14029 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3-14029

517

((void *)0)

((((int)i) <= ...== ((void *)0)	Description
TRUE	evaluated 3 times by 1 test Evaluated by: rsa_test
FALSE	evaluated 14029 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

3-14029

518 ) { -

519 BN_free(bn); -

520

return

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

521

((void *)0)

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

522

;

executed 3 times by 1 test: return ((void *)0) ;

Executed by:

rsa_test

523 } -

524 ret->top = i; -

525 ret->neg = 0; -

526

while (n--

n--	Description
TRUE	evaluated 777575 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 14029 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

14029-777575

527 l = (l << 8L) | *(s++); -

528

if (m-- == 0

m-- == 0	Description
TRUE	evaluated 101863 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 675712 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

101863-675712

529 ret->d[--i] = l; -

530 l = 0; -

531 m = 8 - 1; -

532

}

executed 101863 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

101863

533

}

executed 777575 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

777575

534 -

535 -

536

{ unsigned long *ftl; int tmp_top = (ret)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 14029 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	never evaluated

) { for (ftl= &((ret)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 15663 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 55 times by 3 tests Evaluated by: ecdhtest ecdsatest ectest

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 13974 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1689 times by 12 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

ftl--)

*(ftl--)	Description
TRUE	evaluated 13974 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1689 times by 12 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) break;

executed 13974 times by 14 tests: break;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(ret)->top = tmp_top; }

executed 14029 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

; };

0-15663

537

return

executed 14029 times by 14 tests: return (ret);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(ret);

executed 14029 times by 14 tests: return (ret);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

14029

538 } -

539 -

540 -

541 int -

542 BN_bn2bin(const BIGNUM *a, unsigned char *to) -

543 { -

544 int n, i; -

545 unsigned long l; -

546 -

547 ; -

548 n = i=((BN_num_bits(a)+7)/8); -

549

while (i--

i--	Description
TRUE	evaluated 189801 times by 12 tests Evaluated by: dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2728 times by 12 tests Evaluated by: dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

2728-189801

550 l = a->d[i / 8]; -

551 *(to++) = (unsigned char)(l >> (8 * (i % 8))) & 0xff; -

552

}

executed 189801 times by 12 tests: end of block

Executed by:

dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

189801

553

return

executed 2728 times by 12 tests: return (n);

Executed by:

dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(n);

executed 2728 times by 12 tests: return (n);

Executed by:

dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

2728

554 } -

555 -

556 int -

557 BN_ucmp(const BIGNUM *a, const BIGNUM *b) -

558 { -

559 int i; -

560 unsigned long t1, t2, *ap, *bp; -

561 -

562 ; -

563 ; -

564 -

565 i = a->top - b->top; -

566

if (i != 0

i != 0	Description
TRUE	evaluated 677757 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3242824 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

677757-3242824

567

return

executed 677757 times by 15 tests: return (i);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(i);

executed 677757 times by 15 tests: return (i);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

677757

568 ap = a->d; -

569 bp = b->d; -

570

for (i = a->top - 1; i >= 0

i >= 0	Description
TRUE	evaluated 4319852 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 244196 times by 11 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

; i--) {

244196-4319852

571 t1 = ap[i]; -

572 t2 = bp[i]; -

573

if (t1 != t2

t1 != t2	Description
TRUE	evaluated 2998628 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1321224 times by 12 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

)

1321224-2998628

574

return

executed 2998628 times by 15 tests: return ((t1 > t2) ? 1 : -1);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

((

(t1 > t2)	Description
TRUE	evaluated 1248553 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1750075 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

t1 > t2)

(t1 > t2)	Description
TRUE	evaluated 1248553 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1750075 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

? 1 : -1);

executed 2998628 times by 15 tests: return ((t1 > t2) ? 1 : -1);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

1248553-2998628

575

}

executed 1321224 times by 12 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

1321224

576

return

executed 244196 times by 11 tests: return (0);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

(0);

executed 244196 times by 11 tests: return (0);

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

244196

577 } -

578 -

579 int -

580 BN_cmp(const BIGNUM *a, const BIGNUM *b) -

581 { -

582 int i; -

583 int gt, lt; -

584 unsigned long t1, t2; -

585 -

586

if ((

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

a ==

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-1294441

587

((void *)0)

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-1294441

588

)

(a == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

|| (

(b == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

b ==

(b == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-1294441

589

((void *)0)

(b == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-1294441

590

)

(b == ((void *)0) )	Description
TRUE	never evaluated
FALSE	evaluated 1294441 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

0-1294441

591

if (a !=

a != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

592

((void *)0)

a != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

593 ) -

594

return

never executed: return (-1);

(-1);

never executed: return (-1);

595

else if (b !=

b != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

596

((void *)0)

b != ((void *)0)	Description
TRUE	never evaluated
FALSE	never evaluated

597 ) -

598

return

never executed: return (1);

(1);

never executed: return (1);

599 else -

600

return

never executed: return (0);

(0);

never executed: return (0);

601 } -

602 -

603 ; -

604 ; -

605 -

606

if (a->neg != b->neg

a->neg != b->neg	Description
TRUE	evaluated 5 times by 1 test Evaluated by: bntest
FALSE	evaluated 1294436 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

) {

5-1294436

607

if (a->neg

a->neg	Description
TRUE	never evaluated
FALSE	evaluated 5 times by 1 test Evaluated by: bntest

)

0-5

608

return

never executed: return (-1);

(-1);

never executed: return (-1);

609 else -

610

return

executed 5 times by 1 test: return (1);

Executed by:

bntest

(1);

executed 5 times by 1 test: return (1);

Executed by:

bntest

611 } -

612

if (a->neg == 0

a->neg == 0	Description
TRUE	evaluated 1294435 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 1 time by 1 test Evaluated by: bnaddsub

) {

1-1294435

613 gt = 1; -

614 lt = -1; -

615

}

executed 1294435 times by 15 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

else {

1294435

616 gt = -1; -

617 lt = 1; -

618

}

executed 1 time by 1 test: end of block

Executed by:

bnaddsub

619 -

620

if (a->top > b->top

a->top > b->top	Description
TRUE	evaluated 368125 times by 8 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 ssltest
FALSE	evaluated 926311 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

368125-926311

621

return

executed 368125 times by 8 tests: return (gt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
ssltest

(gt);

executed 368125 times by 8 tests: return (gt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
ssltest

368125

622

if (a->top < b->top

a->top < b->top	Description
TRUE	evaluated 504 times by 3 tests Evaluated by: ecdhtest ecdsatest ectest
FALSE	evaluated 925807 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

504-925807

623

return

executed 504 times by 3 tests: return (lt);

Executed by:

ecdhtest
ecdsatest
ectest

(lt);

executed 504 times by 3 tests: return (lt);

Executed by:

ecdhtest
ecdsatest
ectest

504

624

for (i = a->top - 1; i >= 0

i >= 0	Description
TRUE	evaluated 933743 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 2598 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test servertest ssltest tlstest

; i--) {

2598-933743

625 t1 = a->d[i]; -

626 t2 = b->d[i]; -

627

if (t1 > t2

t1 > t2	Description
TRUE	evaluated 351003 times by 10 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont rsa_test ssltest
FALSE	evaluated 582740 times by 15 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

351003-582740

628

return

executed 351003 times by 10 tests: return (gt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test
ssltest

(gt);

executed 351003 times by 10 tests: return (gt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
rsa_test
ssltest

351003

629

if (t1 < t2

t1 < t2	Description
TRUE	evaluated 572206 times by 13 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 10534 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test servertest ssltest tlstest

)

10534-572206

630

return

executed 572206 times by 13 tests: return (lt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(lt);

executed 572206 times by 13 tests: return (lt);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

572206

631

}

executed 10534 times by 14 tests: end of block

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
servertest
ssltest
tlstest

10534

632

return

executed 2598 times by 14 tests: return (0);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
servertest
ssltest
tlstest

(0);

executed 2598 times by 14 tests: return (0);

Executed by:

bnaddsub
bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
servertest
ssltest
tlstest

2598

633 } -

634 -

635 int -

636 BN_set_bit(BIGNUM *a, int n) -

637 { -

638 int i, j, k; -

639 -

640

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	evaluated 6758 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

0-6758

641

return

never executed: return 0;

642 -

643 i = n / 64; -

644 j = n % 64; -

645

if (a->top <= i

a->top <= i	Description
TRUE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 98 times by 1 test Evaluated by: bntest

) {

98-6660

646

if ((((

((i + 1) <= (a)->dmax)	Description
TRUE	evaluated 659 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 6001 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

(((i + 1) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((i + 1) <= (a)->dmax)	Description
TRUE	evaluated 659 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 6001 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

i + 1) <= (a)->dmax)

(((i + 1) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

((i + 1) <= (a)->dmax)	Description
TRUE	evaluated 659 times by 2 tests Evaluated by: bntest exptest
FALSE	evaluated 6001 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(a):bn_expand2((a),(i + 1))) ==

(((i + 1) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-6660

647

((void *)0)

(((i + 1) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

0-6660

648 ) -

649

return

never executed: return (0);

(0);

never executed: return (0);

650

for (k = a->top; k < i + 1

k < i + 1	Description
TRUE	evaluated 54620 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 6660 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

; k++)

6660-54620

651

a->d[k] = 0;

executed 54620 times by 14 tests: a->d[k] = 0;

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

54620

652 a->top = i + 1; -

653

}

executed 6660 times by 14 tests: end of block

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

6660

654 -

655 a->d[i] |= (((unsigned long)1) << j); -

656 ; -

657

return

executed 6758 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(1);

executed 6758 times by 14 tests: return (1);

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

6758

658 } -

659 -

660 int -

661 BN_clear_bit(BIGNUM *a, int n) -

662 { -

663 int i, j; -

664 -

665 ; -

666

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	never evaluated

)

667

return

never executed: return 0;

668 -

669 i = n / 64; -

670 j = n % 64; -

671

if (a->top <= i

a->top <= i	Description
TRUE	never evaluated
FALSE	never evaluated

)

672

return

never executed: return (0);

(0);

never executed: return (0);

673 -

674 a->d[i] &= (~(((unsigned long)1) << j)); -

675

{ unsigned long *ftl; int tmp_top = (a)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { for (ftl= &((a)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	never evaluated
FALSE	never evaluated

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	never evaluated
FALSE	never evaluated

ftl--)

*(ftl--)	Description
TRUE	never evaluated
FALSE	never evaluated

) break;

never executed: break;

(a)->top = tmp_top; }

never executed: end of block

; };

676

return

never executed: return (1);

(1);

never executed: return (1);

677 } -

678 -

679 int -

680 BN_is_bit_set(const BIGNUM *a, int n) -

681 { -

682 int i, j; -

683 -

684 ; -

685

if (n < 0

n < 0	Description
TRUE	evaluated 2 times by 1 test Evaluated by: dsatest
FALSE	evaluated 2219269 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

2-2219269

686

return

executed 2 times by 1 test: return 0;

Executed by:

dsatest

executed 2 times by 1 test: return 0;

Executed by:

dsatest

687 i = n / 64; -

688 j = n % 64; -

689

if (a->top <= i

a->top <= i	Description
TRUE	evaluated 955 times by 3 tests Evaluated by: ecdhtest ecdsatest ectest
FALSE	evaluated 2218314 times by 14 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

)

955-2218314

690

return

executed 955 times by 3 tests: return 0;

Executed by:

ecdhtest
ecdsatest
ectest

executed 955 times by 3 tests: return 0;

Executed by:

ecdhtest
ecdsatest
ectest

955

691

return

executed 2218314 times by 14 tests: return (int)(((a->d[i]) >> j) & ((unsigned long)1));

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

(int)(((a->d[i]) >> j) & ((unsigned long)1));

executed 2218314 times by 14 tests: return (int)(((a->d[i]) >> j) & ((unsigned long)1));

Executed by:

bntest
dhtest
dsatest
ecdhtest
ecdsatest
ectest
exptest
libcrypto.so.44.0.1
mont
pkcs7test
rsa_test
servertest
ssltest
tlstest

2218314

692 } -

693 -

694 int -

695 BN_mask_bits(BIGNUM *a, int n) -

696 { -

697 int b, w; -

698 -

699 ; -

700

if (n < 0

n < 0	Description
TRUE	never evaluated
FALSE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1

)

0-154

701

return

never executed: return 0;

702 -

703 w = n / 64; -

704 b = n % 64; -

705

if (w >= a->top

w >= a->top	Description
TRUE	never evaluated
FALSE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1

)

0-154

706

return

never executed: return 0;

707

if (b == 0

b == 0	Description
TRUE	never evaluated
FALSE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1

)

0-154

708

a->top = w;

never executed: a->top = w;

709 else { -

710 a->top = w + 1; -

711 a->d[w] &= ~((0xffffffffffffffffL) << b); -

712

}

executed 154 times by 2 tests: end of block

Executed by:

dsatest
libcrypto.so.44.0.1

154

713

{ unsigned long *ftl; int tmp_top = (a)->top; if (tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1
FALSE	never evaluated

) { for (ftl= &((a)->d[tmp_top-1]); tmp_top > 0

tmp_top > 0	Description
TRUE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1
FALSE	never evaluated

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1
FALSE	never evaluated

ftl--)

*(ftl--)	Description
TRUE	evaluated 154 times by 2 tests Evaluated by: dsatest libcrypto.so.44.0.1
FALSE	never evaluated

) break;

executed 154 times by 2 tests: break;

Executed by:

dsatest
libcrypto.so.44.0.1

(a)->top = tmp_top; }

executed 154 times by 2 tests: end of block

Executed by:

dsatest
libcrypto.so.44.0.1

; };

0-154

714

return

executed 154 times by 2 tests: return (1);

Executed by:

dsatest
libcrypto.so.44.0.1

(1);

executed 154 times by 2 tests: return (1);

Executed by:

dsatest
libcrypto.so.44.0.1

154

715 } -

716 -

717 void -

718 BN_set_negative(BIGNUM *a, int b) -

719 { -

720

if (b

b	Description
TRUE	never evaluated
FALSE	evaluated 645633 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

&& !((a)->top == 0)

!((a)->top == 0)	Description
TRUE	never evaluated
FALSE	never evaluated

)

0-645633

721

a->neg = 1;

never executed: a->neg = 1;

722 else -

723

a->neg = 0;

executed 645633 times by 4 tests: a->neg = 0;

Executed by:

ecdhtest
ecdsatest
ectest
ssltest

645633

724 } -

725 -

726 int -

727 bn_cmp_words(const unsigned long *a, const unsigned long *b, int n) -

728 { -

729 int i; -

730 unsigned long aa, bb; -

731 -

732 aa = a[n - 1]; -

733 bb = b[n - 1]; -

734

if (aa != bb

aa != bb	Description
TRUE	evaluated 7280 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 19 times by 4 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest

)

19-7280

735

return

executed 7280 times by 7 tests: return ((aa > bb) ? 1 : -1);

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

((

(aa > bb)	Description
TRUE	evaluated 3948 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3332 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

aa > bb)

(aa > bb)	Description
TRUE	evaluated 3948 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest
FALSE	evaluated 3332 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

? 1 : -1);

executed 7280 times by 7 tests: return ((aa > bb) ? 1 : -1);

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

3332-7280

736

for (i = n - 2; i >= 0

i >= 0	Description
TRUE	evaluated 55 times by 4 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest
FALSE	never evaluated

; i--) {

0-55

737 aa = a[i]; -

738 bb = b[i]; -

739

if (aa != bb

aa != bb	Description
TRUE	evaluated 19 times by 4 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest
FALSE	evaluated 36 times by 3 tests Evaluated by: pkcs7test servertest ssltest

)

19-36

740

return

executed 19 times by 4 tests: return ((aa > bb) ? 1 : -1);

Executed by:

libcrypto.so.44.0.1
pkcs7test
servertest
ssltest

((

(aa > bb)	Description
TRUE	never evaluated
FALSE	evaluated 19 times by 4 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest

aa > bb)

(aa > bb)	Description
TRUE	never evaluated
FALSE	evaluated 19 times by 4 tests Evaluated by: libcrypto.so.44.0.1 pkcs7test servertest ssltest

? 1 : -1);

executed 19 times by 4 tests: return ((aa > bb) ? 1 : -1);

Executed by:

libcrypto.so.44.0.1
pkcs7test
servertest
ssltest

0-19

741

}

executed 36 times by 3 tests: end of block

Executed by:

pkcs7test
servertest
ssltest

742

return

never executed: return (0);

(0);

never executed: return (0);

743 } -

744 int -

745 bn_cmp_part_words(const unsigned long *a, const unsigned long *b, int cl, int dl) -

746 { -

747 int n, i; -

748 -

749 n = cl - 1; -

750 -

751

if (dl < 0

dl < 0	Description
TRUE	evaluated 336 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 5248 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

336-5248

752

for (i = dl; i < 0

i < 0	Description
TRUE	evaluated 344 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

; i++) {

0-344

753

if (b[n - i] != 0

b[n - i] != 0	Description
TRUE	evaluated 336 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 8 times by 1 test Evaluated by: bntest

)

8-336

754

return

executed 336 times by 2 tests: return -1;

Executed by:

bntest
servertest

-1;

executed 336 times by 2 tests: return -1;

Executed by:

bntest
servertest

336

755

}

executed 8 times by 1 test: end of block

Executed by:

bntest

756

}

never executed: end of block

757

if (dl > 0

dl > 0	Description
TRUE	evaluated 514 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 4734 times by 7 tests Evaluated by: bntest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

514-4734

758

for (i = dl; i > 0

i > 0	Description
TRUE	evaluated 516 times by 2 tests Evaluated by: bntest servertest
FALSE	never evaluated

; i--) {

0-516

759

if (a[n + i] != 0

a[n + i] != 0	Description
TRUE	evaluated 514 times by 2 tests Evaluated by: bntest servertest
FALSE	evaluated 2 times by 1 test Evaluated by: bntest

)

2-514

760

return

executed 514 times by 2 tests: return 1;

Executed by:

bntest
servertest

executed 514 times by 2 tests: return 1;

Executed by:

bntest
servertest

514

761

}

executed 2 times by 1 test: end of block

Executed by:

bntest

762

}

never executed: end of block

763

return

executed 4734 times by 7 tests: return bn_cmp_words(a, b, cl);

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

bn_cmp_words(a, b, cl);

executed 4734 times by 7 tests: return bn_cmp_words(a, b, cl);

Executed by:

bntest
libcrypto.so.44.0.1
pkcs7test
rsa_test
servertest
ssltest
tlstest

4734

764 } -

765 void -

766 BN_consttime_swap(unsigned long condition, BIGNUM *a, BIGNUM *b, int nwords) -

767 { -

768 unsigned long t; -

769 int i; -

770 -

771 ; -

772 ; -

773 -

774 -

775 ((void) (0)) -

776 ; -

777 -

778 ((void) (0)) -

779 ; -

780 -

781 ((void) (0)) -

782 ; -

783 -

784 condition = ((condition - 1) >> (64 - 1)) - 1; -

785 -

786 t = (a->top^b->top) & condition; -

787 a->top ^= t; -

788 b->top ^= t; -

789 switch (nwords) { -

790

default

never executed: default:

791

for (i = 10; i < nwords

i < nwords	Description
TRUE	never evaluated
FALSE	never evaluated

; i++)

792

do { t = (a->d[i] ^ b->d[i]) & condition; a->d[i] ^= t; b->d[i] ^= t; }

never executed: end of block

while (0);

793 -

794

case

never executed: case 10:

10:

never executed: case 10:

code before this statement never executed: case 10:

do { t = (a->d[9] ^ b->d[9]) & condition; a->d[9] ^= t; b->d[9] ^= t; } while (0);

795

case

never executed: case 9:

code before this statement never executed: case 9:

do { t = (a->d[8] ^ b->d[8]) & condition; a->d[8] ^= t; b->d[8] ^= t; } while (0);

796

case

never executed: case 8:

code before this statement never executed: case 8:

do { t = (a->d[7] ^ b->d[7]) & condition; a->d[7] ^= t; b->d[7] ^= t; } while (0);

797

case

never executed: case 7:

code before this statement never executed: case 7:

do { t = (a->d[6] ^ b->d[6]) & condition; a->d[6] ^= t; b->d[6] ^= t; } while (0);

798

case

never executed: case 6:

code before this statement never executed: case 6:

do { t = (a->d[5] ^ b->d[5]) & condition; a->d[5] ^= t; b->d[5] ^= t; } while (0);

799

case

never executed: case 5:

code before this statement never executed: case 5:

do { t = (a->d[4] ^ b->d[4]) & condition; a->d[4] ^= t; b->d[4] ^= t; } while (0);

800

case

never executed: case 4:

code before this statement never executed: case 4:

do { t = (a->d[3] ^ b->d[3]) & condition; a->d[3] ^= t; b->d[3] ^= t; } while (0);

801

case

never executed: case 3:

code before this statement never executed: case 3:

do { t = (a->d[2] ^ b->d[2]) & condition; a->d[2] ^= t; b->d[2] ^= t; } while (0);

802

case

never executed: case 2:

code before this statement never executed: case 2:

do { t = (a->d[1] ^ b->d[1]) & condition; a->d[1] ^= t; b->d[1] ^= t; } while (0);

803

case

never executed: case 1:

code before this statement never executed: case 1:

804 do { t = (a->d[0] ^ b->d[0]) & condition; a->d[0] ^= t; b->d[0] ^= t; } while (0); -

805

}

never executed: end of block

806 -

807 } -

808 -

809 -

810 -

811 -

812 -

813 -

814 int -

815 BN_swap_ct(unsigned long condition, BIGNUM *a, BIGNUM *b, size_t nwords) -

816 { -

817 unsigned long t; -

818 int i, words; -

819 -

820

if (a == b

a == b	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

)

0-589299

821

return

never executed: return 1;

822

if (nwords > 0x7fffffff

nwords > 0x7fffffff	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

)

0-589299

823

return

never executed: return 0;

824 words = (int)nwords; -

825

if ((((

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

words) <= (a)->dmax)?(a):bn_expand2((a),(words))) ==

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-589299

826

((void *)0)

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-589299

827

|| (((

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

words) <= (b)->dmax)?(b):bn_expand2((b),(words))) ==

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-589299

828

((void *)0)

(((words) <= (...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

0-589299

829 ) -

830

return

never executed: return 0;

831

if (a->top > words

a->top > words	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

|| b->top > words

b->top > words	Description
TRUE	never evaluated
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest

) {

0-589299

832 ERR_put_error(3,(0xfff),(106),__FILE__,913); -

833

return

never executed: return 0;

834 } -

835 -

836 -

837 condition = ((~condition & (condition - 1)) >> (64 - 1)) - 1; -

838 -

839 -

840 t = (a->top ^ b->top) & condition; -

841 a->top ^= t; -

842 b->top ^= t; -

843 -

844 -

845 t = (a->neg ^ b->neg) & condition; -

846 a->neg ^= t; -

847 b->neg ^= t; -

848 -

849 -

850 t = ((a->flags ^ b->flags) & 0x04) & condition; -

851 a->flags ^= t; -

852 b->flags ^= t; -

853 -

854 -

855

for (i = 0; i < words

i < words	Description
TRUE	evaluated 3081391 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest
FALSE	evaluated 589299 times by 4 tests Evaluated by: ecdhtest ecdsatest ectest ssltest