commit | 1358d157d0bd83be1dfe356a69213df9fac0b539 | [log] [tgz] |
---|---|---|
author | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Apr 21 13:23:27 2021 +0200 |
committer | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Apr 21 13:49:44 2021 +0200 |
tree | f3f4c5efcd2697448b15646f11559eb6bc002247 | |
parent | fb08d9fe837ab64934e6ddc66d442e599c805ca4 [diff] |
Fix use-after-free with `xmllint --html --push` Call htmlCtxtUseOptions to make sure that names aren't stored in dictionaries. Note that this issue only affects xmllint using the HTML push parser. Fixes #230.