OpenCoverage

bn_add.c

Absolute File Name:

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

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 int -

5 BN_add(BIGNUM *r, const BIGNUM *a, const BIGNUM *b) -

6 { -

7 int ret, r_neg; -

8 -

9 ; -

10 ; -

11 -

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

a->neg == b->neg	Description
TRUE	evaluated 412139 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 629272 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest pkcs7test rsa_test ssltest

) {

412139-629272

13 r_neg = a->neg; -

14 ret = BN_uadd(r, a, b); -

}

executed 412139 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 {

412139

16 int cmp = BN_ucmp(a, b); -

17 -

if (cmp > 0

cmp > 0	Description
TRUE	evaluated 133 times by 1 test Evaluated by: bntest
FALSE	evaluated 629139 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest pkcs7test rsa_test ssltest

) {

133-629139

19 r_neg = a->neg; -

20 ret = BN_usub(r, a, b); -

}

executed 133 times by 1 test: end of block

Executed by:

bntest

else if (cmp < 0

cmp < 0	Description
TRUE	evaluated 629039 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest pkcs7test rsa_test ssltest
FALSE	evaluated 100 times by 1 test Evaluated by: bntest

) {

100-629039

22 r_neg = b->neg; -

23 ret = BN_usub(r, b, a); -

}

executed 629039 times by 7 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
pkcs7test
rsa_test
ssltest

else {

629039

25 r_neg = 0; -

26 (BN_set_word((r),0)); -

27 ret = 1; -

}

executed 100 times by 1 test: end of block

Executed by:

bntest

100

29 } -

30 -

31 r->neg = r_neg; -

32 ; -

return

executed 1041411 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 1041411 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

1041411

34 } -

35 -

36 int -

37 BN_uadd(BIGNUM *r, const BIGNUM *a, const BIGNUM *b) -

38 { -

39 int max, min, dif; -

40 const unsigned long *ap, *bp; -

41 unsigned long *rp, carry, t1, t2; -

42 -

43 ; -

44 ; -

45 -

if (a->top < b->top

a->top < b->top	Description
TRUE	evaluated 11878 times by 6 tests Evaluated by: bntest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1
FALSE	evaluated 985498 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

) {

11878-985498

47 const BIGNUM *tmp; -

48 -

49 tmp = a; -

50 a = b; -

51 b = tmp; -

}

executed 11878 times by 6 tests: end of block

Executed by:

bntest
dsatest
ecdhtest
ecdsatest
ectest
libcrypto.so.44.0.1

11878

53 max = a->top; -

54 min = b->top; -

55 dif = max - min; -

56 -

if ((((

((max + 1) <= (r)->dmax)	Description
TRUE	evaluated 995350 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 2026 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

(((max + 1) <=...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 997376 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

((max + 1) <= (r)->dmax)	Description
TRUE	evaluated 995350 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 2026 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

max + 1) <= (r)->dmax)

(((max + 1) <=...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 997376 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

((max + 1) <= (r)->dmax)	Description
TRUE	evaluated 995350 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 2026 times by 14 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 mont pkcs7test rsa_test servertest ssltest tlstest

?(r):bn_expand2((r),(max + 1))) ==

(((max + 1) <=...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 997376 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-997376

((void *)0)

(((max + 1) <=...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 997376 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-997376

59 ) -

return

never executed: return 0;

61 -

62 r->top = max; -

63 -

64 ap = a->d; -

65 bp = b->d; -

66 rp = r->d; -

67 -

68 carry = bn_add_words(rp, ap, bp, min); -

69 rp += min; -

70 ap += min; -

71 -

while (dif

dif	Description
TRUE	evaluated 81127 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 997376 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

) {

81127-997376

73 dif--; -

74 t1 = *(ap++); -

75 t2 = (t1 + carry) & (0xffffffffffffffffL); -

76 *(rp++) = t2; -

77 carry &= (t2 == 0); -

}

executed 81127 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

81127

79 *rp = carry; -

80 r->top += carry; -

81 -

82 r->neg = 0; -

83 ; -

return

executed 997376 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

executed 997376 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

997376

85 } -

86 -

87 int -

88 BN_usub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b) -

89 { -

90 int max, min, dif; -

91 const unsigned long *ap, *bp; -

92 unsigned long t1, t2, borrow, *rp; -

93 -

94 ; -

95 ; -

96 -

97 max = a->top; -

98 min = b->top; -

99 dif = max - min; -

100 -

101

if (dif < 0

dif < 0	Description
TRUE	evaluated 1 time by 1 test Evaluated by: bnaddsub
FALSE	evaluated 3139213 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-3139213

102 ERR_put_error(3,(0xfff),(100),__FILE__,161); -

103

return

executed 1 time by 1 test: return 0;

Executed by:

bnaddsub

executed 1 time by 1 test: return 0;

Executed by:

bnaddsub

104 } -

105 -

106

if ((((

((max) <= (r)->dmax)	Description
TRUE	evaluated 3136353 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 2860 times by 9 tests Evaluated by: bnaddsub bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 ssltest

(((max) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3139213 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

((max) <= (r)->dmax)	Description
TRUE	evaluated 3136353 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 2860 times by 9 tests Evaluated by: bnaddsub bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 ssltest

max) <= (r)->dmax)

(((max) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3139213 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

((max) <= (r)->dmax)	Description
TRUE	evaluated 3136353 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 2860 times by 9 tests Evaluated by: bnaddsub bntest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 ssltest

?(r):bn_expand2((r),(max))) ==

(((max) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3139213 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-3139213

107

((void *)0)

(((max) <= (r)...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 3139213 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-3139213

108 ) -

109

return

never executed: return 0;

110 -

111 ap = a->d; -

112 bp = b->d; -

113 rp = r->d; -

114 -

115 borrow = bn_sub_words(rp, ap, bp, min); -

116 ap += min; -

117 rp += min; -

118 -

119

while (dif

dif	Description
TRUE	evaluated 536764 times by 11 tests Evaluated by: bnaddsub bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 rsa_test ssltest
FALSE	evaluated 3139213 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

) {

536764-3139213

120 dif--; -

121 t1 = *(ap++); -

122 t2 = (t1 - borrow) & (0xffffffffffffffffL); -

123 *(rp++) = t2; -

124 borrow &= (t1 == 0); -

125

}

executed 536764 times by 11 tests: end of block

Executed by:

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

536764

126 -

127

while (max > 0

max > 0	Description
TRUE	evaluated 4592745 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 73 times by 3 tests Evaluated by: bntest ecdsatest ectest

&& *--

*--rp == 0	Description
TRUE	evaluated 1453605 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 ssltest
FALSE	evaluated 3139140 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

rp == 0

*--rp == 0	Description
TRUE	evaluated 1453605 times by 9 tests Evaluated by: bntest dhtest dsatest ecdhtest ecdsatest ectest exptest libcrypto.so.44.0.1 ssltest
FALSE	evaluated 3139140 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

)

73-4592745

128

max--;

executed 1453605 times by 9 tests: max--;

Executed by:

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

1453605

129 -

130 r->top = max; -

131 r->neg = 0; -

132

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

tmp_top > 0	Description
TRUE	evaluated 3139140 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 73 times by 3 tests Evaluated by: bntest ecdsatest ectest

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

tmp_top > 0	Description
TRUE	evaluated 3139140 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

; tmp_top--) if (*(

*(ftl--)	Description
TRUE	evaluated 3139140 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

ftl--)

*(ftl--)	Description
TRUE	evaluated 3139140 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

) break;

executed 3139140 times by 15 tests: break;

Executed by:

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

(r)->top = tmp_top; }

executed 3139140 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

; };

0-3139140

133

return

executed 3139213 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

executed 3139213 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

3139213

134 } -

135 -

136 int -

137 BN_sub(BIGNUM *r, const BIGNUM *a, const BIGNUM *b) -

138 { -

139 int ret, r_neg; -

140 -

141 ; -

142 ; -

143 -

144

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

a->neg != b->neg	Description
TRUE	evaluated 226 times by 2 tests Evaluated by: bnaddsub bntest
FALSE	evaluated 1979000 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

) {

226-1979000

145 r_neg = a->neg; -

146 ret = BN_uadd(r, a, b); -

147

}

executed 226 times by 2 tests: end of block

Executed by:

bnaddsub
bntest

else {

226

148 int cmp = BN_ucmp(a, b); -

149 -

150

if (cmp > 0

cmp > 0	Description
TRUE	evaluated 1348160 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 630840 times by 10 tests Evaluated by: bntest ecdhtest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

630840-1348160

151 r_neg = a->neg; -

152 ret = BN_usub(r, a, b); -

153

}

executed 1348160 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 if (cmp < 0

cmp < 0	Description
TRUE	evaluated 628784 times by 7 tests Evaluated by: bntest ecdhtest ecdsatest ectest pkcs7test rsa_test ssltest
FALSE	evaluated 2056 times by 9 tests Evaluated by: bntest ecdsatest ectest libcrypto.so.44.0.1 pkcs7test rsa_test servertest ssltest tlstest

) {

2056-1348160

154 r_neg = !b->neg; -

155 ret = BN_usub(r, b, a); -

156

}

executed 628784 times by 7 tests: end of block

Executed by:

bntest
ecdhtest
ecdsatest
ectest
pkcs7test
rsa_test
ssltest

else {

628784

157 r_neg = 0; -

158 (BN_set_word((r),0)); -

159 ret = 1; -

160

}

executed 2056 times by 9 tests: end of block

Executed by:

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

2056

161 } -

162 -

163 r->neg = r_neg; -

164 ; -

165

return

executed 1979226 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 1979226 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

1979226

166 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2