repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
double_checking: allow if (foo) { ... } else if (!foo) { }
tree
02a8ada155c250859c626b02e8dd27346036d161
-rw-r--r--
442
.gitignore
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Documentation
tree
|
history
-rw-r--r--
3391
FAQ
blob
|
blame
|
history
|
raw
-rw-r--r--
18092
GPL-2
blob
|
blame
|
history
|
raw
-rw-r--r--
3160
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
9255
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
62
README
blob
|
blame
|
history
|
raw
-rw-r--r--
4518
allocate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2299
allocate.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6924
ast-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
330
ast-inspect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14689
ast-model.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2246
ast-model.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1136
ast-view.c
blob
|
blame
|
history
|
raw
-rw-r--r--
95
ast-view.h
blob
|
blame
|
history
|
raw
-rw-r--r--
11428
avl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4023
avl.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1436
bitmap.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7836
c2xml.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
9254
cgcc
blob
|
blame
|
history
|
raw
-rw-r--r--
1062
cgcc.1
blob
|
blame
|
history
|
raw
-rw-r--r--
3049
char.c
blob
|
blame
|
history
|
raw
-rw-r--r--
148
char.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1741
check_64bit_shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2860
check_access_ok_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2512
check_allocation_funcs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1283
check_array_condition.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1076
check_assign_vs_compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2739
check_assigned_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4791
check_balanced.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4101
check_bit_shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1194
check_bogus_irqrestore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2287
check_bogus_loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2683
check_buffer_too_small_for_struct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1112
check_call_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3409
check_capable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1600
check_cast_assign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3836
check_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1907
check_container_of.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16941
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2152
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6780
check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2178
check_deref_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3094
check_dereferences_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3287
check_dev_queue_xmit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2055
check_dma_mapping_error.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2169
check_dma_on_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4711
check_double_checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2016
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5487
check_err_ptr_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2229
check_expects_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5171
check_free.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1353
check_freeing_null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3302
check_frees_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3024
check_frees_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4735
check_get_user_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1615
check_gfp_dma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3444
check_held_dev.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5547
check_indenting.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2493
check_info_leak.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1899
check_input_free_device.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7888
check_kernel.c
blob
|
blame
|
history
|
raw
-rw-r--r--
48686
check_kernel_printf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1751
check_kmalloc_to_bugon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2597
check_kmalloc_wrong_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2346
check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5446
check_leaks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4082
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
33699
check_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1705
check_logical_instead_of_bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3652
check_macro_side_effects.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2105
check_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9931
check_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1242
check_memset.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1449
check_min_t.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4255
check_missing_break.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1217
check_mod_timer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1391
check_no_effect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1518
check_no_if_block.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1213
check_no_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3657
check_off_by_one_relative.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4699
check_or_vs_and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11858
check_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2535
check_param_mapper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3072
check_passes_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2103
check_platform_device_put.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3277
check_pointer_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3260
check_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1816
check_proc_create.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3228
check_puts_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3685
check_readl_infinite_loops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2425
check_release_resource.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2374
check_resource_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1668
check_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1320
check_return_cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2722
check_return_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2173
check_return_enomem.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1459
check_return_negative_var.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8964
check_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1065
check_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2133
check_shift_to_zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7536
check_signed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3856
check_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2266
check_snprintf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2095
check_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4847
check_string_len.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1936
check_struct_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3082
check_template.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1523
check_test_bit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1691
check_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6546
check_unreachable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5218
check_unused_ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6848
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14356
check_user_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14994
check_user_data2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1285
check_wait_for_common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1976
check_wine_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2373
check_wine_filehandles.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2200
check_wrong_size_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1301
check_zero_to_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1343
compat-bsd.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1747
compat-cygwin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
119
compat-linux.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1602
compat-mingw.c
blob
|
blame
|
history
|
raw
-rw-r--r--
685
compat-solaris.c
blob
|
blame
|
history
|
raw
-rw-r--r--
713
compat.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
compat
tree
|
history
-rw-r--r--
56320
compile-i386.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2439
compile.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
compile.h
blob
|
blame
|
history
|
raw
-rw-r--r--
9193
cse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5733
ctags.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
cwchash
tree
|
history
-rw-r--r--
14082
dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
768
dissect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
87182
evaluate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45133
example.c
blob
|
blame
|
history
|
raw
-rw-r--r--
29924
expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
25130
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6521
expression.h
blob
|
blame
|
history
|
raw
-rw-r--r--
23168
flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1392
flow.h
blob
|
blame
|
history
|
raw
-rw-r--r--
5578
gdbhelpers
blob
|
blame
|
history
|
raw
-rw-r--r--
5766
graph.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
gvpr
tree
|
history
-rw-r--r--
3737
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15695
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
30854
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7263
lib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
56827
linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7117
linearize.h
blob
|
blame
|
history
|
raw
-rw-r--r--
8069
liveness.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2157
macro_table.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4691
memops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2223
obfuscate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
78314
parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1639
parse.dtd
blob
|
blame
|
history
|
raw
-rw-r--r--
4537
parse.h
blob
|
blame
|
history
|
raw
-rw-r--r--
48542
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4907
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8765
ptrlist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3667
scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2072
scope.h
blob
|
blame
|
history
|
raw
-rw-r--r--
28131
show-parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20683
simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7291
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
31833
smatch.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4348
smatch_address.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1491
smatch_annotate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2020
smatch_auto_copy.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13485
smatch_buf_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19160
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6047
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2838
smatch_common_functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
38465
smatch_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16618
smatch_conditions.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
2541
smatch_data_source.c
blob
|
blame
|
history
|
raw
-rw-r--r--
37401
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6386
smatch_equiv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8657
smatch_estate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1356
smatch_expression_stacks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
smatch_expression_stacks.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2203
smatch_expressions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
51316
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9442
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1307
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
39435
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3866
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25057
smatch_function_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1147
smatch_function_info.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7150
smatch_function_ptrs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17236
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8887
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1426
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20578
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2380
smatch_impossible.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2558
smatch_links.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5761
smatch_local_values.c
blob
|
blame
|
history
|
raw
-rw-r--r--
30177
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6102
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5536
smatch_param_cleared.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5020
smatch_param_filter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4584
smatch_param_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3920
smatch_param_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2052
smatch_param_used.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11906
smatch_parse_call_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4112
smatch_project.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35273
smatch_ranges.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4187
smatch_recurse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2253
smatch_returns.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_scripts
tree
|
history
-rw-r--r--
21587
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3559
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1686
smatch_start_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19590
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6399
smatch_stored_conditions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1725
smatch_string_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2762
smatch_strings.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7113
smatch_strlen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9938
smatch_struct_assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12566
smatch_sval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2461
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15078
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2026
smatch_type_links.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10095
smatch_type_val.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1922
smatch_unknown_value.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5026
smatch_untracked_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3759
smatch_var_sym.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5698
sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
27653
sparse-llvm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12524
sparse.1
blob
|
blame
|
history
|
raw
-rw-r--r--
7619
sparse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
sparse.pc.in
blob
|
blame
|
history
|
raw
-rwxr-xr-x
776
sparsec
blob
|
blame
|
history
|
raw
-rwxr-xr-x
195
sparsei
blob
|
blame
|
history
|
raw
-rw-r--r--
7592
storage.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1749
storage.h
blob
|
blame
|
history
|
raw
-rw-r--r--
25887
symbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12964
symbol.h
blob
|
blame
|
history
|
raw
-rw-r--r--
741
target.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1224
target.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2119
test-dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
866
test-inspect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1728
test-lexing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2000
test-linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2450
test-parsing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
852
test-sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1633
test-unssa.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6590
token.h
blob
|
blame
|
history
|
raw
-rw-r--r--
3850
token_store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24205
tokenize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3629
unssa.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
validation
tree
|
history