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
|
package rfc
/*
* ZLint Copyright 2024 Regents of the University of Michigan
*
* 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.
*/
import (
"github.com/zmap/zcrypto/encoding/asn1"
"github.com/zmap/zcrypto/x509"
"github.com/zmap/zlint/v3/lint"
"github.com/zmap/zlint/v3/util"
)
type nameConstraintEmpty struct{}
/***********************************************************************
Restrictions are defined in terms of permitted or excluded name
subtrees. Any name matching a restriction in the excludedSubtrees
field is invalid regardless of information appearing in the
permittedSubtrees. Conforming CAs MUST mark this extension as
critical and SHOULD NOT impose name constraints on the x400Address,
ediPartyName, or registeredID name forms. Conforming CAs MUST NOT
issue certificates where name constraints is an empty sequence. That
is, either the permittedSubtrees field or the excludedSubtrees MUST
be present.
************************************************************************/
func init() {
lint.RegisterCertificateLint(&lint.CertificateLint{
LintMetadata: lint.LintMetadata{
Name: "e_name_constraint_empty",
Description: "Conforming CAs MUST NOT issue certificates where name constraints is an empty sequence. That is, either the permittedSubtree or excludedSubtree fields must be present",
Citation: "RFC 5280: 4.2.1.10",
Source: lint.RFC5280,
EffectiveDate: util.RFC5280Date,
},
Lint: NewNameConstraintEmpty,
})
}
func NewNameConstraintEmpty() lint.LintInterface {
return &nameConstraintEmpty{}
}
func (l *nameConstraintEmpty) CheckApplies(c *x509.Certificate) bool {
if !(util.IsExtInCert(c, util.NameConstOID)) {
return false
}
nc := util.GetExtFromCert(c, util.NameConstOID)
var seq asn1.RawValue
rest, err := asn1.Unmarshal(nc.Value, &seq) //only one sequence, so rest should be empty
if err != nil || len(rest) != 0 || seq.Tag != 16 || seq.Class != 0 || !seq.IsCompound {
return false
}
return true
}
func (l *nameConstraintEmpty) Execute(c *x509.Certificate) *lint.LintResult {
nc := util.GetExtFromCert(c, util.NameConstOID)
var seq asn1.RawValue
_, err := asn1.Unmarshal(nc.Value, &seq) //only one sequence, so rest should be empty
if err != nil {
return &lint.LintResult{Status: lint.Fatal}
}
if len(seq.Bytes) == 0 {
return &lint.LintResult{Status: lint.Error}
}
return &lint.LintResult{Status: lint.Pass}
}
|
