[NVDave]

Per my reply to U-238, most large systems will have bugs, regardless of the language in which they’re written.

Most large systems written in C++ will have more bugs.

Once you get beyond trivial systems where you can review all the code and know all the states, transitions and responses to inputs... you’ll have bugs. How many you have is a function of design, implementation language and how willing management is to “do the right thing” instead of meeting their silly schedules.

Now as to back doors, et al... dunno about that, but outsourcing s/w development for anything critical is a Bad Idea[tm]. Especially when the systems become huge.

[khelus]

... but the problem is that most of the kids coming out of CS/EE schools today aren’t taught Ada, nor are they taught real-world, “Big System” s/w engineering. They don’t know jack, really. They come out knowing C/C++ and Java... and how to code their silly social media websites... and this corrupts their minds. How you think about large system design is, in part, predicated upon your implementation language. ...

... Once you get beyond trivial systems where you can review all the code and know all the states, transitions and responses to inputs... you’ll have bugs. How many you have is a function of design, implementation language and how willing management is to “do the right thing” instead of meeting their silly schedules. ...

I read your reply to U-238 and me.

Now that I see where your perspective is coming from, we are not that far apart. My perspective is of a vintage in IT professional who started pre C++ and Java, working on huge business systems. My associates in IT are of the same era. Good software engineering requires being able to look at both forests and trees, knowing when to consult with those who run production and manage data bases, being able to look backwards and forwards. These are skills that do not seem to be fostered in newer software engineers.

As systems become more complex and interface with more platforms, it is more likely that bugs will develop, however they ought to be the result of a set of exceedingly rare circumstances.

See my post # 29.