The other problem is there is a lot of snake-oil or laetrile available.
The worst was the sales pitch for I think “Codility”. The example concerned a password field, but it would not check for NULL pointers so would segfault. Their demo fixed it by returning if the pointer was null. I was the only one in the room that said, “If you have a bug in a security area, the last thing you want to do is to make it silent. The only thing worse than a crash is a silent failure”.
Then there’s hungarian notation, making sure there are curly braces in the right place, proper useOfUppercase, and other nonsense. Sometimes it is useful, but most often it irrelevant.
C++ was supposed to save the world. Instead it brought bloat and resource leaks since you would have to often trace very deep paths to figure out what one line actually did - and the constructors could allocate any memory, spawn threads, who knows what. But it was “correct” as long as all these monsters, dragons, and ogres were kept hidden. “Why is my disk being accessed all the time?”. It is hard enough to avoid or debug a resource leak when all the code is right in your face. If it is scattered across an archipelago of dynamic objects, forget it. (I remember more than once someone suggested changing the Linux kernel from C to C++).
I would agree that “code is too big and not organized correctly”, but the problem is that the very same code can be written far more compactly and in modules with the proper “fracture lines”. Automated correctness provers will be a plague if it encourages writing 2000 lines and running it through one rather than 200 lines that can be eyeball reviewed.
And I would be even stronger about arbitrary projects. There is utterly no point in reviewing anything. Either they are clean and clear and cannot be refactored (except for a different tradeoff which would be immediately obvious), or they need all the strands of spaghetti removed, so it would only be worth it or not to properly and completely refactor such. Reviews can merely state the technical debt - oh, interest on your credit cards is taking up 80% of your monthly income and you are going to go bankrupt shortly.