smatch_param_limit: extra: store parameter implications in return_states
tree502040f8606e7f224e073f9fc30cc05d43232d43
-rw-r--r-- 421 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 4607 FAQ
-rw-r--r-- 12683 LICENSE
-rw-r--r-- 8132 Makefile
-rw-r--r-- 3020 README
-rw-r--r-- 2609 README-smatch
-rw-r--r-- 3468 allocate.c
-rw-r--r-- 2269 allocate.h
-rw-r--r-- 6924 ast-inspect.c
-rw-r--r-- 330 ast-inspect.h
-rw-r--r-- 14689 ast-model.c
-rw-r--r-- 2246 ast-model.h
-rw-r--r-- 1136 ast-view.c
-rw-r--r-- 95 ast-view.h
-rw-r--r-- 1436 bitmap.h
-rw-r--r-- 6820 c2xml.c
-rwxr-xr-x 9024 cgcc
-rw-r--r-- 1062 cgcc.1
-rw-r--r-- 2300 check_access_ok_math.c
-rw-r--r-- 1918 check_allocation_funcs.c
-rw-r--r-- 525 check_assign_vs_compare.c
-rw-r--r-- 1194 check_assigned_expr.c
-rw-r--r-- 4238 check_balanced.c
-rw-r--r-- 3453 check_bit_shift.c
-rw-r--r-- 642 check_bogus_irqrestore.c
-rw-r--r-- 1767 check_bogus_loop.c
-rw-r--r-- 3281 check_bool_implications.c
-rw-r--r-- 570 check_call_tree.c
-rw-r--r-- 2450 check_check_deref.c
-rw-r--r-- 1276 check_container_of.c
-rw-r--r-- 1134 check_db_info.c
-rw-r--r-- 8701 check_debug.c
-rw-r--r-- 1253 check_debug.h
-rw-r--r-- 4792 check_deref.c
-rw-r--r-- 1348 check_deref_check.c
-rw-r--r-- 2437 check_dereferences_param.c
-rw-r--r-- 2721 check_dev_queue_xmit.c
-rw-r--r-- 1615 check_dma_on_stack.c
-rw-r--r-- 1399 check_err_ptr.c
-rw-r--r-- 4117 check_err_ptr_deref.c
-rw-r--r-- 1647 check_expects_err_ptr.c
-rw-r--r-- 522 check_format_string.c
-rw-r--r-- 1919 check_free.c
-rw-r--r-- 814 check_freeing_null.c
-rw-r--r-- 2726 check_frees_argument.c
-rw-r--r-- 4208 check_get_user_overflow.c
-rw-r--r-- 1054 check_gfp_dma.c
-rw-r--r-- 2906 check_held_dev.c
-rw-r--r-- 1958 check_info_leak.c
-rw-r--r-- 1348 check_input_free_device.c
-rw-r--r-- 3406 check_kernel.c
-rw-r--r-- 1216 check_kmalloc_to_bugon.c
-rw-r--r-- 2110 check_kmalloc_wrong_size.c
-rw-r--r-- 1792 check_kunmap.c
-rw-r--r-- 4899 check_leaks.c
-rw-r--r-- 2554 check_list.h
-rw-r--r-- 29086 check_locking.c
-rw-r--r-- 1163 check_logical_instead_of_bitwise.c
-rw-r--r-- 3159 check_macro_side_effects.c
-rw-r--r-- 1543 check_macros.c
-rw-r--r-- 9404 check_memory.c
-rw-r--r-- 680 check_memset.c
-rw-r--r-- 911 check_min_t.c
-rw-r--r-- 658 check_mod_timer.c
-rw-r--r-- 832 check_no_effect.c
-rw-r--r-- 598 check_no_return.c
-rw-r--r-- 4038 check_or_vs_and.c
-rw-r--r-- 10608 check_overflow.c
-rw-r--r-- 1950 check_param_mapper.c
-rw-r--r-- 4422 check_param_range.c
-rw-r--r-- 2564 check_passes_sizeof.c
-rw-r--r-- 1554 check_platform_device_put.c
-rw-r--r-- 2362 check_pointer_math.c
-rw-r--r-- 2120 check_precedence.c
-rw-r--r-- 1276 check_proc_create.c
-rw-r--r-- 1589 check_propagate.c
-rw-r--r-- 2646 check_puts_argument.c
-rw-r--r-- 2682 check_redundant_null_check.c
-rw-r--r-- 1859 check_release_resource.c
-rw-r--r-- 1819 check_resource_size.c
-rw-r--r-- 1106 check_return.c
-rw-r--r-- 2138 check_return_efault.c
-rw-r--r-- 2098 check_return_enomem.c
-rw-r--r-- 897 check_return_negative_var.c
-rw-r--r-- 5507 check_rosenberg.c
-rw-r--r-- 503 check_select.c
-rw-r--r-- 7391 check_signed.c
-rw-r--r-- 2137 check_sizeof_pointer.c
-rw-r--r-- 1677 check_snprintf.c
-rw-r--r-- 1434 check_stack.c
-rw-r--r-- 2578 check_template.c
-rw-r--r-- 1152 check_type.c
-rw-r--r-- 4666 check_unused_ret.c
-rw-r--r-- 6231 check_unwind.c
-rw-r--r-- 8279 check_user_data.c
-rw-r--r-- 757 check_wait_for_common.c
-rw-r--r-- 1433 check_wine_WtoA.c
-rw-r--r-- 1816 check_wine_filehandles.c
-rw-r--r-- 328 compat-bsd.c
-rw-r--r-- 733 compat-cygwin.c
-rw-r--r-- 119 compat-linux.c
-rw-r--r-- 588 compat-mingw.c
-rw-r--r-- 685 compat-solaris.c
-rw-r--r-- 713 compat.h
drwxr-xr-x - compat
-rw-r--r-- 55304 compile-i386.c
-rw-r--r-- 1424 compile.c
-rw-r--r-- 199 compile.h
-rw-r--r-- 9193 cse.c
-rw-r--r-- 4717 ctags.c
drwxr-xr-x - cwchash
-rw-r--r-- 13066 dissect.c
-rw-r--r-- 768 dissect.h
-rw-r--r-- 83746 evaluate.c
-rw-r--r-- 45133 example.c
-rw-r--r-- 29140 expand.c
-rw-r--r-- 24802 expression.c
-rw-r--r-- 5436 expression.h
-rw-r--r-- 23168 flow.c
-rw-r--r-- 1392 flow.h
-rw-r--r-- 5578 gdbhelpers
-rw-r--r-- 4750 graph.c
drwxr-xr-x - gvpr
-rw-r--r-- 3709 ident-list.h
-rw-r--r-- 14680 inline.c
-rw-r--r-- 26820 lib.c
-rw-r--r-- 6110 lib.h
-rw-r--r-- 56828 linearize.c
-rw-r--r-- 7117 linearize.h
-rw-r--r-- 8069 liveness.c
-rw-r--r-- 1144 macro_table.c
-rw-r--r-- 4691 memops.c
-rw-r--r-- 1208 obfuscate.c
-rw-r--r-- 76230 parse.c
-rw-r--r-- 1639 parse.dtd
-rw-r--r-- 3495 parse.h
-rw-r--r-- 44595 pre-process.c
-rw-r--r-- 4906 ptrlist.c
-rw-r--r-- 8681 ptrlist.h
-rw-r--r-- 2426 scope.c
-rw-r--r-- 998 scope.h
-rw-r--r-- 27050 show-parse.c
-rw-r--r-- 20587 simplify.c
-rw-r--r-- 5188 smatch.c
-rw-r--r-- 18524 smatch.h
-rw-r--r-- 4626 smatch_absolute.c
-rw-r--r-- 16054 smatch_buf_size.c
-rw-r--r-- 3794 smatch_capped.c
-rw-r--r-- 15755 smatch_conditions.c
-rw-r--r-- 6643 smatch_constraints.c
drwxr-xr-x - smatch_data
-rw-r--r-- 18488 smatch_db.c
-rw-r--r-- 5746 smatch_estate.c
-rw-r--r-- 806 smatch_expression_stacks.c
-rw-r--r-- 276 smatch_expression_stacks.h
-rw-r--r-- 1106 smatch_expressions.c
-rw-r--r-- 32965 smatch_extra.c
-rw-r--r-- 6503 smatch_extra.h
-rw-r--r-- 743 smatch_files.c
-rw-r--r-- 21384 smatch_flow.c
-rw-r--r-- 3317 smatch_function_hashtable.h
-rw-r--r-- 21192 smatch_function_hooks.c
-rw-r--r-- 10487 smatch_helper.c
-rw-r--r-- 7068 smatch_hooks.c
-rw-r--r-- 838 smatch_ignore.c
-rw-r--r-- 17631 smatch_implied.c
-rw-r--r-- 19232 smatch_math.c
-rw-r--r-- 3204 smatch_modification_hooks.c
-rw-r--r-- 4532 smatch_param_limit.c
-rw-r--r-- 9607 smatch_parse_call_math.c
-rw-r--r-- 2138 smatch_project.c
-rw-r--r-- 18943 smatch_ranges.c
-rw-r--r-- 1283 smatch_returns.c
drwxr-xr-x - smatch_scripts
-rw-r--r-- 18337 smatch_slist.c
-rw-r--r-- 3214 smatch_slist.h
-rw-r--r-- 17782 smatch_states.c
-rw-r--r-- 9925 smatch_sval.c
-rw-r--r-- 1908 smatch_tracker.c
-rw-r--r-- 9235 smatch_type.c
-rw-r--r-- 5698 sort.c
-rw-r--r-- 28342 sparse-llvm.c
-rw-r--r-- 11777 sparse.1
-rw-r--r-- 6562 sparse.c
-rw-r--r-- 175 sparse.pc.in
-rwxr-xr-x 725 sparsec
-rw-r--r-- 7592 storage.c
-rw-r--r-- 1749 storage.h
-rw-r--r-- 23851 symbol.c
-rw-r--r-- 10606 symbol.h
-rw-r--r-- 741 target.c
-rw-r--r-- 993 target.h
-rw-r--r-- 2119 test-dissect.c
-rw-r--r-- 866 test-inspect.c
-rw-r--r-- 713 test-lexing.c
-rw-r--r-- 984 test-linearize.c
-rw-r--r-- 1435 test-parsing.c
-rw-r--r-- 852 test-sort.c
-rw-r--r-- 1633 test-unssa.c
-rw-r--r-- 5300 token.h
-rw-r--r-- 2739 token_store.c
-rw-r--r-- 21480 tokenize.c
-rw-r--r-- 3629 unssa.c
drwxr-xr-x - validation