-
Notifications
You must be signed in to change notification settings - Fork 39
/
peverify.go
226 lines (215 loc) · 6.39 KB
/
peverify.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
//
// Copyright (c) SAS Institute Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
//
package authenticode
import (
"bytes"
"crypto"
"crypto/hmac"
"encoding/asn1"
"encoding/binary"
"errors"
"fmt"
"io"
"github.com/sassoftware/relic/v8/lib/pkcs7"
"github.com/sassoftware/relic/v8/lib/pkcs9"
"github.com/sassoftware/relic/v8/lib/x509tools"
"github.com/sassoftware/relic/v8/signers/sigerrors"
)
type PESignature struct {
pkcs9.TimestampedSignature
Indirect *SpcIndirectDataContentPe
OpusInfo *SpcSpOpusInfo
ImageHashFunc crypto.Hash
PageHashes []byte
PageHashFunc crypto.Hash
}
// Extract and verify the signature from a PE/COFF image file. Does not check X509 chains.
func VerifyPE(r io.ReadSeeker, skipDigests bool) ([]PESignature, error) {
hvals, err := findSignatures(r)
if err != nil {
return nil, err
} else if hvals.certSize == 0 {
return nil, sigerrors.NotSignedError{Type: "PECOFF"}
}
// Read certificate table
sigblob := make([]byte, hvals.certSize)
if _, err := r.Seek(hvals.certStart, 0); err != nil {
return nil, err
}
if _, err := io.ReadFull(r, sigblob); err != nil {
return nil, err
}
// Parse and verify signatures
if skipDigests {
r = nil
}
return checkSignatures(sigblob, r)
}
func findSignatures(r io.ReadSeeker) (*peHeaderValues, error) {
if _, err := r.Seek(0, 0); err != nil {
return nil, err
}
d := io.Discard
peStart, err := readDosHeader(r, d)
if err != nil {
return nil, err
}
if _, err := r.Seek(peStart, 0); err != nil {
return nil, err
}
fh, err := readCoffHeader(r, d)
if err != nil {
return nil, err
}
return readOptHeader(r, d, peStart, fh)
}
func checkSignatures(blob []byte, image io.ReadSeeker) ([]PESignature, error) {
values := make(map[crypto.Hash][]byte)
phvalues := make(map[crypto.Hash][]byte)
allhashes := make(map[crypto.Hash]bool)
sigs := make([]PESignature, 0, 1)
for len(blob) != 0 {
if len(blob) < 4 {
return nil, errors.New("invalid certificate table")
}
wLen := binary.LittleEndian.Uint32(blob[:4])
end := (int(wLen) + 7) / 8 * 8
size := int(wLen) - 8
if end > len(blob) || size < 0 {
return nil, errors.New("invalid certificate table")
}
cert := blob[8 : 8+size]
blob = blob[end:]
sig, err := checkSignature(cert)
if err != nil {
return nil, err
}
allhashes[sig.ImageHashFunc] = true
if len(sig.PageHashes) > 0 {
phvalues[sig.PageHashFunc] = sig.PageHashes
allhashes[sig.PageHashFunc] = true
}
sigs = append(sigs, *sig)
imageDigest := sig.Indirect.MessageDigest.Digest
if existing := values[sig.ImageHashFunc]; existing == nil {
values[sig.ImageHashFunc] = imageDigest
} else if !hmac.Equal(imageDigest, existing) {
// they can't both be right...
return nil, fmt.Errorf("digest mismatch: %x != %x", imageDigest, existing)
}
}
if image == nil {
return sigs, nil
}
for hash := range allhashes {
imagehash := values[hash]
pagehashes := phvalues[hash]
if _, err := image.Seek(0, 0); err != nil {
return nil, err
}
doPageHashes := len(pagehashes) > 0
digest, err := DigestPE(image, hash, doPageHashes)
if err != nil {
return sigs, err
}
if imagehash != nil && !hmac.Equal(digest.Imprint, imagehash) {
return sigs, fmt.Errorf("digest mismatch: %x != %x", digest.Imprint, imagehash)
}
if pagehashes != nil && !hmac.Equal(digest.PageHashes, pagehashes) {
return sigs, fmt.Errorf("page hash mismatch")
}
}
return sigs, nil
}
func checkSignature(der []byte) (*PESignature, error) {
psd, err := pkcs7.Unmarshal(der)
if err != nil {
return nil, fmt.Errorf("unmarshaling authenticode signature: %w", err)
}
if !psd.Content.ContentInfo.ContentType.Equal(OidSpcIndirectDataContent) {
return nil, errors.New("not an authenticode signature")
}
sig, err := psd.Content.Verify(nil, false)
if err != nil {
return nil, fmt.Errorf("verifying indirect signature: %w", err)
}
ts, err := pkcs9.VerifyOptionalTimestamp(sig)
if err != nil {
return nil, fmt.Errorf("verifying timestamp: %w", err)
}
indirect := new(SpcIndirectDataContentPe)
if err := psd.Content.ContentInfo.Unmarshal(indirect); err != nil {
return nil, fmt.Errorf("unmarshaling SpcIndirectDataContentPe: %w", err)
}
hash, err := x509tools.PkixDigestToHashE(indirect.MessageDigest.DigestAlgorithm)
if err != nil {
return nil, err
}
opus, err := GetOpusInfo(sig.SignerInfo)
if err != nil {
return nil, err
}
pesig := &PESignature{
TimestampedSignature: ts,
Indirect: indirect,
OpusInfo: opus,
ImageHashFunc: hash,
}
if err := readPageHashes(pesig); err != nil {
return nil, err
}
return pesig, nil
}
func GetOpusInfo(si *pkcs7.SignerInfo) (*SpcSpOpusInfo, error) {
opus := new(SpcSpOpusInfo)
err := si.AuthenticatedAttributes.GetOne(OidSpcSpOpusInfo, opus)
if err == nil {
return opus, nil
} else if errors.As(err, &pkcs7.ErrNoAttribute{}) {
return nil, nil
}
return nil, fmt.Errorf("parsing SpcSpOpusInfo attribute: %w", err)
}
func readPageHashes(sig *PESignature) error {
serObj := sig.Indirect.Data.Value.File.Moniker
if !bytes.Equal(serObj.ClassID, SpcUUIDPageHashes) {
// not present
return nil
}
// unnecessary SET wrapped around the solitary attribute SEQ
var attrRaw asn1.RawValue
if _, err := asn1.Unmarshal(serObj.SerializedData, &attrRaw); err != nil {
return fmt.Errorf("unmarshaling page hashes: %w", err)
}
var attr SpcAttributePageHashes
if _, err := asn1.Unmarshal(attrRaw.Bytes, &attr); err != nil {
return fmt.Errorf("unmarshaling SpcAttributePageHashes: %w", err)
}
switch {
case attr.Type.Equal(OidSpcPageHashV1):
sig.PageHashFunc = crypto.SHA1
case attr.Type.Equal(OidSpcPageHashV2):
sig.PageHashFunc = crypto.SHA256
default:
return errors.New("unknown page hash format")
}
// unnecessary SET wrapped around the octets too
sig.PageHashes = attr.Hashes[0]
if len(sig.PageHashes) == 0 || len(sig.PageHashes)%(4+sig.PageHashFunc.Size()) != 0 {
return errors.New("malformed page hash")
}
return nil
}