Spec is right, read here: https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2017-5567
Technical details: https://forum.avast.com/index.php?topic=66267.msg1379910#msg1379910