aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAxel Wagner <axel.wagner.hh@googlemail.com>2024-02-14 09:38:46 +0100
committerGopher Robot <gobot@golang.org>2024-02-22 22:50:20 +0000
commit8a0fbd75a54c27ff2ae624ac2775bf752cdbceb4 (patch)
treef2f3db97bf9817ff1d6c148b2fcb27dbba478235 /src
parentd892cb496a30ec274ee87f3cd0cf6bb7ac682ab3 (diff)
downloadgo-8a0fbd75a54c27ff2ae624ac2775bf752cdbceb4.tar.xz
encoding/xml: reject XML declaration after start of document
The XML specification requires an XML declaration, if present, to only appear at the very beginning of the document, not even preceded by whitespace. The parser currently accepts it at any part of the input. Rejecting whitespace at the beginning of the file might break too many users. This change instead only rejects an XML declaration preceded by a non-whitespace token *and* allows the Encoder to emit whitespace before an XML declaration. This means that a token stream produced by the Decoder can be passed to the Encoder without error, while we still don't emit clearly invalid XML. This might break programs depending on Decoder allowing arbitrary XML before the XML declaration. Fixes #65691. Change-Id: Ib1d4b3116aee63f40fd377f90595780b4befd1ee Reviewed-on: https://go-review.googlesource.com/c/go/+/564035 Auto-Submit: Ian Lance Taylor <iant@google.com> LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com> Reviewed-by: Than McIntosh <thanm@google.com> Reviewed-by: Ian Lance Taylor <iant@google.com>
Diffstat (limited to 'src')
-rw-r--r--src/encoding/xml/marshal.go28
-rw-r--r--src/encoding/xml/marshal_test.go3
-rw-r--r--src/encoding/xml/xml.go12
-rw-r--r--src/encoding/xml/xml_test.go2
4 files changed, 41 insertions, 4 deletions
diff --git a/src/encoding/xml/marshal.go b/src/encoding/xml/marshal.go
index 05b5542dfb..c30f0dca15 100644
--- a/src/encoding/xml/marshal.go
+++ b/src/encoding/xml/marshal.go
@@ -208,7 +208,6 @@ var (
// EncodeToken allows writing a [ProcInst] with Target set to "xml" only as the first token
// in the stream.
func (enc *Encoder) EncodeToken(t Token) error {
-
p := &enc.p
switch t := t.(type) {
case StartElement:
@@ -228,11 +227,10 @@ func (enc *Encoder) EncodeToken(t Token) error {
p.WriteString("<!--")
p.Write(t)
p.WriteString("-->")
- return p.cachedWriteError()
case ProcInst:
// First token to be encoded which is also a ProcInst with target of xml
// is the xml declaration. The only ProcInst where target of xml is allowed.
- if t.Target == "xml" && p.w.Buffered() != 0 {
+ if t.Target == "xml" && p.wroteNonWS {
return fmt.Errorf("xml: EncodeToken of ProcInst xml target only valid for xml declaration, first token encoded")
}
if !isNameString(t.Target) {
@@ -257,9 +255,30 @@ func (enc *Encoder) EncodeToken(t Token) error {
p.WriteString(">")
default:
return fmt.Errorf("xml: EncodeToken of invalid token type")
+ }
+ if err := p.cachedWriteError(); err != nil || enc.p.wroteNonWS {
+ return err
+ }
+ enc.p.wroteNonWS = !isWhitespace(t)
+ return nil
+}
+// isWhitespace reports whether t is a CharData token consisting entirely of
+// XML whitespace.
+func isWhitespace(t Token) bool {
+ switch t := t.(type) {
+ case CharData:
+ for _, b := range t {
+ switch b {
+ case ' ', '\r', '\n', '\t':
+ default:
+ return false
+ }
+ }
+ return true
+ default:
+ return false
}
- return p.cachedWriteError()
}
// isValidDirective reports whether dir is a valid directive text,
@@ -329,6 +348,7 @@ type printer struct {
prefixes []string
tags []Name
closed bool
+ wroteNonWS bool
err error
}
diff --git a/src/encoding/xml/marshal_test.go b/src/encoding/xml/marshal_test.go
index f6bcc7fd30..90922f549e 100644
--- a/src/encoding/xml/marshal_test.go
+++ b/src/encoding/xml/marshal_test.go
@@ -2356,6 +2356,9 @@ func TestProcInstEncodeToken(t *testing.T) {
var buf bytes.Buffer
enc := NewEncoder(&buf)
+ if err := enc.EncodeToken(CharData(" \n\r\t")); err != nil {
+ t.Fatal("enc.EncodeToken: expected to be able to encode whitespace as first token")
+ }
if err := enc.EncodeToken(ProcInst{"xml", []byte("Instruction")}); err != nil {
t.Fatalf("enc.EncodeToken: expected to be able to encode xml target ProcInst as first token, %s", err)
}
diff --git a/src/encoding/xml/xml.go b/src/encoding/xml/xml.go
index 6b8f2e7978..a1e63ed30d 100644
--- a/src/encoding/xml/xml.go
+++ b/src/encoding/xml/xml.go
@@ -212,6 +212,7 @@ type Decoder struct {
line int
linestart int64
offset int64
+ readNonWS bool
unmarshalDepth int
}
@@ -559,6 +560,8 @@ func (d *Decoder) rawToken() (Token, error) {
return EndElement{d.toClose}, nil
}
+ readNonWS := d.readNonWS
+
b, ok := d.getc()
if !ok {
return nil, d.err
@@ -571,8 +574,12 @@ func (d *Decoder) rawToken() (Token, error) {
if data == nil {
return nil, d.err
}
+ if !d.readNonWS && !isWhitespace(CharData(data)) {
+ d.readNonWS = true
+ }
return CharData(data), nil
}
+ d.readNonWS = true
if b, ok = d.mustgetc(); !ok {
return nil, d.err
@@ -623,6 +630,11 @@ func (d *Decoder) rawToken() (Token, error) {
data = data[0 : len(data)-2] // chop ?>
if target == "xml" {
+ if readNonWS {
+ d.err = errors.New("xml: XML declaration after start of document")
+ return nil, d.err
+ }
+
content := string(data)
ver := procInst("version", content)
if ver != "" && ver != "1.0" {
diff --git a/src/encoding/xml/xml_test.go b/src/encoding/xml/xml_test.go
index 4bec4e7f1e..2c985f7c70 100644
--- a/src/encoding/xml/xml_test.go
+++ b/src/encoding/xml/xml_test.go
@@ -1350,10 +1350,12 @@ func TestParseErrors(t *testing.T) {
// Header-related errors.
{`<?xml version="1.1" encoding="UTF-8"?>`, `unsupported version "1.1"; only version 1.0 is supported`},
+ {`<foo><?xml version="1.0"?>`, `XML declaration after start of document`},
// Cases below are for "no errors".
{withDefaultHeader(`<?ok?>`), ``},
{withDefaultHeader(`<?ok version="ok"?>`), ``},
+ {` <?xml version="1.0"?>`, ``},
}
for _, test := range tests {