I read that he brought in Tesla SW engineers, not SpaceX. Tesla has some of the most brilliant SW engineers in the world, working on AI, chips and supercomputers.
You undoubtedly correct on it being Tesla and not SpaceX. But, the point is the same: Forensic software analysis.