eiffelstudio-public - Revision 107750: /branches/Eiffel_21.11/Src/framework/code_analysis/tests/rules

• ..
• 001_self_assignment/
• 002_unused_argument/
• 003_undesirable_comment_content/
• 004_cq_separation/
• 007_object_test_failing/
• 012_missing_creation_proc_with_no_args/
• 015_double_negation/
• 016_empty_loop/
• 019_attribute_never_assigned/
• 020_variable_not_read/
• 021_loop_invariant_computation/
• 022_unreachable_code/
• 031_inherit_from_any/
• 034_npath/
• 038_empty_creation_procedure/
• 045_real_nan_comparison/
• 047_void_check_using_is_equal/
• 048_attribute_can_be_made_constant/
• 049_comparison_of_refs/
• 050_local_used_for_result/
• 067_generic_param_too_long/
• 068_object_creation_within_loop/
• 073_comment_not_well_phrased/
• 075_feature_export_can_be_restricted/
• 087_mergeable_conditionals/
• cat_bugs.e