html5ever issues

Avoid taking more than O(n) time even for malicious input

6

HTML parsers are not just used in client-side applications: they are also used on servers, such as in HTML sanitizers. html5ever (and xml5ever) should guarantee that they cannot be coerced...

DemiMarie

Add a method in TreeSink trait which will be called when an element ends

12

For example, give an html code like ``` ``` The function will be called when the parser reaches the end tag.

nearsyh

Reduce warning spam

5

Two of the most common warnings I see reported in Servo's automatic reporting system are `stop_parsing not implemented, full speed ahead!` and `FIXME: /script> not fully implemented`. We should investigate...

jdm

Serialize unrecognized namespaces according to the prefix used

3

We have to query this information from the DOM. Offshoot of #14. cc @SimonSapin

kmcallister

priority-low

XML

Revisit tokenizer microoptimizations

1

For example, there's [an old branch](https://github.com/servo/html5ever/tree/sse) to use SSE 4.2 string instructions in tokenization, which realized a speedup of about 10% and could probably be pushed much further.

kmcallister

performance

Speculative parsing and tokenization

2

Similar to servo/servo#1009 The first step is speculative parsing concurrent with scripts, [similar to what Gecko does](https://developer.mozilla.org/en-US/docs/Mozilla/Gecko/HTML_parser_threading).

kmcallister

performance

Provide hooks for application cache selection

A browser runs the [application cache selection algorithm](http://www.whatwg.org/specs/web-apps/current-work/multipage/browsers.html#concept-appcache-init) when the parser sees ``.

kmcallister

web-compat

priority-low

Display code next to spec

Many parts of the parser code closely match sections of the HTML5 syntax spec. We should include machine-readable comments describing this correspondence, and then generate a HTML document with syntax-highlighted...

kmcallister

doc