That's right.
The list of anti-virus products that license the Bitdefender engine is extremely long.
Actually, I wanted to include the most prominent Bitdefender customers in the article to give an impression.
I ended up not doing so, because some license partner use the Bitdefender engine with disabled archive extraction. In this case, they would not be vulnerable to this bug, and I didn't want to mislead someone into thinking they are.