In the corresponding blog post the analysis and exploitation of the vulnerability is explained in detail.
Clone the repository, then build the tcdos binary. Run the program as follows to test
whether a particular WebSocket endpoint is vulnerable:
$ git clone https://github.com/RedTeamPentesting/CVE-2020-13935
$ cd CVE-2020-13935
$ go build
$ ./tcdos [WebSocket endpoint]