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
)
get_user_overflow: "x + 0" doesn't overflow
[smatch.git]
/
smatch_data
/
tree
53f49ff23e8946a0257e94fbb474d46b0e6a6a2c
drwxr-xr-x
..
drwxr-xr-x
-
db
tree
|
history
-rw-r--r--
39166
kernel.allocation_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
0
kernel.allocation_funcs.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
29649
kernel.allocation_funcs_gfp
blob
|
blame
|
history
|
raw
-rw-r--r--
46
kernel.allocation_funcs_gfp.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
300700
kernel.bit_shifters
blob
|
blame
|
history
|
raw
-rw-r--r--
291
kernel.bit_shifters.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
48
kernel.check_string_condition.ignore
blob
|
blame
|
history
|
raw
-rw-r--r--
231
kernel.clears_argument
blob
|
blame
|
history
|
raw
-rw-r--r--
972
kernel.common_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
765
kernel.dev_queue_xmit
blob
|
blame
|
history
|
raw
-rw-r--r--
4731
kernel.dma_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
1308
kernel.expects_err_ptr
blob
|
blame
|
history
|
raw
-rw-r--r--
16669
kernel.frees_argument
blob
|
blame
|
history
|
raw
-rw-r--r--
82
kernel.frees_argument.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
14417
kernel.gfp_flags
blob
|
blame
|
history
|
raw
-rw-r--r--
377
kernel.ignore_casted_params
blob
|
blame
|
history
|
raw
-rw-r--r--
110
kernel.ignore_macro_indenting
blob
|
blame
|
history
|
raw
-rw-r--r--
74
kernel.ignore_memcpy_struct_overflows
blob
|
blame
|
history
|
raw
-rw-r--r--
21
kernel.ignore_no_effect
blob
|
blame
|
history
|
raw
-rw-r--r--
1565
kernel.ignore_side_effects
blob
|
blame
|
history
|
raw
-rw-r--r--
2994
kernel.ignore_uninitialized_param
blob
|
blame
|
history
|
raw
-rw-r--r--
285
kernel.ignored_macros
blob
|
blame
|
history
|
raw
-rw-r--r--
35
kernel.ignored_warnings
blob
|
blame
|
history
|
raw
-rw-r--r--
801521
kernel.implicit_dependencies.no_structs
blob
|
blame
|
history
|
raw
-rw-r--r--
49390
kernel.implicit_dependencies.v1
blob
|
blame
|
history
|
raw
-rw-r--r--
3604
kernel.ioctls
blob
|
blame
|
history
|
raw
-rw-r--r--
73
kernel.macro_takes_sizeof_argument
blob
|
blame
|
history
|
raw
-rw-r--r--
47
kernel.must_check_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
248
kernel.no_inline_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
3742
kernel.no_return_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
56
kernel.no_return_funcs.add
blob
|
blame
|
history
|
raw
-rw-r--r--
9
kernel.no_return_funcs.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
560
kernel.parameter_implications.add
blob
|
blame
|
history
|
raw
-rw-r--r--
1385
kernel.puts_argument
blob
|
blame
|
history
|
raw
-rw-r--r--
87661
kernel.returns_err_ptr
blob
|
blame
|
history
|
raw
-rw-r--r--
45
kernel.returns_err_ptr.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
11764
kernel.rosenberg_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
250
kernel.silenced_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
23241
kernel.sizeof_param
blob
|
blame
|
history
|
raw
-rw-r--r--
181
kernel.sizeof_param.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
20
kernel.skipped_macros
blob
|
blame
|
history
|
raw
-rw-r--r--
708
kernel.unconstant_macros
blob
|
blame
|
history
|
raw
-rw-r--r--
1024
kernel.unreachable.ignore
blob
|
blame
|
history
|
raw
-rw-r--r--
61
kernel.unreachable.turn_off
blob
|
blame
|
history
|
raw
-rw-r--r--
10205
kernel.unwind_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
41
no_return_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
82
no_return_funcs.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
260
smatch.common_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
0
smatch_generic.common_functions
blob
|
blame
|
history
|
raw
-rw-r--r--
1223
wine.bit_shifters
blob
|
blame
|
history
|
raw
-rw-r--r--
92
wine.ignored_macros
blob
|
blame
|
history
|
raw
-rw-r--r--
1494
wine.no_return_funcs
blob
|
blame
|
history
|
raw
-rw-r--r--
27
wine.no_return_funcs.add
blob
|
blame
|
history
|
raw
-rw-r--r--
6
wine.no_return_funcs.remove
blob
|
blame
|
history
|
raw
-rw-r--r--
9977
wine.sizeof_param
blob
|
blame
|
history
|
raw