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
)
db: move call_implies to use raw SQL
tree
354591790f5a3681be3c068c78517c5298607129
-rw-r--r--
421
.gitignore
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
Documentation
tree
|
history
-rw-r--r--
4607
FAQ
blob
|
blame
|
history
|
raw
-rw-r--r--
12683
LICENSE
blob
|
blame
|
history
|
raw
-rw-r--r--
8172
Makefile
blob
|
blame
|
history
|
raw
-rw-r--r--
3020
README
blob
|
blame
|
history
|
raw
-rw-r--r--
2609
README-smatch
blob
|
blame
|
history
|
raw
-rw-r--r--
3468
allocate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2269
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--
1436
bitmap.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6820
c2xml.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
9024
cgcc
blob
|
blame
|
history
|
raw
-rw-r--r--
1062
cgcc.1
blob
|
blame
|
history
|
raw
-rw-r--r--
2275
check_access_ok_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1904
check_allocation_funcs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
525
check_assign_vs_compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1169
check_assigned_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4238
check_balanced.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3453
check_bit_shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
642
check_bogus_irqrestore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1733
check_bogus_loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
553
check_call_tree.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2450
check_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
check_container_of.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1065
check_db_info.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9058
check_debug.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1322
check_debug.h
blob
|
blame
|
history
|
raw
-rw-r--r--
4794
check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
check_deref_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2419
check_dereferences_param.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2704
check_dev_queue_xmit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1573
check_dma_on_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1399
check_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4117
check_err_ptr_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1647
check_expects_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
522
check_format_string.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1888
check_free.c
blob
|
blame
|
history
|
raw
-rw-r--r--
797
check_freeing_null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2719
check_frees_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4184
check_get_user_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1054
check_gfp_dma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2906
check_held_dev.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1934
check_info_leak.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
check_input_free_device.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3411
check_kernel.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1199
check_kmalloc_to_bugon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2110
check_kmalloc_wrong_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1775
check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4837
check_leaks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2575
check_list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
29044
check_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1163
check_logical_instead_of_bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3102
check_macro_side_effects.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1543
check_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9306
check_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
680
check_memset.c
blob
|
blame
|
history
|
raw
-rw-r--r--
886
check_min_t.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2897
check_missing_break.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
check_mod_timer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
832
check_no_effect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
598
check_no_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4140
check_or_vs_and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10411
check_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1950
check_param_mapper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2517
check_passes_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1554
check_platform_device_put.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2320
check_pointer_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2120
check_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
check_proc_create.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1577
check_propagate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2639
check_puts_argument.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2648
check_redundant_null_check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1845
check_release_resource.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1819
check_resource_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1106
check_return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2138
check_return_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2098
check_return_enomem.c
blob
|
blame
|
history
|
raw
-rw-r--r--
897
check_return_negative_var.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5476
check_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
503
check_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7021
check_signed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2274
check_sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1677
check_snprintf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1434
check_stack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4012
check_string_len.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2544
check_template.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1127
check_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4632
check_unused_ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6224
check_unwind.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8221
check_user_data.c
blob
|
blame
|
history
|
raw
-rw-r--r--
732
check_wait_for_common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1416
check_wine_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1792
check_wine_filehandles.c
blob
|
blame
|
history
|
raw
-rw-r--r--
328
compat-bsd.c
blob
|
blame
|
history
|
raw
-rw-r--r--
733
compat-cygwin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
119
compat-linux.c
blob
|
blame
|
history
|
raw
-rw-r--r--
588
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--
55304
compile-i386.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1424
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--
4717
ctags.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
cwchash
tree
|
history
-rw-r--r--
13066
dissect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
768
dissect.h
blob
|
blame
|
history
|
raw
-rw-r--r--
83746
evaluate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
45133
example.c
blob
|
blame
|
history
|
raw
-rw-r--r--
29140
expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
24802
expression.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5436
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--
4750
graph.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
gvpr
tree
|
history
-rw-r--r--
3709
ident-list.h
blob
|
blame
|
history
|
raw
-rw-r--r--
14680
inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
26820
lib.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6110
lib.h
blob
|
blame
|
history
|
raw
-rw-r--r--
56828
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--
1144
macro_table.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4691
memops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1208
obfuscate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
76282
parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1639
parse.dtd
blob
|
blame
|
history
|
raw
-rw-r--r--
3495
parse.h
blob
|
blame
|
history
|
raw
-rw-r--r--
44595
pre-process.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4906
ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
8681
ptrlist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2426
scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
998
scope.h
blob
|
blame
|
history
|
raw
-rw-r--r--
27050
show-parse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
20587
simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5188
smatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
19578
smatch.h
blob
|
blame
|
history
|
raw
-rw-r--r--
16015
smatch_buf_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3794
smatch_capped.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6818
smatch_comparison.c
blob
|
blame
|
history
|
raw
-rw-r--r--
15740
smatch_conditions.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_data
tree
|
history
-rw-r--r--
21059
smatch_db.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5824
smatch_equiv.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6133
smatch_estate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
806
smatch_expression_stacks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
smatch_expression_stacks.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1312
smatch_expressions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
33421
smatch_extra.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6538
smatch_extra.h
blob
|
blame
|
history
|
raw
-rw-r--r--
743
smatch_files.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21554
smatch_flow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3317
smatch_function_hashtable.h
blob
|
blame
|
history
|
raw
-rw-r--r--
18583
smatch_function_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10626
smatch_helper.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7136
smatch_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
838
smatch_ignore.c
blob
|
blame
|
history
|
raw
-rw-r--r--
17458
smatch_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21169
smatch_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3963
smatch_modification_hooks.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4072
smatch_param_filter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3769
smatch_param_limit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2622
smatch_param_set.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9621
smatch_parse_call_math.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1668
smatch_project.c
blob
|
blame
|
history
|
raw
-rw-r--r--
18821
smatch_ranges.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1283
smatch_returns.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
smatch_scripts
tree
|
history
-rw-r--r--
18337
smatch_slist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3214
smatch_slist.h
blob
|
blame
|
history
|
raw
-rw-r--r--
17724
smatch_states.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10192
smatch_sval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1901
smatch_tracker.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10101
smatch_type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5698
sort.c
blob
|
blame
|
history
|
raw
-rw-r--r--
28342
sparse-llvm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11777
sparse.1
blob
|
blame
|
history
|
raw
-rw-r--r--
6562
sparse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
sparse.pc.in
blob
|
blame
|
history
|
raw
-rwxr-xr-x
725
sparsec
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--
23851
symbol.c
blob
|
blame
|
history
|
raw
-rw-r--r--
10606
symbol.h
blob
|
blame
|
history
|
raw
-rw-r--r--
741
target.c
blob
|
blame
|
history
|
raw
-rw-r--r--
993
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--
713
test-lexing.c
blob
|
blame
|
history
|
raw
-rw-r--r--
984
test-linearize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1435
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--
5300
token.h
blob
|
blame
|
history
|
raw
-rw-r--r--
2837
token_store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
21480
tokenize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3629
unssa.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
validation
tree
|
history