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
)
core: make the valid pointer range 4096-7777777777
tree
c72f0e6c9752ab9cddf7ceaca287e34966a35db4
-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--
9031
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--
2995
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--
2719
check_assigned_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4891
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--
13527
check_buf_comparison.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--
3830
check_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1907
check_container_of.c
blob
|
blame
|
history
|
raw
-rw-r--r--
14651
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1875
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6668
check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2105
check_deref_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2917
check_dereferences_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3287
check_dev_queue_xmit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2169
check_dma_on_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3269
check_double_checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2016
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5219
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--
522
check_format_string.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4905
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--
3061
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--
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--
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--
3418
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
33222
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--
4699
check_or_vs_and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11239
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--
2907
check_pointer_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2959
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--
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--
8640
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--
7507
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--
2078
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--
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--
6768
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13780
check_user_data.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--
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--
25100
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6471
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--
30559
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--
4510
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--
8681
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--
5972
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28158
smatch.h
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--
19373
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5711
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2727
smatch_common_functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
34074
smatch_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
16420
smatch_conditions.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
2542
smatch_data_source.c
blob
|
blame
|
history
|
raw
-rw-r--r--
35638
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6386
smatch_equiv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8403
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--
46882
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9054
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1307
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
34839
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3866
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
20462
smatch_function_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1147
smatch_function_info.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6565
smatch_function_ptrs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13992
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8318
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1426
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18408
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2565
smatch_links.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5761
smatch_local_values.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24318
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4999
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4778
smatch_param_cleared.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5192
smatch_param_filter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5210
smatch_param_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3757
smatch_param_set.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--
30442
smatch_ranges.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3489
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--
20862
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3490
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1686
smatch_start_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19875
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5657
smatch_stored_conditions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1725
smatch_string_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5407
smatch_strlen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8012
smatch_struct_assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11977
smatch_sval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2461
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
13651
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7777
smatch_type_val.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1922
smatch_unknown_value.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3674
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