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
)
comparison,function_hooks: remove impossible paths (using comparison data)
tree
6d9db534508d14198b71d77681611799b385160b
-rw-r--r--
455
.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--
9365
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--
11384
avl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4050
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--
1519
check_allocating_enough_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2514
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--
4892
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--
17355
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2211
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6812
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--
6049
check_double_checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2016
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6652
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--
3431
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--
2640
check_impossible_mask.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5873
check_indenting.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3739
check_index_overflow.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--
52553
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--
5440
check_leaks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4595
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
34391
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--
8537
check_memcpy_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10060
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--
4361
check_or_vs_and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2535
check_param_mapper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2502
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--
3266
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--
3668
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--
2060
check_snprintf_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1723
check_sprintf_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2095
check_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1847
check_strcpy_overflow.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--
3168
check_testing_index_after_use.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--
5347
check_unused_ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6848
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14955
check_user_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17592
check_user_data2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1285
check_wait_for_common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1280
check_wine.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1978
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--
3775
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
15695
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
30951
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7294
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--
78816
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--
49112
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4907
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8809
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--
7121
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35819
smatch.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4679
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--
12916
smatch_buf_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19998
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6370
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2838
smatch_common_functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
50890
smatch_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18219
smatch_conditions.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
2435
smatch_data_source.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45101
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6421
smatch_equiv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9064
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--
2458
smatch_expressions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
54712
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10449
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1307
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
42072
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3866
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
27428
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--
18688
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8781
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1428
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2187
smatch_imaginary_absolute.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28576
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2796
smatch_impossible.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2558
smatch_links.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6035
smatch_local_values.c
blob
|
blame
|
history
|
raw
-rw-r--r--
32211
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7451
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5560
smatch_param_cleared.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9347
smatch_param_compare_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5022
smatch_param_filter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4586
smatch_param_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4940
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--
41975
smatch_ranges.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2892
smatch_real_absolute.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4187
smatch_recurse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3693
smatch_returns.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2510
smatch_scope.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_scripts
tree
|
history
-rw-r--r--
22982
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3571
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1688
smatch_start_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
23313
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6214
smatch_stored_conditions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1789
smatch_string_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2762
smatch_strings.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8868
smatch_strlen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10944
smatch_struct_assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
12168
smatch_sval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2461
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14693
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2026
smatch_type_links.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10194
smatch_type_val.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1922
smatch_unknown_value.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5349
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--
26025
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--
6627
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