repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
implied: handle implications for if (({whatever; foo;}) < 0) {
[smatch.git]
/
validation
/
tree
d28be30212d1a6b96c621a72c1fc9493aa70993b
drwxr-xr-x
..
-rw-r--r--
37
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
325
__func__.c
blob
|
blame
|
history
|
raw
-rw-r--r--
534
abstract-array-declarator-static.c
blob
|
blame
|
history
|
raw
-rw-r--r--
444
address_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
160
anon-union.c
blob
|
blame
|
history
|
raw
-rw-r--r--
889
asm-empty-clobber.c
blob
|
blame
|
history
|
raw
-rw-r--r--
661
asm-goto-lables.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122
attr-noclone.c
blob
|
blame
|
history
|
raw
-rw-r--r--
178
attr-warning.c
blob
|
blame
|
history
|
raw
-rw-r--r--
237
attr_in_parameter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
127
attr_vector_size.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
backend
tree
|
history
-rw-r--r--
367
bad-array-designated-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
224
bad-assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
278
bad-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
287
bad-ternary-cond.c
blob
|
blame
|
history
|
raw
-rw-r--r--
213
bad-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
95
badtype1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
605
badtype2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
830
badtype3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
261
badtype4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
77
binary-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
bitfields.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
bug_inline_switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
739
builtin_atomic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
225
builtin_bswap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122
builtin_char_bit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1047
builtin_safe1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
233
builtin_unreachable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
builtin_va_arg_pack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
785
calling-convention-attributes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
629
check_byte_count-ice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
707
choose_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
269
comma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
385
compare-null-to-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
494
cond_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
869
cond_expr2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
cond_expr3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4521
context.c
blob
|
blame
|
history
|
raw
-rw-r--r--
257
declaration-after-statement-ansi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
258
declaration-after-statement-c89.c
blob
|
blame
|
history
|
raw
-rw-r--r--
141
declaration-after-statement-c99.c
blob
|
blame
|
history
|
raw
-rw-r--r--
136
declaration-after-statement-default.c
blob
|
blame
|
history
|
raw
-rw-r--r--
153
definitions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7254
designated-init.c
blob
|
blame
|
history
|
raw
-rw-r--r--
842
div.c
blob
|
blame
|
history
|
raw
-rw-r--r--
179
double-semicolon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
893
dubious-bitwise-with-not.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2065
enum-common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1258
enum-from-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2222
enum-mismatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
936
enum-to-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
152
enum_scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1248
escapes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
249
extern-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
391
extern-inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
field-overlap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
251
fored_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
707
foul-bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
590
function-pointer-modifier-inheritance.c
blob
|
blame
|
history
|
raw
-rw-r--r--
304
goto-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
547
identifier_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
416
init-char-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
init-char-array1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
288
init_cstring.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1308
initializer-entry-defined-twice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
inline_compound_literals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
115
integer-promotions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
466
ioc-typecheck.c
blob
|
blame
|
history
|
raw
-rw-r--r--
235
label-asm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
label-attr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
126
label-scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
214
local-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
logical.c
blob
|
blame
|
history
|
raw
-rw-r--r--
222
member_of_typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
469
missing-ident.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
multi_typedef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
813
nested-declarator.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1242
nested-declarator2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
788
noderef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
191
non-pointer-null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
167
old-initializer-nowarn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
215
old-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
outer-scope.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
phase2
tree
|
history
drwxr-xr-x
-
phase3
tree
|
history
-rw-r--r--
73
pragma-once.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
preprocessor
tree
|
history
-rw-r--r--
1831
reserved.c
blob
|
blame
|
history
|
raw
-rw-r--r--
258
restrict-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
188
restricted-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
331
sizeof-bool.c
blob
|
blame
|
history
|
raw
-rw-r--r--
150
sizeof-compound-postfix.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
sm_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
350
sm_absolute1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
851
sm_absolute2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1203
sm_array_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
491
sm_array_overflow2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
409
sm_array_overflow3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1066
sm_array_overflow4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
508
sm_array_overflow5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
529
sm_bitwise1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_bitwise2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
575
sm_buf_size1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
529
sm_buf_size2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
413
sm_buf_size3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
500
sm_buf_size4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
673
sm_buf_size5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
778
sm_buf_size6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
618
sm_buf_size7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
991
sm_buf_size8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
835
sm_casts.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
sm_casts2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
sm_casts3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1007
sm_casts4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
929
sm_casts5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
924
sm_casts6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
331
sm_casts7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
552
sm_check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
481
sm_chunk1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
768
sm_chunk2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
712
sm_compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
317
sm_compare10.c
blob
|
blame
|
history
|
raw
-rw-r--r--
383
sm_compare11.c
blob
|
blame
|
history
|
raw
-rw-r--r--
646
sm_compare12.c
blob
|
blame
|
history
|
raw
-rw-r--r--
469
sm_compare13.c
blob
|
blame
|
history
|
raw
-rw-r--r--
491
sm_compare14.c
blob
|
blame
|
history
|
raw
-rw-r--r--
371
sm_compare15.c
blob
|
blame
|
history
|
raw
-rw-r--r--
373
sm_compare16.c
blob
|
blame
|
history
|
raw
-rw-r--r--
664
sm_compare2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
988
sm_compare3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
632
sm_compare4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
546
sm_compare5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
307
sm_compare6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
sm_compare7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
sm_compare8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
sm_compare9.c
blob
|
blame
|
history
|
raw
-rw-r--r--
444
sm_compound_condition.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1556
sm_compound_conditions2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
638
sm_compound_conditions3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
626
sm_deref_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
378
sm_dev_hold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
287
sm_double_free1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
354
sm_double_free2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
355
sm_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
797
sm_equiv1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
544
sm_equiv2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
511
sm_equiv3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
383
sm_equiv4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
368
sm_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
494
sm_fake_assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
738
sm_get_user1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
411
sm_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
690
sm_implied10.c
blob
|
blame
|
history
|
raw
-rw-r--r--
468
sm_implied11.c
blob
|
blame
|
history
|
raw
-rw-r--r--
497
sm_implied12.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_implied13.c
blob
|
blame
|
history
|
raw
-rw-r--r--
806
sm_implied14.c
blob
|
blame
|
history
|
raw
-rw-r--r--
586
sm_implied15.c
blob
|
blame
|
history
|
raw
-rw-r--r--
630
sm_implied16.c
blob
|
blame
|
history
|
raw
-rw-r--r--
452
sm_implied17.c
blob
|
blame
|
history
|
raw
-rw-r--r--
564
sm_implied2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
376
sm_implied3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
610
sm_implied4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
401
sm_implied5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
566
sm_implied6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
417
sm_implied7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
840
sm_implied8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
715
sm_implied9.c
blob
|
blame
|
history
|
raw
-rw-r--r--
523
sm_impossible1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
521
sm_impossible2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
601
sm_inline1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
392
sm_inline2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
710
sm_inline3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
680
sm_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
717
sm_locking2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
651
sm_locking3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
sm_locking4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1002
sm_locking6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
743
sm_locking7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
730
sm_loops1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
834
sm_loops2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
360
sm_loops3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
451
sm_loops4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
sm_loops5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
778
sm_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
611
sm_math1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
466
sm_math2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
sm_memleak2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
447
sm_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
648
sm_netdevice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
975
sm_null_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
546
sm_null_deref2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2582
sm_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
566
sm_overflow3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
386
sm_overflow4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
384
sm_overflow5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
727
sm_overflow6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
sm_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
353
sm_range1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
868
sm_range2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1587
sm_range3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
sm_range4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_range5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
374
sm_real_absolute1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1769
sm_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
739
sm_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2446
sm_select3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
445
sm_select4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
512
sm_select5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
sm_select_assign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1043
sm_skb.c
blob
|
blame
|
history
|
raw
-rw-r--r--
428
sm_strlen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
672
sm_strlen2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
427
sm_strlen3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
sm_struct_assign1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
833
sm_switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
745
sm_switch2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
522
sm_user_data1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
559
sm_user_data2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
769
sm_user_data3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
854
sm_user_data4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
298
sm_val_parse1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
464
sm_wine_filehandles.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1036
sm_wine_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1675
specifiers1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6766
specifiers2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
226
static-forward-decl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
struct-as.c
blob
|
blame
|
history
|
raw
-rw-r--r--
109
struct-attribute-placement.c
blob
|
blame
|
history
|
raw
-rw-r--r--
463
struct-ns1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
struct-ns2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
301
struct-size1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
577
test-be.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
5591
test-suite
blob
|
blame
|
history
|
raw
-rw-r--r--
324
transparent-union.c
blob
|
blame
|
history
|
raw
-rw-r--r--
496
type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
typedef_shadow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
361
typeof-attribute.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1632
typesign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
165
varargs1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
189
wide.c
blob
|
blame
|
history
|
raw