capped: change how binops are handled
tree78724c3a6a00035f20d384dc602ee1b00a780edf
-rw-r--r-- 583 .gitignore
drwxr-xr-x - Documentation
-rw-r--r-- 3391 FAQ
-rw-r--r-- 18092 GPL-2
-rw-r--r-- 3160 LICENSE
-rw-r--r-- 13635 Makefile
-rw-r--r-- 3088 README
-rw-r--r-- 4777 allocate.c
-rw-r--r-- 2751 allocate.h
-rw-r--r-- 6860 ast-inspect.c
-rw-r--r-- 330 ast-inspect.h
-rw-r--r-- 14722 ast-model.c
-rw-r--r-- 2246 ast-model.h
-rw-r--r-- 1165 ast-view.c
-rw-r--r-- 95 ast-view.h
-rw-r--r-- 11656 avl.c
-rw-r--r-- 4069 avl.h
-rw-r--r-- 1436 bitmap.h
-rw-r--r-- 1236 bits.h
-rw-r--r-- 23565 builtin.c
-rw-r--r-- 245 builtin.h
-rw-r--r-- 7842 c2xml.c
-rwxr-xr-x 10724 cgcc
-rw-r--r-- 1062 cgcc.1
-rw-r--r-- 3428 char.c
-rw-r--r-- 148 char.h
-rw-r--r-- 2466 check_64bit_shift.c
-rw-r--r-- 2472 check_access_ok_math.c
-rw-r--r-- 2570 check_all_func_returns.c
-rw-r--r-- 1659 check_allocating_enough_data.c
-rw-r--r-- 2530 check_allocation_funcs.c
-rw-r--r-- 6829 check_arm64_tagged.c
-rw-r--r-- 1281 check_array_condition.c
-rw-r--r-- 1563 check_assign_vs_compare.c
-rw-r--r-- 12357 check_atomic_inc_dec.c
-rw-r--r-- 4097 check_bit_shift.c
-rw-r--r-- 1189 check_bogus_irqrestore.c
-rw-r--r-- 2285 check_bogus_loop.c
-rw-r--r-- 2927 check_buffer_too_small_for_struct.c
-rw-r--r-- 1112 check_call_tree.c
-rw-r--r-- 3409 check_capable.c
-rw-r--r-- 1598 check_cast_assign.c
-rw-r--r-- 4134 check_check_deref.c
-rw-r--r-- 1352 check_cmn_err.c
-rw-r--r-- 1905 check_container_of.c
-rw-r--r-- 2938 check_continue_vs_break.c
-rw-r--r-- 22928 check_debug.c
-rw-r--r-- 3047 check_debug.h
-rw-r--r-- 7090 check_deref.c
-rw-r--r-- 2338 check_deref_check.c
-rw-r--r-- 4496 check_dereferences_param.c
-rw-r--r-- 3282 check_dev_queue_xmit.c
-rw-r--r-- 2233 check_dma_mapping_error.c
-rw-r--r-- 2159 check_dma_on_stack.c
-rw-r--r-- 6088 check_double_checking.c
-rw-r--r-- 1981 check_err_ptr.c
-rw-r--r-- 6668 check_err_ptr_deref.c
-rw-r--r-- 2229 check_expects_err_ptr.c
-rw-r--r-- 6043 check_free.c
-rw-r--r-- 12249 check_free_strict.c
-rw-r--r-- 2363 check_freeing_devm.c
-rw-r--r-- 1351 check_freeing_null.c
-rw-r--r-- 3431 check_frees_argument.c
-rw-r--r-- 2791 check_frees_param.c
-rw-r--r-- 2828 check_frees_param_strict.c
-rw-r--r-- 4793 check_get_user_overflow.c
-rw-r--r-- 1610 check_gfp_dma.c
-rw-r--r-- 3457 check_held_dev.c
-rw-r--r-- 7694 check_implicit_dependencies.c
-rw-r--r-- 4270 check_implicit_dependencies_tester.c
-rw-r--r-- 2638 check_impossible_mask.c
-rw-r--r-- 5869 check_indenting.c
-rw-r--r-- 8296 check_index_overflow.c
-rw-r--r-- 2491 check_info_leak.c
-rw-r--r-- 1894 check_input_free_device.c
-rw-r--r-- 14897 check_kernel.c
-rw-r--r-- 54418 check_kernel_printf.c
-rw-r--r-- 1749 check_kmalloc_to_bugon.c
-rw-r--r-- 2595 check_kmalloc_wrong_size.c
-rw-r--r-- 2342 check_kunmap.c
-rw-r--r-- 5766 check_leaks.c
-rw-r--r-- 5766 check_list.h
-rw-r--r-- 40436 check_locking.c
-rw-r--r-- 1693 check_logical_instead_of_bitwise.c
-rw-r--r-- 3706 check_macro_side_effects.c
-rw-r--r-- 2101 check_macros.c
-rw-r--r-- 8644 check_memcpy_overflow.c
-rw-r--r-- 1603 check_memset.c
-rw-r--r-- 1447 check_min_t.c
-rw-r--r-- 4313 check_missing_break.c
-rw-r--r-- 1215 check_mod_timer.c
-rw-r--r-- 1389 check_no_effect.c
-rw-r--r-- 1514 check_no_if_block.c
-rw-r--r-- 1292 check_no_return.c
-rw-r--r-- 6741 check_nospec.c
-rw-r--r-- 3372 check_off_by_one_relative.c
-rw-r--r-- 4728 check_or_vs_and.c
-rw-r--r-- 1634 check_param_mapper.c
-rw-r--r-- 2523 check_passes_sizeof.c
-rw-r--r-- 2101 check_platform_device_put.c
-rw-r--r-- 3273 check_pointer_math.c
-rw-r--r-- 3526 check_precedence.c
-rw-r--r-- 1814 check_proc_create.c
-rw-r--r-- 3228 check_puts_argument.c
-rw-r--r-- 3702 check_readl_infinite_loops.c
-rw-r--r-- 2423 check_release_resource.c
-rw-r--r-- 2372 check_resource_size.c
-rw-r--r-- 1666 check_return.c
-rw-r--r-- 1418 check_return_cast.c
-rw-r--r-- 3625 check_return_efault.c
-rw-r--r-- 2139 check_return_enomem.c
-rw-r--r-- 1455 check_return_negative_var.c
-rw-r--r-- 10041 check_rosenberg.c
-rw-r--r-- 1063 check_select.c
-rw-r--r-- 2196 check_shift_to_zero.c
-rw-r--r-- 7609 check_signed.c
-rw-r--r-- 2522 check_signed_integer_overflow_check.c
-rw-r--r-- 3844 check_sizeof.c
-rw-r--r-- 2292 check_snprintf.c
-rw-r--r-- 2049 check_snprintf_overflow.c
-rw-r--r-- 4709 check_spectre.c
-rw-r--r-- 2926 check_spectre_second_half.c
-rw-r--r-- 1718 check_sprintf_overflow.c
-rw-r--r-- 2093 check_stack.c
-rw-r--r-- 1840 check_strcpy_overflow.c
-rw-r--r-- 5290 check_string_len.c
-rw-r--r-- 1934 check_struct_type.c
-rw-r--r-- 3586 check_syscall_arg_type.c
-rw-r--r-- 3080 check_template.c
-rw-r--r-- 1649 check_test_bit.c
-rw-r--r-- 3031 check_testing_index_after_use.c
-rw-r--r-- 2491 check_trinity_generator.c
-rw-r--r-- 1681 check_type.c
-rw-r--r-- 9318 check_uninitialized.c
-rw-r--r-- 6584 check_unreachable.c
-rw-r--r-- 5349 check_unused_ret.c
-rw-r--r-- 9513 check_unwind.c
-rw-r--r-- 1280 check_wait_for_common.c
-rw-r--r-- 1280 check_wine.c
-rw-r--r-- 1976 check_wine_WtoA.c
-rw-r--r-- 2368 check_wine_filehandles.c
-rw-r--r-- 2394 check_wrong_size_arg.c
-rw-r--r-- 4250 check_zero_to_err_ptr.c
-rw-r--r-- 1143 compat-bsd.c
-rw-r--r-- 1747 compat-cygwin.c
-rw-r--r-- 119 compat-linux.c
-rw-r--r-- 1602 compat-mingw.c
-rw-r--r-- 26 compat-solaris.c
-rw-r--r-- 685 compat.h
drwxr-xr-x - compat
-rw-r--r-- 56101 compile-i386.c
-rw-r--r-- 2447 compile.c
-rw-r--r-- 199 compile.h
-rw-r--r-- 8388 cse.c
-rw-r--r-- 176 cse.h
-rw-r--r-- 5729 ctags.c
drwxr-xr-x - cwchash
-rw-r--r-- 15608 dissect.c
-rw-r--r-- 759 dissect.h
-rw-r--r-- 3438 dominate.c
-rw-r--r-- 258 dominate.h
-rw-r--r-- 100647 evaluate.c
-rw-r--r-- 973 evaluate.h
-rw-r--r-- 45075 example.c
-rw-r--r-- 33462 expand.c
-rw-r--r-- 1536 expand.h
-rw-r--r-- 26666 expression.c
-rw-r--r-- 9559 expression.h
-rw-r--r-- 19118 flow.c
-rw-r--r-- 1534 flow.h
-rw-r--r-- 4921 flowgraph.c
-rw-r--r-- 266 flowgraph.h
-rw-r--r-- 4479 gcc-attr-list.h
-rw-r--r-- 5190 gdbhelpers
-rw-r--r-- 5794 graph.c
drwxr-xr-x - gvpr
-rw-r--r-- 2216 ident-list.h
-rw-r--r-- 15856 inline.c
-rw-r--r-- 4068 ir.c
-rw-r--r-- 101 ir.h
-rw-r--r-- 11828 lib.c
-rw-r--r-- 7072 lib.h
-rw-r--r-- 66972 linearize.c
-rw-r--r-- 8038 linearize.h
-rw-r--r-- 7345 liveness.c
-rw-r--r-- 227 liveness.h
-rw-r--r-- 2935 machine.h
-rw-r--r-- 2816 macro_table.c
-rw-r--r-- 5420 memops.c
-rw-r--r-- 2211 obfuscate.c
-rw-r--r-- 1459 opcode.c
-rw-r--r-- 5989 opcode.def
-rw-r--r-- 649 opcode.h
-rw-r--r-- 2340 optimize.c
-rw-r--r-- 122 optimize.h
-rw-r--r-- 24068 options.c
-rw-r--r-- 3323 options.h
-rw-r--r-- 86689 parse.c
-rw-r--r-- 1639 parse.dtd
-rw-r--r-- 4735 parse.h
-rw-r--r-- 59807 pre-process.c
-rw-r--r-- 9160 predefine.c
-rw-r--r-- 10838 ptrlist.c
-rw-r--r-- 8937 ptrlist.h
-rw-r--r-- 2664 ptrmap.c
-rw-r--r-- 865 ptrmap.h
-rw-r--r-- 4332 scope.c
-rw-r--r-- 2258 scope.h
-rw-r--r-- 2990 semind.1
-rw-r--r-- 28829 semind.c
-rw-r--r-- 28835 show-parse.c
-rw-r--r-- 41488 simplify.c
-rw-r--r-- 9020 smatch.c
-rw-r--r-- 52340 smatch.h
-rw-r--r-- 5351 smatch_about_fn_ptr_arg.c
-rw-r--r-- 8269 smatch_address.c
-rw-r--r-- 1491 smatch_annotate.c
-rw-r--r-- 5393 smatch_array_values.c
-rw-r--r-- 3877 smatch_assigned_expr.c
-rw-r--r-- 11427 smatch_bits.c
-rw-r--r-- 20837 smatch_buf_comparison.c
-rw-r--r-- 24796 smatch_buf_size.c
-rw-r--r-- 8418 smatch_capped.c
-rw-r--r-- 2800 smatch_common_functions.c
-rw-r--r-- 67153 smatch_comparison.c
-rw-r--r-- 19192 smatch_conditions.c
-rw-r--r-- 12701 smatch_constraints.c
-rw-r--r-- 12381 smatch_constraints_required.c
-rw-r--r-- 14626 smatch_container_of.c
drwxr-xr-x - smatch_data
-rw-r--r-- 2765 smatch_data_source.c
-rw-r--r-- 65763 smatch_db.c
-rw-r--r-- 6535 smatch_equiv.c
-rw-r--r-- 10516 smatch_estate.c
-rw-r--r-- 1356 smatch_expression_stacks.c
-rw-r--r-- 276 smatch_expression_stacks.h
-rw-r--r-- 8191 smatch_expressions.c
-rw-r--r-- 75899 smatch_extra.c
-rw-r--r-- 12554 smatch_extra.h
-rw-r--r-- 1514 smatch_files.c
-rw-r--r-- 51148 smatch_flow.c
-rw-r--r-- 4902 smatch_fn_arg_link.c
-rw-r--r-- 5119 smatch_fresh_alloc.c
-rw-r--r-- 3866 smatch_function_hashtable.h
-rw-r--r-- 34008 smatch_function_hooks.c
-rw-r--r-- 1142 smatch_function_info.c
-rw-r--r-- 10502 smatch_function_ptrs.c
-rw-r--r-- 25704 smatch_helper.c
-rw-r--r-- 7395 smatch_hooks.c
-rw-r--r-- 2687 smatch_ignore.c
-rw-r--r-- 2250 smatch_imaginary_absolute.c
-rw-r--r-- 34214 smatch_implied.c
-rw-r--r-- 2796 smatch_impossible.c
-rw-r--r-- 6262 smatch_integer_overflow.c
-rw-r--r-- 34048 smatch_kernel_user_data.c
-rw-r--r-- 2738 smatch_links.c
-rw-r--r-- 48813 smatch_math.c
-rw-r--r-- 1869 smatch_mem_tracker.c
-rw-r--r-- 6914 smatch_modification_hooks.c
-rw-r--r-- 12039 smatch_mtag.c
-rw-r--r-- 7511 smatch_mtag_data.c
-rw-r--r-- 1763 smatch_mtag_map.c
-rw-r--r-- 7563 smatch_nul_terminator.c
-rw-r--r-- 5560 smatch_param_cleared.c
-rw-r--r-- 9433 smatch_param_compare_limit.c
-rw-r--r-- 4909 smatch_param_filter.c
-rw-r--r-- 11357 smatch_param_key.c
-rw-r--r-- 5340 smatch_param_limit.c
-rw-r--r-- 7611 smatch_param_set.c
-rw-r--r-- 5658 smatch_param_to_mtag_data.c
-rw-r--r-- 2493 smatch_param_used.c
-rw-r--r-- 1124 smatch_parameter_names.c
-rw-r--r-- 12891 smatch_parse_call_math.c
-rw-r--r-- 3179 smatch_parsed_conditions.c
-rw-r--r-- 2172 smatch_passes_array_size.c
-rw-r--r-- 7871 smatch_points_to_user_data.c
-rw-r--r-- 5068 smatch_project.c
-rw-r--r-- 54000 smatch_ranges.c
-rw-r--r-- 4063 smatch_real_absolute.c
-rw-r--r-- 4187 smatch_recurse.c
-rw-r--r-- 5967 smatch_return_to_param.c
-rw-r--r-- 2684 smatch_returns.c
-rw-r--r-- 2537 smatch_scope.c
drwxr-xr-x - smatch_scripts
-rw-r--r-- 25166 smatch_slist.c
-rw-r--r-- 3758 smatch_slist.h
-rw-r--r-- 1348 smatch_start_states.c
-rw-r--r-- 2133 smatch_statement_count.c
-rw-r--r-- 28369 smatch_states.c
-rw-r--r-- 7241 smatch_stored_conditions.c
-rw-r--r-- 1863 smatch_string_list.c
-rw-r--r-- 3825 smatch_strings.c
-rw-r--r-- 8938 smatch_strlen.c
-rw-r--r-- 14221 smatch_struct_assignment.c
-rw-r--r-- 18504 smatch_sval.c
-rw-r--r-- 2461 smatch_tracker.c
-rw-r--r-- 19202 smatch_type.c
-rw-r--r-- 2026 smatch_type_links.c
-rw-r--r-- 15739 smatch_type_val.c
-rw-r--r-- 1971 smatch_unknown_value.c
-rw-r--r-- 7128 smatch_untracked_param.c
-rw-r--r-- 5382 smatch_var_sym.c
-rw-r--r-- 5723 sort.c
-rwxr-xr-x 271 sparse-llvm-dis
-rw-r--r-- 32378 sparse-llvm.c
-rw-r--r-- 18980 sparse.1
-rw-r--r-- 8493 sparse.c
-rwxr-xr-x 958 sparsec
-rwxr-xr-x 404 sparsei
-rw-r--r-- 8855 ssa.c
-rw-r--r-- 98 ssa.h
-rw-r--r-- 578 sset.c
-rw-r--r-- 1101 sset.h
-rw-r--r-- 1714 stats.c
-rw-r--r-- 7592 storage.c
-rw-r--r-- 1749 storage.h
-rw-r--r-- 25489 symbol.c
-rw-r--r-- 15971 symbol.h
-rw-r--r-- 986 target-alpha.c
-rw-r--r-- 1078 target-arm.c
-rw-r--r-- 847 target-arm64.c
-rw-r--r-- 563 target-bfin.c
-rw-r--r-- 190 target-default.c
-rw-r--r-- 663 target-h8300.c
-rw-r--r-- 572 target-m68k.c
-rw-r--r-- 697 target-microblaze.c
-rw-r--r-- 1272 target-mips.c
-rw-r--r-- 640 target-nds32.c
-rw-r--r-- 1098 target-nios2.c
-rw-r--r-- 582 target-openrisc.c
-rw-r--r-- 1679 target-ppc.c
-rw-r--r-- 3892 target-riscv.c
-rw-r--r-- 1358 target-s390.c
-rw-r--r-- 666 target-sh.c
-rw-r--r-- 1623 target-sparc.c
-rw-r--r-- 3286 target-x86.c
-rw-r--r-- 583 target-xtensa.c
-rw-r--r-- 6630 target.c
-rw-r--r-- 4217 target.h
-rw-r--r-- 2731 test-dissect.c
-rw-r--r-- 899 test-inspect.c
-rw-r--r-- 1716 test-lexing.c
-rw-r--r-- 2051 test-linearize.c
-rw-r--r-- 2438 test-parsing.c
-rw-r--r-- 512 test-show-type.c
-rw-r--r-- 852 test-sort.c
-rw-r--r-- 1693 test-unssa.c
-rw-r--r-- 7169 token.h
-rw-r--r-- 3850 token_store.c
-rw-r--r-- 23795 tokenize.c
-rw-r--r-- 3595 unssa.c
-rw-r--r-- 956 utils.c
-rw-r--r-- 1330 utils.h
drwxr-xr-x - validation