Sorry, which (widely used) language out there can be statically analyzed without restricting language features? And being difficult to statically analyze is har

Sorry, which (widely used) language out there can be statically analyzed without restricting language features? And being difficult to statically analyze is hardly a reason to switch to C++.