mirror of
https://github.com/superseriousbusiness/gotosocial.git
synced 2024-11-23 04:06:39 +00:00
387 lines
18 KiB
Markdown
387 lines
18 KiB
Markdown
# bluemonday [![GoDoc](https://godoc.org/github.com/microcosm-cc/bluemonday?status.png)](https://godoc.org/github.com/microcosm-cc/bluemonday) [![Sourcegraph](https://sourcegraph.com/github.com/microcosm-cc/bluemonday/-/badge.svg)](https://sourcegraph.com/github.com/microcosm-cc/bluemonday?badge)
|
|
|
|
bluemonday is a HTML sanitizer implemented in Go. It is fast and highly configurable.
|
|
|
|
bluemonday takes untrusted user generated content as an input, and will return HTML that has been sanitised against an allowlist of approved HTML elements and attributes so that you can safely include the content in your web page.
|
|
|
|
If you accept user generated content, and your server uses Go, you **need** bluemonday.
|
|
|
|
The default policy for user generated content (`bluemonday.UGCPolicy().Sanitize()`) turns this:
|
|
```html
|
|
Hello <STYLE>.XSS{background-image:url("javascript:alert('XSS')");}</STYLE><A CLASS=XSS></A>World
|
|
```
|
|
|
|
Into a harmless:
|
|
```html
|
|
Hello World
|
|
```
|
|
|
|
And it turns this:
|
|
```html
|
|
<a href="javascript:alert('XSS1')" onmouseover="alert('XSS2')">XSS<a>
|
|
```
|
|
|
|
Into this:
|
|
```html
|
|
XSS
|
|
```
|
|
|
|
Whilst still allowing this:
|
|
```html
|
|
<a href="http://www.google.com/">
|
|
<img src="https://ssl.gstatic.com/accounts/ui/logo_2x.png"/>
|
|
</a>
|
|
```
|
|
|
|
To pass through mostly unaltered (it gained a rel="nofollow" which is a good thing for user generated content):
|
|
```html
|
|
<a href="http://www.google.com/" rel="nofollow">
|
|
<img src="https://ssl.gstatic.com/accounts/ui/logo_2x.png"/>
|
|
</a>
|
|
```
|
|
|
|
It protects sites from [XSS](http://en.wikipedia.org/wiki/Cross-site_scripting) attacks. There are many [vectors for an XSS attack](https://www.owasp.org/index.php/XSS_Filter_Evasion_Cheat_Sheet) and the best way to mitigate the risk is to sanitize user input against a known safe list of HTML elements and attributes.
|
|
|
|
You should **always** run bluemonday **after** any other processing.
|
|
|
|
If you use [blackfriday](https://github.com/russross/blackfriday) or [Pandoc](http://johnmacfarlane.net/pandoc/) then bluemonday should be run after these steps. This ensures that no insecure HTML is introduced later in your process.
|
|
|
|
bluemonday is heavily inspired by both the [OWASP Java HTML Sanitizer](https://code.google.com/p/owasp-java-html-sanitizer/) and the [HTML Purifier](http://htmlpurifier.org/).
|
|
|
|
## Technical Summary
|
|
|
|
Allowlist based, you need to either build a policy describing the HTML elements and attributes to permit (and the `regexp` patterns of attributes), or use one of the supplied policies representing good defaults.
|
|
|
|
The policy containing the allowlist is applied using a fast non-validating, forward only, token-based parser implemented in the [Go net/html library](https://godoc.org/golang.org/x/net/html) by the core Go team.
|
|
|
|
We expect to be supplied with well-formatted HTML (closing elements for every applicable open element, nested correctly) and so we do not focus on repairing badly nested or incomplete HTML. We focus on simply ensuring that whatever elements do exist are described in the policy allowlist and that attributes and links are safe for use on your web page. [GIGO](http://en.wikipedia.org/wiki/Garbage_in,_garbage_out) does apply and if you feed it bad HTML bluemonday is not tasked with figuring out how to make it good again.
|
|
|
|
## Is it production ready?
|
|
|
|
*Yes*
|
|
|
|
We are using bluemonday in production having migrated from the widely used and heavily field tested OWASP Java HTML Sanitizer.
|
|
|
|
We are passing our extensive test suite (including AntiSamy tests as well as tests for any issues raised). Check for any [unresolved issues](https://github.com/microcosm-cc/bluemonday/issues?page=1&state=open) to see whether anything may be a blocker for you.
|
|
|
|
We invite pull requests and issues to help us ensure we are offering comprehensive protection against various attacks via user generated content.
|
|
|
|
## Usage
|
|
|
|
Install using `go get github.com/microcosm-cc/bluemonday`
|
|
|
|
Then call it:
|
|
```go
|
|
package main
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
"github.com/microcosm-cc/bluemonday"
|
|
)
|
|
|
|
func main() {
|
|
// Do this once for each unique policy, and use the policy for the life of the program
|
|
// Policy creation/editing is not safe to use in multiple goroutines
|
|
p := bluemonday.UGCPolicy()
|
|
|
|
// The policy can then be used to sanitize lots of input and it is safe to use the policy in multiple goroutines
|
|
html := p.Sanitize(
|
|
`<a onblur="alert(secret)" href="http://www.google.com">Google</a>`,
|
|
)
|
|
|
|
// Output:
|
|
// <a href="http://www.google.com" rel="nofollow">Google</a>
|
|
fmt.Println(html)
|
|
}
|
|
```
|
|
|
|
We offer three ways to call Sanitize:
|
|
```go
|
|
p.Sanitize(string) string
|
|
p.SanitizeBytes([]byte) []byte
|
|
p.SanitizeReader(io.Reader) bytes.Buffer
|
|
```
|
|
|
|
If you are obsessed about performance, `p.SanitizeReader(r).Bytes()` will return a `[]byte` without performing any unnecessary casting of the inputs or outputs. Though the difference is so negligible you should never need to care.
|
|
|
|
You can build your own policies:
|
|
```go
|
|
package main
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
"github.com/microcosm-cc/bluemonday"
|
|
)
|
|
|
|
func main() {
|
|
p := bluemonday.NewPolicy()
|
|
|
|
// Require URLs to be parseable by net/url.Parse and either:
|
|
// mailto: http:// or https://
|
|
p.AllowStandardURLs()
|
|
|
|
// We only allow <p> and <a href="">
|
|
p.AllowAttrs("href").OnElements("a")
|
|
p.AllowElements("p")
|
|
|
|
html := p.Sanitize(
|
|
`<a onblur="alert(secret)" href="http://www.google.com">Google</a>`,
|
|
)
|
|
|
|
// Output:
|
|
// <a href="http://www.google.com">Google</a>
|
|
fmt.Println(html)
|
|
}
|
|
```
|
|
|
|
We ship two default policies:
|
|
|
|
1. `bluemonday.StrictPolicy()` which can be thought of as equivalent to stripping all HTML elements and their attributes as it has nothing on its allowlist. An example usage scenario would be blog post titles where HTML tags are not expected at all and if they are then the elements *and* the content of the elements should be stripped. This is a *very* strict policy.
|
|
2. `bluemonday.UGCPolicy()` which allows a broad selection of HTML elements and attributes that are safe for user generated content. Note that this policy does *not* allow iframes, object, embed, styles, script, etc. An example usage scenario would be blog post bodies where a variety of formatting is expected along with the potential for TABLEs and IMGs.
|
|
|
|
## Policy Building
|
|
|
|
The essence of building a policy is to determine which HTML elements and attributes are considered safe for your scenario. OWASP provide an [XSS prevention cheat sheet](https://www.owasp.org/index.php/XSS_(Cross_Site_Scripting)_Prevention_Cheat_Sheet) to help explain the risks, but essentially:
|
|
|
|
1. Avoid anything other than the standard HTML elements
|
|
1. Avoid `script`, `style`, `iframe`, `object`, `embed`, `base` elements that allow code to be executed by the client or third party content to be included that can execute code
|
|
1. Avoid anything other than plain HTML attributes with values matched to a regexp
|
|
|
|
Basically, you should be able to describe what HTML is fine for your scenario. If you do not have confidence that you can describe your policy please consider using one of the shipped policies such as `bluemonday.UGCPolicy()`.
|
|
|
|
To create a new policy:
|
|
```go
|
|
p := bluemonday.NewPolicy()
|
|
```
|
|
|
|
To add elements to a policy either add just the elements:
|
|
```go
|
|
p.AllowElements("b", "strong")
|
|
```
|
|
|
|
Or using a regex:
|
|
|
|
_Note: if an element is added by name as shown above, any matching regex will be ignored_
|
|
|
|
It is also recommended to ensure multiple patterns don't overlap as order of execution is not guaranteed and can result in some rules being missed.
|
|
```go
|
|
p.AllowElementsMatching(regex.MustCompile(`^my-element-`))
|
|
```
|
|
|
|
Or add elements as a virtue of adding an attribute:
|
|
```go
|
|
// Note the recommended pattern, see the recommendation on using .Matching() below
|
|
p.AllowAttrs("nowrap").OnElements("td", "th")
|
|
```
|
|
|
|
Again, this also supports a regex pattern match alternative:
|
|
```go
|
|
p.AllowAttrs("nowrap").OnElementsMatching(regex.MustCompile(`^my-element-`))
|
|
```
|
|
|
|
Attributes can either be added to all elements:
|
|
```go
|
|
p.AllowAttrs("dir").Matching(regexp.MustCompile("(?i)rtl|ltr")).Globally()
|
|
```
|
|
|
|
Or attributes can be added to specific elements:
|
|
```go
|
|
// Not the recommended pattern, see the recommendation on using .Matching() below
|
|
p.AllowAttrs("value").OnElements("li")
|
|
```
|
|
|
|
It is **always** recommended that an attribute be made to match a pattern. XSS in HTML attributes is very easy otherwise:
|
|
```go
|
|
// \p{L} matches unicode letters, \p{N} matches unicode numbers
|
|
p.AllowAttrs("title").Matching(regexp.MustCompile(`[\p{L}\p{N}\s\-_',:\[\]!\./\\\(\)&]*`)).Globally()
|
|
```
|
|
|
|
You can stop at any time and call .Sanitize():
|
|
```go
|
|
// string htmlIn passed in from a HTTP POST
|
|
htmlOut := p.Sanitize(htmlIn)
|
|
```
|
|
|
|
And you can take any existing policy and extend it:
|
|
```go
|
|
p := bluemonday.UGCPolicy()
|
|
p.AllowElements("fieldset", "select", "option")
|
|
```
|
|
|
|
### Inline CSS
|
|
|
|
Although it's possible to handle inline CSS using `AllowAttrs` with a `Matching` rule, writing a single monolithic regular expression to safely process all inline CSS which you wish to allow is not a trivial task. Instead of attempting to do so, you can allow the `style` attribute on whichever element(s) you desire and use style policies to control and sanitize inline styles.
|
|
|
|
It is strongly recommended that you use `Matching` (with a suitable regular expression)
|
|
`MatchingEnum`, or `MatchingHandler` to ensure each style matches your needs,
|
|
but default handlers are supplied for most widely used styles.
|
|
|
|
Similar to attributes, you can allow specific CSS properties to be set inline:
|
|
```go
|
|
p.AllowAttrs("style").OnElements("span", "p")
|
|
// Allow the 'color' property with valid RGB(A) hex values only (on any element allowed a 'style' attribute)
|
|
p.AllowStyles("color").Matching(regexp.MustCompile("(?i)^#([0-9a-f]{3,4}|[0-9a-f]{6}|[0-9a-f]{8})$")).Globally()
|
|
```
|
|
|
|
Additionally, you can allow a CSS property to be set only to an allowed value:
|
|
```go
|
|
p.AllowAttrs("style").OnElements("span", "p")
|
|
// Allow the 'text-decoration' property to be set to 'underline', 'line-through' or 'none'
|
|
// on 'span' elements only
|
|
p.AllowStyles("text-decoration").MatchingEnum("underline", "line-through", "none").OnElements("span")
|
|
```
|
|
|
|
Or you can specify elements based on a regex pattern match:
|
|
```go
|
|
p.AllowAttrs("style").OnElementsMatching(regex.MustCompile(`^my-element-`))
|
|
// Allow the 'text-decoration' property to be set to 'underline', 'line-through' or 'none'
|
|
// on 'span' elements only
|
|
p.AllowStyles("text-decoration").MatchingEnum("underline", "line-through", "none").OnElementsMatching(regex.MustCompile(`^my-element-`))
|
|
```
|
|
|
|
If you need more specific checking, you can create a handler that takes in a string and returns a bool to
|
|
validate the values for a given property. The string parameter has been
|
|
converted to lowercase and unicode code points have been converted.
|
|
```go
|
|
myHandler := func(value string) bool{
|
|
// Validate your input here
|
|
return true
|
|
}
|
|
p.AllowAttrs("style").OnElements("span", "p")
|
|
// Allow the 'color' property with values validated by the handler (on any element allowed a 'style' attribute)
|
|
p.AllowStyles("color").MatchingHandler(myHandler).Globally()
|
|
```
|
|
|
|
### Links
|
|
|
|
Links are difficult beasts to sanitise safely and also one of the biggest attack vectors for malicious content.
|
|
|
|
It is possible to do this:
|
|
```go
|
|
p.AllowAttrs("href").Matching(regexp.MustCompile(`(?i)mailto|https?`)).OnElements("a")
|
|
```
|
|
|
|
But that will not protect you as the regular expression is insufficient in this case to have prevented a malformed value doing something unexpected.
|
|
|
|
We provide some additional global options for safely working with links.
|
|
|
|
`RequireParseableURLs` will ensure that URLs are parseable by Go's `net/url` package:
|
|
```go
|
|
p.RequireParseableURLs(true)
|
|
```
|
|
|
|
If you have enabled parseable URLs then the following option will `AllowRelativeURLs`. By default this is disabled (bluemonday is an allowlist tool... you need to explicitly tell us to permit things) and when disabled it will prevent all local and scheme relative URLs (i.e. `href="localpage.html"`, `href="../home.html"` and even `href="//www.google.com"` are relative):
|
|
```go
|
|
p.AllowRelativeURLs(true)
|
|
```
|
|
|
|
If you have enabled parseable URLs then you can allow the schemes (commonly called protocol when thinking of `http` and `https`) that are permitted. Bear in mind that allowing relative URLs in the above option will allow for a blank scheme:
|
|
```go
|
|
p.AllowURLSchemes("mailto", "http", "https")
|
|
```
|
|
|
|
Regardless of whether you have enabled parseable URLs, you can force all URLs to have a rel="nofollow" attribute. This will be added if it does not exist, but only when the `href` is valid:
|
|
```go
|
|
// This applies to "a" "area" "link" elements that have a "href" attribute
|
|
p.RequireNoFollowOnLinks(true)
|
|
```
|
|
|
|
Similarly, you can force all URLs to have "noreferrer" in their rel attribute.
|
|
```go
|
|
// This applies to "a" "area" "link" elements that have a "href" attribute
|
|
p.RequireNoReferrerOnLinks(true)
|
|
```
|
|
|
|
|
|
We provide a convenience method that applies all of the above, but you will still need to allow the linkable elements for the URL rules to be applied to:
|
|
```go
|
|
p.AllowStandardURLs()
|
|
p.AllowAttrs("cite").OnElements("blockquote", "q")
|
|
p.AllowAttrs("href").OnElements("a", "area")
|
|
p.AllowAttrs("src").OnElements("img")
|
|
```
|
|
|
|
An additional complexity regarding links is the data URI as defined in [RFC2397](http://tools.ietf.org/html/rfc2397). The data URI allows for images to be served inline using this format:
|
|
|
|
```html
|
|
<img src="data:image/webp;base64,UklGRh4AAABXRUJQVlA4TBEAAAAvAAAAAAfQ//73v/+BiOh/AAA=">
|
|
```
|
|
|
|
We have provided a helper to verify the mimetype followed by base64 content of data URIs links:
|
|
|
|
```go
|
|
p.AllowDataURIImages()
|
|
```
|
|
|
|
That helper will enable GIF, JPEG, PNG and WEBP images.
|
|
|
|
It should be noted that there is a potential [security](http://palizine.plynt.com/issues/2010Oct/bypass-xss-filters/) [risk](https://capec.mitre.org/data/definitions/244.html) with the use of data URI links. You should only enable data URI links if you already trust the content.
|
|
|
|
We also have some features to help deal with user generated content:
|
|
```go
|
|
p.AddTargetBlankToFullyQualifiedLinks(true)
|
|
```
|
|
|
|
This will ensure that anchor `<a href="" />` links that are fully qualified (the href destination includes a host name) will get `target="_blank"` added to them.
|
|
|
|
Additionally any link that has `target="_blank"` after the policy has been applied will also have the `rel` attribute adjusted to add `noopener`. This means a link may start like `<a href="//host/path"/>` and will end up as `<a href="//host/path" rel="noopener" target="_blank">`. It is important to note that the addition of `noopener` is a security feature and not an issue. There is an unfortunate feature to browsers that a browser window opened as a result of `target="_blank"` can still control the opener (your web page) and this protects against that. The background to this can be found here: [https://dev.to/ben/the-targetblank-vulnerability-by-example](https://dev.to/ben/the-targetblank-vulnerability-by-example)
|
|
|
|
### Policy Building Helpers
|
|
|
|
We also bundle some helpers to simplify policy building:
|
|
```go
|
|
|
|
// Permits the "dir", "id", "lang", "title" attributes globally
|
|
p.AllowStandardAttributes()
|
|
|
|
// Permits the "img" element and its standard attributes
|
|
p.AllowImages()
|
|
|
|
// Permits ordered and unordered lists, and also definition lists
|
|
p.AllowLists()
|
|
|
|
// Permits HTML tables and all applicable elements and non-styling attributes
|
|
p.AllowTables()
|
|
```
|
|
|
|
### Invalid Instructions
|
|
|
|
The following are invalid:
|
|
```go
|
|
// This does not say where the attributes are allowed, you need to add
|
|
// .Globally() or .OnElements(...)
|
|
// This will be ignored without error.
|
|
p.AllowAttrs("value")
|
|
|
|
// This does not say where the attributes are allowed, you need to add
|
|
// .Globally() or .OnElements(...)
|
|
// This will be ignored without error.
|
|
p.AllowAttrs(
|
|
"type",
|
|
).Matching(
|
|
regexp.MustCompile("(?i)^(circle|disc|square|a|A|i|I|1)$"),
|
|
)
|
|
```
|
|
|
|
Both examples exhibit the same issue, they declare attributes but do not then specify whether they are allowed globally or only on specific elements (and which elements). Attributes belong to one or more elements, and the policy needs to declare this.
|
|
|
|
## Limitations
|
|
|
|
We are not yet including any tools to help allow and sanitize CSS. Which means that unless you wish to do the heavy lifting in a single regular expression (inadvisable), **you should not allow the "style" attribute anywhere**.
|
|
|
|
In the same theme, both `<script>` and `<style>` are considered harmful. These elements (and their content) will not be rendered by default, and require you to explicitly set `p.AllowUnsafe(true)`. You should be aware that allowing these elements defeats the purpose of using a HTML sanitizer as you would be explicitly allowing either JavaScript (and any plainly written XSS) and CSS (which can modify a DOM to insert JS), and additionally but limitations in this library mean it is not aware of whether HTML is validly structured and that can allow these elements to bypass some of the safety mechanisms built into the [WhatWG HTML parser standard](https://html.spec.whatwg.org/multipage/parsing.html#parsing-main-inselect).
|
|
|
|
It is not the job of bluemonday to fix your bad HTML, it is merely the job of bluemonday to prevent malicious HTML getting through. If you have mismatched HTML elements, or non-conforming nesting of elements, those will remain. But if you have well-structured HTML bluemonday will not break it.
|
|
|
|
## TODO
|
|
|
|
* Investigate whether devs want to blacklist elements and attributes. This would allow devs to take an existing policy (such as the `bluemonday.UGCPolicy()` ) that encapsulates 90% of what they're looking for but does more than they need, and to remove the extra things they do not want to make it 100% what they want
|
|
* Investigate whether devs want a validating HTML mode, in which the HTML elements are not just transformed into a balanced tree (every start tag has a closing tag at the correct depth) but also that elements and character data appear only in their allowed context (i.e. that a `table` element isn't a descendent of a `caption`, that `colgroup`, `thead`, `tbody`, `tfoot` and `tr` are permitted, and that character data is not permitted)
|
|
|
|
## Long term goals
|
|
|
|
1. Open the code to adversarial peer review similar to the [Attack Review Ground Rules](https://code.google.com/p/owasp-java-html-sanitizer/wiki/AttackReviewGroundRules)
|
|
1. Raise funds and pay for an external security review
|