adlint 2.6.2 → 2.6.10
Sign up to get free protection for your applications and to get access to all the features.
- data/ChangeLog +149 -0
- data/MANIFEST +5 -0
- data/NEWS +20 -4
- data/etc/mesg.d/c_builtin/en_US/messages.yml +1 -1
- data/etc/mesg.d/c_builtin/ja_JP/messages.yml +1 -1
- data/etc/mesg.d/core/en_US/messages.yml +1 -1
- data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
- data/features/code_check/W0460.feature +27 -0
- data/features/code_check/W0534.feature +73 -0
- data/features/code_check/W0585.feature +135 -0
- data/features/code_check/W0599.feature +101 -1
- data/features/code_check/W0611.feature +138 -0
- data/features/code_check/W0708.feature +66 -0
- data/features/code_check/W1069.feature +27 -0
- data/features/code_check/W1073.feature +142 -0
- data/lib/adlint/c/ctrlexpr.rb +22 -16
- data/lib/adlint/c/interp.rb +32 -9
- data/lib/adlint/exam/c_builtin/c_check.rb +2597 -183
- data/lib/adlint/exam/c_builtin/c_check_shima.rb +150 -14
- data/lib/adlint/version.rb +2 -2
- data/share/doc/developers_guide_ja.html +3 -3
- data/share/doc/developers_guide_ja.texi +1 -1
- data/share/doc/users_guide_en.html +10 -10
- data/share/doc/users_guide_en.texi +8 -8
- data/share/doc/users_guide_ja.html +10 -10
- data/share/doc/users_guide_ja.texi +8 -8
- metadata +7 -2
@@ -42,6 +42,10 @@ module CBuiltin #:nodoc:
|
|
42
42
|
class W0573 < PassiveCodeCheck
|
43
43
|
def_registrant_phase C::Prepare2Phase
|
44
44
|
|
45
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
46
|
+
# step-in analysis is supported.
|
47
|
+
ensure_uniqueness_of :W0573
|
48
|
+
|
45
49
|
def initialize(context)
|
46
50
|
super
|
47
51
|
interp = context[:c_interpreter]
|
@@ -91,6 +95,10 @@ module CBuiltin #:nodoc:
|
|
91
95
|
class W0606 < PassiveCodeCheck
|
92
96
|
def_registrant_phase C::Prepare2Phase
|
93
97
|
|
98
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
99
|
+
# step-in analysis is supported.
|
100
|
+
ensure_uniqueness_of :W0606
|
101
|
+
|
94
102
|
def initialize(context)
|
95
103
|
super
|
96
104
|
visitor = context[:c_visitor]
|
@@ -113,6 +121,10 @@ module CBuiltin #:nodoc:
|
|
113
121
|
class W0645 < PassiveCodeCheck
|
114
122
|
def_registrant_phase C::Prepare2Phase
|
115
123
|
|
124
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
125
|
+
# step-in analysis is supported.
|
126
|
+
ensure_uniqueness_of :W0645
|
127
|
+
|
116
128
|
def initialize(context)
|
117
129
|
super
|
118
130
|
visitor = context[:c_visitor]
|
@@ -129,6 +141,10 @@ module CBuiltin #:nodoc:
|
|
129
141
|
class W0685 < W0573
|
130
142
|
def_registrant_phase C::Prepare2Phase
|
131
143
|
|
144
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
145
|
+
# step-in analysis is supported.
|
146
|
+
ensure_uniqueness_of :W0685
|
147
|
+
|
132
148
|
def check(function_call_expression, function, arg_variables,
|
133
149
|
result_variable)
|
134
150
|
if function.named? && function.name =~ /\A.*scanf\z/
|
@@ -151,6 +167,10 @@ module CBuiltin #:nodoc:
|
|
151
167
|
class W0686 < W0573
|
152
168
|
def_registrant_phase C::Prepare2Phase
|
153
169
|
|
170
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
171
|
+
# step-in analysis is supported.
|
172
|
+
ensure_uniqueness_of :W0686
|
173
|
+
|
154
174
|
def check(function_call_expression, function, arg_variables,
|
155
175
|
result_variable)
|
156
176
|
if function.named? && function.name =~ /\A.*scanf\z/
|
@@ -173,6 +193,10 @@ module CBuiltin #:nodoc:
|
|
173
193
|
class W0697 < PassiveCodeCheck
|
174
194
|
def_registrant_phase C::Prepare2Phase
|
175
195
|
|
196
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
197
|
+
# step-in analysis is supported.
|
198
|
+
ensure_uniqueness_of :W0697
|
199
|
+
|
176
200
|
def initialize(context)
|
177
201
|
super
|
178
202
|
interp = context[:c_interpreter]
|
@@ -204,6 +228,10 @@ module CBuiltin #:nodoc:
|
|
204
228
|
class W0698 < PassiveCodeCheck
|
205
229
|
def_registrant_phase C::Prepare2Phase
|
206
230
|
|
231
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
232
|
+
# step-in analysis is supported.
|
233
|
+
ensure_uniqueness_of :W0698
|
234
|
+
|
207
235
|
def initialize(context)
|
208
236
|
super
|
209
237
|
visitor = context[:c_visitor]
|
@@ -239,6 +267,10 @@ module CBuiltin #:nodoc:
|
|
239
267
|
class W0699 < W0698
|
240
268
|
def_registrant_phase C::Prepare2Phase
|
241
269
|
|
270
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
271
|
+
# step-in analysis is supported.
|
272
|
+
ensure_uniqueness_of :W0699
|
273
|
+
|
242
274
|
private
|
243
275
|
def check(return_statement)
|
244
276
|
return unless @current_function.implicitly_typed?
|
@@ -253,6 +285,10 @@ module CBuiltin #:nodoc:
|
|
253
285
|
class W0700 < PassiveCodeCheck
|
254
286
|
def_registrant_phase C::Prepare2Phase
|
255
287
|
|
288
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
289
|
+
# step-in analysis is supported.
|
290
|
+
ensure_uniqueness_of :W0700
|
291
|
+
|
256
292
|
def initialize(context)
|
257
293
|
super
|
258
294
|
interp = context[:c_interpreter]
|
@@ -294,6 +330,10 @@ module CBuiltin #:nodoc:
|
|
294
330
|
class W0711 < PassiveCodeCheck
|
295
331
|
def_registrant_phase C::Prepare2Phase
|
296
332
|
|
333
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
334
|
+
# step-in analysis is supported.
|
335
|
+
ensure_uniqueness_of :W0711
|
336
|
+
|
297
337
|
def initialize(context)
|
298
338
|
super
|
299
339
|
visitor = context[:c_visitor]
|
@@ -311,6 +351,10 @@ module CBuiltin #:nodoc:
|
|
311
351
|
class W0712 < W0711
|
312
352
|
def_registrant_phase C::Prepare2Phase
|
313
353
|
|
354
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
355
|
+
# step-in analysis is supported.
|
356
|
+
ensure_uniqueness_of :W0712
|
357
|
+
|
314
358
|
private
|
315
359
|
def check(expression)
|
316
360
|
if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
|
@@ -322,6 +366,10 @@ module CBuiltin #:nodoc:
|
|
322
366
|
class W0713 < W0711
|
323
367
|
def_registrant_phase C::Prepare2Phase
|
324
368
|
|
369
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
370
|
+
# step-in analysis is supported.
|
371
|
+
ensure_uniqueness_of :W0713
|
372
|
+
|
325
373
|
private
|
326
374
|
def check(expression)
|
327
375
|
if expression.lhs_operand.logical? && expression.rhs_operand.logical?
|
@@ -333,6 +381,10 @@ module CBuiltin #:nodoc:
|
|
333
381
|
class W0714 < PassiveCodeCheck
|
334
382
|
def_registrant_phase C::Prepare2Phase
|
335
383
|
|
384
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
385
|
+
# step-in analysis is supported.
|
386
|
+
ensure_uniqueness_of :W0714
|
387
|
+
|
336
388
|
def initialize(context)
|
337
389
|
super
|
338
390
|
visitor = context[:c_visitor]
|
@@ -350,6 +402,10 @@ module CBuiltin #:nodoc:
|
|
350
402
|
class W0715 < PassiveCodeCheck
|
351
403
|
def_registrant_phase C::Prepare2Phase
|
352
404
|
|
405
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
406
|
+
# step-in analysis is supported.
|
407
|
+
ensure_uniqueness_of :W0715
|
408
|
+
|
353
409
|
def initialize(context)
|
354
410
|
super
|
355
411
|
visitor = context[:c_visitor]
|
@@ -367,6 +423,10 @@ module CBuiltin #:nodoc:
|
|
367
423
|
class W0716 < PassiveCodeCheck
|
368
424
|
def_registrant_phase C::Prepare2Phase
|
369
425
|
|
426
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
427
|
+
# step-in analysis is supported.
|
428
|
+
ensure_uniqueness_of :W0716
|
429
|
+
|
370
430
|
def initialize(context)
|
371
431
|
super
|
372
432
|
visitor = context[:c_visitor]
|
@@ -395,6 +455,10 @@ module CBuiltin #:nodoc:
|
|
395
455
|
class W0717 < W0716
|
396
456
|
def_registrant_phase C::Prepare2Phase
|
397
457
|
|
458
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
459
|
+
# step-in analysis is supported.
|
460
|
+
ensure_uniqueness_of :W0717
|
461
|
+
|
398
462
|
private
|
399
463
|
def check(expression)
|
400
464
|
if expression.lhs_operand.logical? && !expression.rhs_operand.logical?
|
@@ -406,6 +470,10 @@ module CBuiltin #:nodoc:
|
|
406
470
|
class W0718 < W0716
|
407
471
|
def_registrant_phase C::Prepare2Phase
|
408
472
|
|
473
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
474
|
+
# step-in analysis is supported.
|
475
|
+
ensure_uniqueness_of :W0718
|
476
|
+
|
409
477
|
private
|
410
478
|
def check(expression)
|
411
479
|
if !expression.lhs_operand.logical? && expression.rhs_operand.logical?
|
@@ -417,6 +485,10 @@ module CBuiltin #:nodoc:
|
|
417
485
|
class W0726 < W0698
|
418
486
|
def_registrant_phase C::Prepare2Phase
|
419
487
|
|
488
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
489
|
+
# step-in analysis is supported.
|
490
|
+
ensure_uniqueness_of :W0726
|
491
|
+
|
420
492
|
private
|
421
493
|
def check(return_statement)
|
422
494
|
return unless return_statement.expression
|
@@ -433,6 +505,10 @@ module CBuiltin #:nodoc:
|
|
433
505
|
class W0732 < PassiveCodeCheck
|
434
506
|
def_registrant_phase C::Prepare2Phase
|
435
507
|
|
508
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
509
|
+
# step-in analysis is supported.
|
510
|
+
ensure_uniqueness_of :W0732
|
511
|
+
|
436
512
|
def initialize(context)
|
437
513
|
super
|
438
514
|
visitor = context[:c_visitor]
|
@@ -452,6 +528,10 @@ module CBuiltin #:nodoc:
|
|
452
528
|
class W0733 < PassiveCodeCheck
|
453
529
|
def_registrant_phase C::Prepare2Phase
|
454
530
|
|
531
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
532
|
+
# step-in analysis is supported.
|
533
|
+
ensure_uniqueness_of :W0733
|
534
|
+
|
455
535
|
def initialize(context)
|
456
536
|
super
|
457
537
|
visitor = context[:c_visitor]
|
@@ -471,6 +551,10 @@ module CBuiltin #:nodoc:
|
|
471
551
|
class W0734 < PassiveCodeCheck
|
472
552
|
def_registrant_phase C::Prepare2Phase
|
473
553
|
|
554
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
555
|
+
# step-in analysis is supported.
|
556
|
+
ensure_uniqueness_of :W0734
|
557
|
+
|
474
558
|
def initialize(context)
|
475
559
|
super
|
476
560
|
visitor = context[:c_visitor]
|
@@ -491,6 +575,10 @@ module CBuiltin #:nodoc:
|
|
491
575
|
class W0735 < W0734
|
492
576
|
def_registrant_phase C::Prepare2Phase
|
493
577
|
|
578
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
579
|
+
# step-in analysis is supported.
|
580
|
+
ensure_uniqueness_of :W0735
|
581
|
+
|
494
582
|
private
|
495
583
|
def check(expr)
|
496
584
|
if expr.rhs_operand.arithmetic? || expr.rhs_operand.bitwise?
|
@@ -504,6 +592,10 @@ module CBuiltin #:nodoc:
|
|
504
592
|
class W0781 < PassiveCodeCheck
|
505
593
|
def_registrant_phase C::Prepare2Phase
|
506
594
|
|
595
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
596
|
+
# step-in analysis is supported.
|
597
|
+
ensure_uniqueness_of :W0781
|
598
|
+
|
507
599
|
def initialize(context)
|
508
600
|
super
|
509
601
|
visitor = context[:c_visitor]
|
@@ -534,6 +626,10 @@ module CBuiltin #:nodoc:
|
|
534
626
|
class W0801 < PassiveCodeCheck
|
535
627
|
def_registrant_phase C::Prepare2Phase
|
536
628
|
|
629
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
630
|
+
# step-in analysis is supported.
|
631
|
+
ensure_uniqueness_of :W0801
|
632
|
+
|
537
633
|
def initialize(context)
|
538
634
|
super
|
539
635
|
visitor = context[:c_visitor]
|
@@ -550,6 +646,10 @@ module CBuiltin #:nodoc:
|
|
550
646
|
class W0809 < PassiveCodeCheck
|
551
647
|
def_registrant_phase C::Prepare2Phase
|
552
648
|
|
649
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
650
|
+
# step-in analysis is supported.
|
651
|
+
ensure_uniqueness_of :W0809
|
652
|
+
|
553
653
|
def initialize(context)
|
554
654
|
super
|
555
655
|
visitor = context[:c_visitor]
|
@@ -639,6 +739,10 @@ module CBuiltin #:nodoc:
|
|
639
739
|
class W1030 < PassiveCodeCheck
|
640
740
|
def_registrant_phase C::Prepare2Phase
|
641
741
|
|
742
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
743
|
+
# step-in analysis is supported.
|
744
|
+
ensure_uniqueness_of :W1030
|
745
|
+
|
642
746
|
def initialize(context)
|
643
747
|
super
|
644
748
|
visitor = context[:c_visitor]
|
@@ -674,6 +778,10 @@ module CBuiltin #:nodoc:
|
|
674
778
|
class W1033 < PassiveCodeCheck
|
675
779
|
def_registrant_phase C::Prepare2Phase
|
676
780
|
|
781
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
782
|
+
# step-in analysis is supported.
|
783
|
+
ensure_uniqueness_of :W1033
|
784
|
+
|
677
785
|
def initialize(context)
|
678
786
|
super
|
679
787
|
visitor = context[:c_visitor]
|
@@ -695,6 +803,10 @@ module CBuiltin #:nodoc:
|
|
695
803
|
class W1066 < PassiveCodeCheck
|
696
804
|
def_registrant_phase C::Prepare2Phase
|
697
805
|
|
806
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
807
|
+
# step-in analysis is supported.
|
808
|
+
ensure_uniqueness_of :W1066
|
809
|
+
|
698
810
|
def initialize(context)
|
699
811
|
super
|
700
812
|
@interp = context[:c_interpreter]
|
@@ -754,6 +866,10 @@ module CBuiltin #:nodoc:
|
|
754
866
|
class W1067 < W1066
|
755
867
|
def_registrant_phase C::Prepare2Phase
|
756
868
|
|
869
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
870
|
+
# step-in analysis is supported.
|
871
|
+
ensure_uniqueness_of :W1067
|
872
|
+
|
757
873
|
private
|
758
874
|
def from_type
|
759
875
|
@interp.float_type
|
@@ -767,6 +883,10 @@ module CBuiltin #:nodoc:
|
|
767
883
|
class W1068 < W1066
|
768
884
|
def_registrant_phase C::Prepare2Phase
|
769
885
|
|
886
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
887
|
+
# step-in analysis is supported.
|
888
|
+
ensure_uniqueness_of :W1068
|
889
|
+
|
770
890
|
private
|
771
891
|
def from_type
|
772
892
|
@interp.double_type
|
@@ -780,42 +900,54 @@ module CBuiltin #:nodoc:
|
|
780
900
|
class W1069 < PassiveCodeCheck
|
781
901
|
def_registrant_phase C::Prepare2Phase
|
782
902
|
|
903
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
904
|
+
# step-in analysis is supported.
|
905
|
+
ensure_uniqueness_of :W1069
|
906
|
+
|
783
907
|
def initialize(context)
|
784
908
|
super
|
785
909
|
visitor = context[:c_visitor]
|
786
910
|
visitor.enter_ansi_function_definition += method(:enter_function)
|
787
|
-
visitor.leave_ansi_function_definition += method(:leave_function)
|
788
911
|
visitor.enter_kandr_function_definition += method(:enter_function)
|
789
|
-
visitor.
|
790
|
-
visitor.
|
791
|
-
visitor.
|
792
|
-
|
912
|
+
visitor.enter_compound_statement += method(:enter_compound_stmt)
|
913
|
+
visitor.leave_compound_statement += method(:leave_compound_stmt)
|
914
|
+
visitor.enter_if_else_statement += method(:enter_if_else_stmt)
|
915
|
+
visitor.leave_if_else_statement += method(:leave_if_else_stmt)
|
916
|
+
@if_else_stmt_chain_stack = []
|
793
917
|
end
|
794
918
|
|
795
919
|
private
|
796
|
-
def enter_function(
|
797
|
-
@
|
920
|
+
def enter_function(*)
|
921
|
+
@if_else_stmt_chain_stack = []
|
798
922
|
end
|
799
923
|
|
800
|
-
def
|
801
|
-
@
|
924
|
+
def enter_compound_stmt(*)
|
925
|
+
@if_else_stmt_chain_stack.push([])
|
802
926
|
end
|
803
927
|
|
804
|
-
def
|
805
|
-
@
|
928
|
+
def leave_compound_stmt(*)
|
929
|
+
@if_else_stmt_chain_stack.pop
|
930
|
+
end
|
931
|
+
|
932
|
+
def enter_if_else_stmt(node)
|
933
|
+
@if_else_stmt_chain_stack.last.push(node)
|
806
934
|
if node.else_statement.kind_of?(C::IfStatement)
|
807
|
-
W(:W1069, @
|
935
|
+
W(:W1069, @if_else_stmt_chain_stack.last.first.location)
|
808
936
|
end
|
809
937
|
end
|
810
938
|
|
811
|
-
def
|
812
|
-
@
|
939
|
+
def leave_if_else_stmt(*)
|
940
|
+
@if_else_stmt_chain_stack.last.pop
|
813
941
|
end
|
814
942
|
end
|
815
943
|
|
816
944
|
class W1070 < W0781
|
817
945
|
def_registrant_phase C::Prepare2Phase
|
818
946
|
|
947
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
948
|
+
# step-in analysis is supported.
|
949
|
+
ensure_uniqueness_of :W1070
|
950
|
+
|
819
951
|
private
|
820
952
|
def check(node)
|
821
953
|
if exec_path_num = @exec_path_nums.last and exec_path_num == 2
|
@@ -832,6 +964,10 @@ module CBuiltin #:nodoc:
|
|
832
964
|
class W1072 < PassiveCodeCheck
|
833
965
|
def_registrant_phase C::Prepare2Phase
|
834
966
|
|
967
|
+
# NOTE: All messages of cc1-phase code check should be unique till function
|
968
|
+
# step-in analysis is supported.
|
969
|
+
ensure_uniqueness_of :W1072
|
970
|
+
|
835
971
|
def initialize(context)
|
836
972
|
super
|
837
973
|
visitor = context[:c_visitor]
|
data/lib/adlint/version.rb
CHANGED
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="ja">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 開発者ガイド</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 開発者ガイド">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 開発者ガイド</h1>
|
48
48
|
<div class="contents">
|
49
49
|
<h2>Table of Contents</h2>
|
50
50
|
<ul>
|
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="en">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 User's Guide</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 User's Guide">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 User's Guide</h1>
|
48
48
|
<div class="node">
|
49
49
|
<a name="Top"></a>
|
50
50
|
<p><hr>
|
@@ -1468,7 +1468,7 @@ examination package, message category and message severity to the <a href="#Mess
|
|
1468
1468
|
</td><td valign="top" width="10%">
|
1469
1469
|
array of string
|
1470
1470
|
</td><td valign="top" width="0%">
|
1471
|
-
<b>This item has no effect on AdLint 2.6.
|
1471
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1472
1472
|
|
1473
1473
|
<p>If a directory path is specified, AdLint will output warning messages about
|
1474
1474
|
source files located under the specified directory.
|
@@ -1480,7 +1480,7 @@ the target source files such as system headers or 3rd-party library headers.
|
|
1480
1480
|
</td><td valign="top" width="10%">
|
1481
1481
|
array of string
|
1482
1482
|
</td><td valign="top" width="0%">
|
1483
|
-
<b>This item has no effect on AdLint 2.6.
|
1483
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1484
1484
|
|
1485
1485
|
<p>If a directory path is specified, AdLint will suppress warning messages about
|
1486
1486
|
source files located under the specified directory.
|
@@ -1490,7 +1490,7 @@ source files located under the specified directory.
|
|
1490
1490
|
</td><td valign="top" width="10%">
|
1491
1491
|
boolean
|
1492
1492
|
</td><td valign="top" width="0%">
|
1493
|
-
<b>This item has no effect on AdLint 2.6.
|
1493
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1494
1494
|
|
1495
1495
|
<p>This item enables code check selection by annotations in the target source
|
1496
1496
|
files.
|
@@ -1502,7 +1502,7 @@ files.
|
|
1502
1502
|
</td><td valign="top" width="10%">
|
1503
1503
|
array of string
|
1504
1504
|
</td><td valign="top" width="0%">
|
1505
|
-
<b>This item has no effect on AdLint 2.6.
|
1505
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1506
1506
|
|
1507
1507
|
<p>This item represents excluding code checks by its message categories.
|
1508
1508
|
<br></td></tr><tr align="left"><td valign="top" width="1%">7
|
@@ -1511,7 +1511,7 @@ array of string
|
|
1511
1511
|
</td><td valign="top" width="10%">
|
1512
1512
|
regexp string
|
1513
1513
|
</td><td valign="top" width="0%">
|
1514
|
-
<b>This item has no effect on AdLint 2.6.
|
1514
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1515
1515
|
|
1516
1516
|
<p>This item represents excluding code checks by its message severities.
|
1517
1517
|
<br></td></tr><tr align="left"><td valign="top" width="1%">8
|
@@ -1520,7 +1520,7 @@ regexp string
|
|
1520
1520
|
</td><td valign="top" width="10%">
|
1521
1521
|
map of Message ID and string
|
1522
1522
|
</td><td valign="top" width="0%">
|
1523
|
-
<b>This item has no effect on AdLint 2.6.
|
1523
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1524
1524
|
|
1525
1525
|
<p>This item represents excluding code checks by its message ID.
|
1526
1526
|
|
@@ -1532,7 +1532,7 @@ also specify the name of the examination package including the message.
|
|
1532
1532
|
</td><td valign="top" width="10%">
|
1533
1533
|
map of Message ID and string
|
1534
1534
|
</td><td valign="top" width="0%">
|
1535
|
-
<b>This item has no effect on AdLint 2.6.
|
1535
|
+
<b>This item has no effect on AdLint 2.6.10, yet.</b>
|
1536
1536
|
|
1537
1537
|
<p>This item represents messages which is excluded by settings of <code>exclusion</code>
|
1538
1538
|
section but will be used by AdLint.
|
@@ -2,7 +2,7 @@
|
|
2
2
|
@setfilename users_guide_en.info
|
3
3
|
@documentlanguage en
|
4
4
|
@documentencoding utf-8
|
5
|
-
@settitle AdLint 2.6.
|
5
|
+
@settitle AdLint 2.6.10 User's Guide
|
6
6
|
|
7
7
|
@copying
|
8
8
|
Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
|
@@ -1407,7 +1407,7 @@ File, message file}.
|
|
1407
1407
|
@tab
|
1408
1408
|
array of string
|
1409
1409
|
@tab
|
1410
|
-
@b{This item has no effect on AdLint 2.6.
|
1410
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1411
1411
|
|
1412
1412
|
If a directory path is specified, AdLint will output warning messages about
|
1413
1413
|
source files located under the specified directory.
|
@@ -1421,7 +1421,7 @@ the target source files such as system headers or 3rd-party library headers.
|
|
1421
1421
|
@tab
|
1422
1422
|
array of string
|
1423
1423
|
@tab
|
1424
|
-
@b{This item has no effect on AdLint 2.6.
|
1424
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1425
1425
|
|
1426
1426
|
If a directory path is specified, AdLint will suppress warning messages about
|
1427
1427
|
source files located under the specified directory.
|
@@ -1433,7 +1433,7 @@ source files located under the specified directory.
|
|
1433
1433
|
@tab
|
1434
1434
|
boolean
|
1435
1435
|
@tab
|
1436
|
-
@b{This item has no effect on AdLint 2.6.
|
1436
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1437
1437
|
|
1438
1438
|
This item enables code check selection by annotations in the target source
|
1439
1439
|
files.
|
@@ -1447,7 +1447,7 @@ In case of @code{true}, code check selection by annotations will be enabled.
|
|
1447
1447
|
@tab
|
1448
1448
|
array of string
|
1449
1449
|
@tab
|
1450
|
-
@b{This item has no effect on AdLint 2.6.
|
1450
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1451
1451
|
|
1452
1452
|
This item represents excluding code checks by its message categories.
|
1453
1453
|
@item 7
|
@@ -1458,7 +1458,7 @@ This item represents excluding code checks by its message categories.
|
|
1458
1458
|
@tab
|
1459
1459
|
regexp string
|
1460
1460
|
@tab
|
1461
|
-
@b{This item has no effect on AdLint 2.6.
|
1461
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1462
1462
|
|
1463
1463
|
This item represents excluding code checks by its message severities.
|
1464
1464
|
@item 8
|
@@ -1469,7 +1469,7 @@ This item represents excluding code checks by its message severities.
|
|
1469
1469
|
@tab
|
1470
1470
|
map of Message ID and string
|
1471
1471
|
@tab
|
1472
|
-
@b{This item has no effect on AdLint 2.6.
|
1472
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1473
1473
|
|
1474
1474
|
This item represents excluding code checks by its message ID.
|
1475
1475
|
|
@@ -1483,7 +1483,7 @@ also specify the name of the examination package including the message.
|
|
1483
1483
|
@tab
|
1484
1484
|
map of Message ID and string
|
1485
1485
|
@tab
|
1486
|
-
@b{This item has no effect on AdLint 2.6.
|
1486
|
+
@b{This item has no effect on AdLint 2.6.10, yet.}
|
1487
1487
|
|
1488
1488
|
This item represents messages which is excluded by settings of @code{exclusion}
|
1489
1489
|
section but will be used by AdLint.
|
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="ja">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.10 利用者ガイド</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.10 利用者ガイド">
|
6
6
|
<meta name="generator" content="makeinfo 4.13">
|
7
7
|
<link title="Top" rel="top" href="#Top">
|
8
8
|
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
|
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
|
|
44
44
|
--></style>
|
45
45
|
</head>
|
46
46
|
<body>
|
47
|
-
<h1 class="settitle">AdLint 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.10 利用者ガイド</h1>
|
48
48
|
<div class="node">
|
49
49
|
<a name="Top"></a>
|
50
50
|
<p><hr>
|
@@ -1533,7 +1533,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1533
1533
|
</td><td valign="top" width="10%">
|
1534
1534
|
文字列の配列
|
1535
1535
|
</td><td valign="top" width="0%">
|
1536
|
-
<b>AdLint 2.6.
|
1536
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1537
1537
|
|
1538
1538
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1539
1539
|
のみ、警告メッセージを出力します。
|
@@ -1546,7 +1546,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1546
1546
|
</td><td valign="top" width="10%">
|
1547
1547
|
文字列の配列
|
1548
1548
|
</td><td valign="top" width="0%">
|
1549
|
-
<b>AdLint 2.6.
|
1549
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1550
1550
|
|
1551
1551
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1552
1552
|
は、警告メッセージを抑止します。
|
@@ -1556,7 +1556,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1556
1556
|
</td><td valign="top" width="10%">
|
1557
1557
|
真偽値
|
1558
1558
|
</td><td valign="top" width="0%">
|
1559
|
-
<b>AdLint 2.6.
|
1559
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1560
1560
|
|
1561
1561
|
<p>解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
|
1562
1562
|
|
@@ -1567,7 +1567,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1567
1567
|
</td><td valign="top" width="10%">
|
1568
1568
|
文字列の配列
|
1569
1569
|
</td><td valign="top" width="0%">
|
1570
|
-
<b>AdLint 2.6.
|
1570
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1571
1571
|
|
1572
1572
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1573
1573
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
|
@@ -1578,7 +1578,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1578
1578
|
</td><td valign="top" width="10%">
|
1579
1579
|
正規表現を表す文字列
|
1580
1580
|
</td><td valign="top" width="0%">
|
1581
|
-
<b>AdLint 2.6.
|
1581
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1582
1582
|
|
1583
1583
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1584
1584
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
|
@@ -1589,7 +1589,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1589
1589
|
</td><td valign="top" width="10%">
|
1590
1590
|
メッセージ ID と文字列のマップ
|
1591
1591
|
</td><td valign="top" width="0%">
|
1592
|
-
<b>AdLint 2.6.
|
1592
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1593
1593
|
|
1594
1594
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1595
1595
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
|
@@ -1604,7 +1604,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1604
1604
|
</td><td valign="top" width="10%">
|
1605
1605
|
メッセージ ID と文字列のマップ
|
1606
1606
|
</td><td valign="top" width="0%">
|
1607
|
-
<b>AdLint 2.6.
|
1607
|
+
<b>AdLint 2.6.10 では、この項目による設定は未サポートです。</b>
|
1608
1608
|
|
1609
1609
|
<p><code>exclusion</code> セクションの設定内容により除外しましたが、メッセージ ID 指定で
|
1610
1610
|
特定のコードチェック機能を含める場合に指定します。
|