I don’t know, but as a black box it’s been extensively looked at. But nothing is unhackable even E2E.
With closed source software, though, this doesn't give as much confidence, since a company could create a version which they send to everyone but which contains an "if (userId == NSA_TARGET)" conditional branch.