ba9c0bf1__Look_at_C___Program_Analyzers__ule_on_our_benchmark_programs_
[-] Note 6
Doesn't diagnose this particular condition, but uses similar heuristics to identify classes where assignment operators and copy constructors should be declared.
Scott Meyers: A First Look at C++ Program Analyzers
The tool failed to detect violations of this rule on our benchmark programs.