People have long been calling for medical devices have published source, for exactly this worry.
There are plenty of reasons that are reasonable for saying “source code should be available”, but “the software might have bugs” is not one of them.
That was found by a security researcher not affiliated with the manufacturer.