OpenCoverage

ssh-ed25519.c

Absolute File Name:

/home/opencoverage/opencoverage/guest-scripts/openssh/src/ssh-ed25519.c

Switch to Source code

Preprocessed file

Line Source Count

1 -

2 -

3 -

4 -

5 -

6 -

7 -

8 int -

9 ssh_ed25519_sign(const struct sshkey *key, u_char **sigp, size_t *lenp, -

10 const u_char *data, size_t datalen, u_int compat) -

11 { -

12 u_char *sig = -

13 ((void *)0) -

14 ; -

15 size_t slen = 0, len; -

16 unsigned long long smlen; -

17 int r, ret; -

18 struct sshbuf *b = -

19 ((void *)0) -

20 ; -

21 -

if (lenp !=

lenp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

((void *)0)

lenp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

24 ) -

executed 65 times by 2 tests: *lenp = 0;

Executed by:

test_kex
test_sshkey

lenp = 0;

executed 65 times by 2 tests: *lenp = 0;

Executed by:

test_kex
test_sshkey

if (sigp !=

sigp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

((void *)0)

sigp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

28 ) -

executed 65 times by 2 tests: *sigp = ((void *)0) ;

Executed by:

test_kex
test_sshkey

sigp =

executed 65 times by 2 tests: *sigp = ((void *)0) ;

Executed by:

test_kex
test_sshkey

((void *)0)

executed 65 times by 2 tests: *sigp = ((void *)0) ;

Executed by:

test_kex
test_sshkey

;

executed 65 times by 2 tests: *sigp = ((void *)0) ;

Executed by:

test_kex
test_sshkey

32 -

if (key ==

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

((void *)0)

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

35 || -

sshkey_type_plain(key->type) != KEY_ED25519

sshkey_type_pl...!= KEY_ED25519	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

key->ed25519_sk ==

key->ed25519_sk == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

((void *)0)

key->ed25519_sk == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

39 || -

datalen >= 0x7fffffff - 64U

datalen >= 0x7fffffff - 64U	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

)

0-65

return

never executed: return -10;

-10;

never executed: return -10;

42 smlen = slen = datalen + 64U; -

if ((

(sig = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

sig = malloc(slen)) ==

(sig = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

((void *)0)

(sig = malloc(...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

45 ) -

return

never executed: return -2;

-2;

never executed: return -2;

47 -

if ((

(ret = crypto_...5519_sk)) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

ret = crypto_sign_ed25519(sig, &smlen, data, datalen,

(ret = crypto_...5519_sk)) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

key->ed25519_sk)) != 0

(ret = crypto_...5519_sk)) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

|| smlen <= datalen

smlen <= datalen	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

) {

0-65

50 r = -10; -

goto

never executed: goto out;

out;

never executed: goto out;

52 } -

53 -

if ((

(b = sshbuf_ne...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

b = sshbuf_new()) ==

(b = sshbuf_ne...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

((void *)0)

(b = sshbuf_ne...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

56 ) { -

57 r = -2; -

goto

never executed: goto out;

out;

never executed: goto out;

59 } -

if ((

(r = sshbuf_pu...d25519")) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

r = sshbuf_put_cstring(b, "ssh-ed25519")) != 0

(r = sshbuf_pu...d25519")) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

(

(r = sshbuf_pu...datalen)) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

r = sshbuf_put_string(b, sig, smlen - datalen)) != 0

(r = sshbuf_pu...datalen)) != 0	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

)

0-65

goto

never executed: goto out;

out;

never executed: goto out;

63 len = sshbuf_len(b); -

if (sigp !=

sigp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

((void *)0)

sigp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

66 ) { -

if ((*

(sigp = mallo...== ((void )0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

sigp = malloc(len)) ==

(sigp = mallo...== ((void )0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

((void *)0)

(sigp = mallo...== ((void )0)	Description
TRUE	never evaluated
FALSE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey

0-65

69 ) { -

70 r = -2; -

goto

never executed: goto out;

out;

never executed: goto out;

72 } -

73 memcpy(*sigp, sshbuf_ptr(b), len); -

}

executed 65 times by 2 tests: end of block

Executed by:

test_kex
test_sshkey

if (lenp !=

lenp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

((void *)0)

lenp != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

77 ) -

executed 65 times by 2 tests: *lenp = len;

Executed by:

test_kex
test_sshkey

lenp = len;

executed 65 times by 2 tests: *lenp = len;

Executed by:

test_kex
test_sshkey

79 -

80 r = 0; -

out:

code before this statement executed 65 times by 2 tests: out:

Executed by:

test_kex
test_sshkey

82 sshbuf_free(b); -

if (sig !=

sig != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

((void *)0)

sig != ((void *)0)	Description
TRUE	evaluated 65 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	never evaluated

0-65

85 ) { -

86 explicit_bzero(sig, slen); -

87 free(sig); -

}

executed 65 times by 2 tests: end of block

Executed by:

test_kex
test_sshkey

89 -

return

executed 65 times by 2 tests: return r;

Executed by:

test_kex
test_sshkey

executed 65 times by 2 tests: return r;

Executed by:

test_kex
test_sshkey

91 } -

92 -

93 int -

94 ssh_ed25519_verify(const struct sshkey *key, -

95 const u_char *signature, size_t signaturelen, -

96 const u_char *data, size_t datalen, u_int compat) -

97 { -

98 struct sshbuf *b = -

99 ((void *)0) -

100 ; -

101 char *ktype = -

102 ((void *)0) -

103 ; -

104 const u_char *sigblob; -

105 u_char *sm = -

106 ((void *)0) -

107 , *m = -

108 ((void *)0) -

109 ; -

110 size_t len; -

111 unsigned long long smlen = 0, mlen = 0; -

112 int r, ret; -

113 -

114

if (key ==

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

115

((void *)0)

key == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

116 || -

117

sshkey_type_plain(key->type) != KEY_ED25519

sshkey_type_pl...!= KEY_ED25519	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

118

key->ed25519_pk ==

key->ed25519_pk == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

119

((void *)0)

key->ed25519_pk == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

120 || -

121

datalen >= 0x7fffffff - 64U

datalen >= 0x7fffffff - 64U	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

122

signature ==

signature == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

123

((void *)0)

signature == ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

124

|| signaturelen == 0

signaturelen == 0	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

)

0-18033

125

return

never executed: return -10;

-10;

never executed: return -10;

126 -

127

if ((

(b = sshbuf_fr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

b = sshbuf_from(signature, signaturelen)) ==

(b = sshbuf_fr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

128

((void *)0)

(b = sshbuf_fr...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 18033 times by 2 tests Evaluated by: test_kex test_sshkey

0-18033

129 ) -

130

return

never executed: return -2;

-2;

never executed: return -2;

131

if ((

(r = sshbuf_ge...d *)0) )) != 0	Description
TRUE	evaluated 871 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 17162 times by 2 tests Evaluated by: test_kex test_sshkey

r = sshbuf_get_cstring(b, &ktype,

(r = sshbuf_ge...d *)0) )) != 0	Description
TRUE	evaluated 871 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 17162 times by 2 tests Evaluated by: test_kex test_sshkey

871-17162

132

((void *)0)

(r = sshbuf_ge...d *)0) )) != 0	Description
TRUE	evaluated 871 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 17162 times by 2 tests Evaluated by: test_kex test_sshkey

871-17162

133

)) != 0

(r = sshbuf_ge...d *)0) )) != 0	Description
TRUE	evaluated 871 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 17162 times by 2 tests Evaluated by: test_kex test_sshkey

871-17162

134

(

(r = sshbuf_ge...b, &len)) != 0	Description
TRUE	evaluated 845 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 16317 times by 2 tests Evaluated by: test_kex test_sshkey

r = sshbuf_get_string_direct(b, &sigblob, &len)) != 0

(r = sshbuf_ge...b, &len)) != 0	Description
TRUE	evaluated 845 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 16317 times by 2 tests Evaluated by: test_kex test_sshkey

)

845-16317

135

goto

executed 1716 times by 1 test: goto out;

Executed by:

test_sshkey

out;

executed 1716 times by 1 test: goto out;

Executed by:

test_sshkey

1716

136 if ( -

137

__extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

138

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

139

) && __builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

140

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

141

) && (__s1_len = __builtin_strlen (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

142

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

143

), __s2_len = __builtin_strlen (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

144

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

145

), (!((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

146

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

147

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

148

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

149

) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

150

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

151

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

152

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

153

) == 1) || __s2_len >= 4)) ? __builtin_strcmp (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

154

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

155

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

156

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

157

) : (__builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

158

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

159

) && ((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

160

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

161

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

162

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

163

) == 1) && (__s1_len = __builtin_strlen (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

164

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

165

), __s1_len < 4) ? (__builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

166

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

167

) && ((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

168

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

169

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

170

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

171

) == 1) ? __builtin_strcmp (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

172

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

173

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

174

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

175

) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

176

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

177

); int __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

178

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

179

))[0] - __s2[0]); if (__s1_len > 0

__s1_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

180

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

181

))[1] - __s2[1]); if (__s1_len > 1

__s1_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

182

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

183

))[2] - __s2[2]); if (__s1_len > 2

__s1_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( "ssh-ed25519" ))[3] - __s2[3]);

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

184

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

never executed: __result = (((const unsigned char *) (const char *) ( "ssh-ed25519" ))[3] - __s2[3]);

0-14403

185

))[3] - __s2[3]);

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

never executed: __result = (((const unsigned char *) (const char *) ( "ssh-ed25519" ))[3] - __s2[3]);

}

never executed: end of block

}

never executed: end of block

__result; }))) : (__builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

186

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

187

) && ((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

188

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

189

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

190

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

191

) == 1) && (__s2_len = __builtin_strlen (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

192

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

193

), __s2_len < 4) ? (__builtin_constant_p (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

194

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

195

) && ((size_t)(const void *)((

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

196

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

197

) + 1) - (size_t)(const void *)(

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

198

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

199

) == 1) ? __builtin_strcmp (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

200

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

201

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

202

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

203

) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

204

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

205

); int __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

206

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

207

))[0] - __s2[0]); if (__s2_len > 0

__s2_len > 0	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

208

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

209

))[1] - __s2[1]); if (__s2_len > 1

__s2_len > 1	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) { __result = (((const unsigned char *) (const char *) (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

210

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

211

))[2] - __s2[2]); if (__s2_len > 2

__s2_len > 2	Description
TRUE	never evaluated
FALSE	never evaluated

&& __result == 0

__result == 0	Description
TRUE	never evaluated
FALSE	never evaluated

) __result = (((const unsigned char *) (const char *) (

never executed: __result = (((const unsigned char *) (const char *) ( ktype ))[3] - __s2[3]);

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

212

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

never executed: __result = (((const unsigned char *) (const char *) ( ktype ))[3] - __s2[3]);

0-14403

213

))[3] - __s2[3]);

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

never executed: __result = (((const unsigned char *) (const char *) ( ktype ))[3] - __s2[3]);

}

never executed: end of block

}

never executed: end of block

__result; }))) : __builtin_strcmp (

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

0-14403

214

"ssh-ed25519"

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

215

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

216

ktype

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

217

)))); })

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

1914-14403

218

!= 0

__extension__ ... )))); }) != 0	Description
TRUE	evaluated 1914 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14403 times by 2 tests Evaluated by: test_kex test_sshkey

) {

1914-14403

219 r = -13; -

220

goto

executed 1914 times by 1 test: goto out;

Executed by:

test_sshkey

out;

executed 1914 times by 1 test: goto out;

Executed by:

test_sshkey

1914

221 } -

222

if (sshbuf_len(b) != 0

sshbuf_len(b) != 0	Description
TRUE	evaluated 4 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

) {

4-14399

223 r = -23; -

224

goto

executed 4 times by 1 test: goto out;

Executed by:

test_sshkey

out;

executed 4 times by 1 test: goto out;

Executed by:

test_sshkey

225 } -

226

if (len > 64U

len > 64U	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

) {

0-14399

227 r = -4; -

228

goto

never executed: goto out;

out;

never executed: goto out;

229 } -

230

if (datalen >=

datalen >= (18...51615UL) - len	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

231

(18446744073709551615UL)

datalen >= (18...51615UL) - len	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

232

- len

datalen >= (18...51615UL) - len	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

) {

0-14399

233 r = -10; -

234

goto

never executed: goto out;

out;

never executed: goto out;

235 } -

236 smlen = len + datalen; -

237 mlen = smlen; -

238

if ((

(sm = malloc(s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

sm = malloc(smlen)) ==

(sm = malloc(s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

239

((void *)0)

(sm = malloc(s...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

240

|| (

(m = malloc(ml...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

m = malloc(mlen)) ==

(m = malloc(ml...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

241

((void *)0)

(m = malloc(ml...== ((void *)0)	Description
TRUE	never evaluated
FALSE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey

0-14399

242 ) { -

243 r = -2; -

244

goto

never executed: goto out;

out;

never executed: goto out;

245 } -

246 memcpy(sm, sigblob, len); -

247 memcpy(sm+len, data, datalen); -

248

if ((

(ret = crypto_...5519_pk)) != 0	Description
TRUE	evaluated 14324 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 75 times by 2 tests Evaluated by: test_kex test_sshkey

ret = crypto_sign_ed25519_open(m, &mlen, sm, smlen,

(ret = crypto_...5519_pk)) != 0	Description
TRUE	evaluated 14324 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 75 times by 2 tests Evaluated by: test_kex test_sshkey

75-14324

249

key->ed25519_pk)) != 0

(ret = crypto_...5519_pk)) != 0	Description
TRUE	evaluated 14324 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 75 times by 2 tests Evaluated by: test_kex test_sshkey

) {

75-14324

250 debug2("%s: crypto_sign_ed25519_open failed: %d", -

251 __func__, ret); -

252

}

executed 14324 times by 1 test: end of block

Executed by:

test_sshkey

14324

253

if (ret != 0

ret != 0	Description
TRUE	evaluated 14324 times by 1 test Evaluated by: test_sshkey
FALSE	evaluated 75 times by 2 tests Evaluated by: test_kex test_sshkey

|| mlen != datalen

mlen != datalen	Description
TRUE	never evaluated
FALSE	evaluated 75 times by 2 tests Evaluated by: test_kex test_sshkey

) {

0-14324

254 r = -21; -

255

goto

executed 14324 times by 1 test: goto out;

Executed by:

test_sshkey

out;

executed 14324 times by 1 test: goto out;

Executed by:

test_sshkey

14324

256 } -

257 -

258 -

259 r = 0; -

260

out:

code before this statement executed 75 times by 2 tests: out:

Executed by:

test_kex
test_sshkey

261

if (sm !=

sm != ((void *)0)	Description
TRUE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	evaluated 3634 times by 1 test Evaluated by: test_sshkey

3634-14399

262

((void *)0)

sm != ((void *)0)	Description
TRUE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	evaluated 3634 times by 1 test Evaluated by: test_sshkey

3634-14399

263 ) { -

264 explicit_bzero(sm, smlen); -

265 free(sm); -

266

}

executed 14399 times by 2 tests: end of block

Executed by:

test_kex
test_sshkey

14399

267

if (m !=

m != ((void *)0)	Description
TRUE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	evaluated 3634 times by 1 test Evaluated by: test_sshkey

3634-14399

268

((void *)0)

m != ((void *)0)	Description
TRUE	evaluated 14399 times by 2 tests Evaluated by: test_kex test_sshkey
FALSE	evaluated 3634 times by 1 test Evaluated by: test_sshkey

3634-14399

269 ) { -

270 explicit_bzero(m, smlen); -

271 free(m); -

272

}

executed 14399 times by 2 tests: end of block

Executed by:

test_kex
test_sshkey

14399

273 sshbuf_free(b); -

274 free(ktype); -

275

return

executed 18033 times by 2 tests: return r;

Executed by:

test_kex
test_sshkey

executed 18033 times by 2 tests: return r;

Executed by:

test_kex
test_sshkey

18033

276 } -

Switch to Source code

Preprocessed file

Generated by Squish Coco 4.2.2