Many of most successful people in IT industry are college dropouts while "professors" are people which fart in their seat for 30 years, just repeating same "knowledge" slightly updated to present.
To validate if something is hacker-resistant, one needs to think like a hacker and have skills and knowledge of a hacker. People behind CertiK have none of these.
Every fullnode wallet/daemon is updated, what is "bulletproof" today, might not be "bulletproof" with next update.
I don't believe every update will go through CertiK (I bet it would often be the initial version). Many fullnodes/daemons have dozens of updates over couple of years.
Whole CertiK ICO looks more like a retirement fund for couple of old fart "professors" and couple of people kicked out of top corporations years ago and incapable to find a job equal to their EGO.
RE: Certik is a Game Changer!