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
)
Put a cap on implications.
[smatch.git]
/
validation
/
tree
2d451c36e36d8b65c5be4f9146bec0fdd55f469d
drwxr-xr-x
..
-rw-r--r--
37
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
444
address_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
364
bad-array-designated-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
222
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--
31
badtype1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
138
badtype2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
145
badtype3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
259
badtype4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
256
bitfields.c
blob
|
blame
|
history
|
raw
-rw-r--r--
477
builtin_safe1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
785
calling-convention-attributes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
346
check_byte_count-ice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
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--
492
cond_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
863
cond_expr2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2455
context-dynamic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9128
context-named.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1386
context-statement.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6508
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--
179
double-semicolon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
225
dubious-bitwise-with-not.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
escapes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
184
field-overlap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
251
foul-bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
590
function-pointer-modifier-inheritance.c
blob
|
blame
|
history
|
raw
-rw-r--r--
416
init-char-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1135
initializer-entry-defined-twice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
155
inline_compound_literals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
115
integer-promotions.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--
214
local-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
222
member_of_typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
785
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
drwxr-xr-x
-
preprocessor
tree
|
history
-rw-r--r--
188
restricted-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
423
sm_compound_condition.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1699
sm_compound_conditions2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
390
sm_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
543
sm_implied2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
350
sm_implied3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
577
sm_implied4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
380
sm_implied5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
558
sm_implied6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
599
sm_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
644
sm_locking2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
578
sm_locking3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
566
sm_locking4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
418
sm_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
814
sm_null_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
666
sm_params.c
blob
|
blame
|
history
|
raw
-rw-r--r--
353
sm_range1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
632
sm_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
764
sm_switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
675
sm_switch2.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_closet
tree
|
history
-rw-r--r--
120
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--
175
struct-ns2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
266
struct-size1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
537
test-be.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
5315
test-suite
blob
|
blame
|
history
|
raw
-rw-r--r--
442
type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1620
typesign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
165
varargs1.c
blob
|
blame
|
history
|
raw