Public Git Hosting - unleashed.git/commit

commit	1f5207b7604fb44407eb4342aff613f7c4508508
author	John Levon <john.levon@joyent.com>
	Sat, 15 Dec 2018 15:13:09 +0000 (15 15:13 +0000)
committer	Dan McDonald <danmcd@joyent.com>
	Sat, 5 Jan 2019 20:34:06 +0000 (5 15:34 -0500)
tree	3a32aff9ba245a7de5fb9c384659480740adcda8	tree \| snapshot (tar.gz zip)
parent	c0455f334914631f42eb41177d677e2820ee6506	commit \| diff

10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>

971 files changed:

exception_lists/copyright		diff \| blob \| blame \| history
exception_lists/cstyle		diff \| blob \| blame \| history
exception_lists/hdrchk		diff \| blob \| blame \| history
exception_lists/manlint		diff \| blob \| blame \| history
exception_lists/packaging		diff \| blob \| blame \| history
exception_lists/wscheck		diff \| blob \| blame \| history
usr/src/Makefile.master		diff \| blob \| blame \| history
usr/src/Makefile.smatch	[new file with mode: 0644]	blob
usr/src/cmd/bnu/Makefile.inc		diff \| blob \| blame \| history
usr/src/cmd/cmd-inet/usr.bin/pppd/Makefile		diff \| blob \| blame \| history
usr/src/cmd/deroff/Makefile		diff \| blob \| blame \| history
usr/src/cmd/devctl/Makefile		diff \| blob \| blame \| history
usr/src/cmd/fs.d/smbclnt/test/Makefile		diff \| blob \| blame \| history
usr/src/cmd/fs.d/ufs/mkfs/Makefile		diff \| blob \| blame \| history
usr/src/cmd/geniconvtbl/Makefile.com		diff \| blob \| blame \| history
usr/src/cmd/ipcs/Makefile		diff \| blob \| blame \| history
usr/src/cmd/sendmail/Makefile.cmd		diff \| blob \| blame \| history
usr/src/cmd/troff/nroff.d/Makefile		diff \| blob \| blame \| history
usr/src/cmd/troff/troff.d/Makefile		diff \| blob \| blame \| history
usr/src/lib/libast/Makefile.com		diff \| blob \| blame \| history
usr/src/lib/libc/amd64/Makefile		diff \| blob \| blame \| history
usr/src/lib/libc/i386/Makefile		diff \| blob \| blame \| history
usr/src/lib/libc/i386/Makefile.com		diff \| blob \| blame \| history
usr/src/lib/libm/Makefile.libm.com		diff \| blob \| blame \| history
usr/src/lib/libpp/Makefile.com		diff \| blob \| blame \| history
usr/src/lib/libshell/Makefile.com		diff \| blob \| blame \| history
usr/src/tools/Makefile		diff \| blob \| blame \| history
usr/src/tools/cw/cw.c		diff \| blob \| blame \| history
usr/src/tools/env/illumos.sh		diff \| blob \| blame \| history
usr/src/tools/scripts/checkpaths.sh		diff \| blob \| blame \| history
usr/src/tools/scripts/nightly.sh		diff \| blob \| blame \| history
usr/src/tools/smatch/Makefile	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/data-structures.txt	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/project-ideas.md	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/smatch.txt	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/sparse-README.txt	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/sparse.txt	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/submitting-patches.md	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Documentation/test-suite	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/FAQ	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/GPL-2	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/LICENSE	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/Makefile	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/README	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/allocate.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/allocate.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-inspect.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-inspect.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-model.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-model.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-view.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ast-view.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/avl.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/avl.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/bitmap.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/builtin.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/c2xml.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cgcc	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/cgcc.1	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/char.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/char.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_64bit_shift.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_access_ok_math.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_all_func_returns.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_allocating_enough_data.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_allocation_funcs.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_array_condition.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_assign_vs_compare.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_atomic_inc_dec.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_bit_shift.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_bogus_irqrestore.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_bogus_loop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_buffer_too_small_for_struct.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_call_tree.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_capable.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_cast_assign.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_check_deref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_container_of.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_continue_vs_break.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_debug.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_debug.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_deref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_deref_check.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_dereferences_param.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_dev_queue_xmit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_dma_mapping_error.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_dma_on_stack.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_double_checking.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_err_ptr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_err_ptr_deref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_expects_err_ptr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_free.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_free_strict.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_freeing_devm.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_freeing_null.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_frees_argument.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_frees_param.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_frees_param_strict.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_get_user_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_gfp_dma.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_held_dev.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_implicit_dependencies.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_implicit_dependencies_tester.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_impossible_mask.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_indenting.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_index_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_info_leak.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_input_free_device.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_kernel.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_kernel_printf.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_kmalloc_to_bugon.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_kmalloc_wrong_size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_kunmap.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_leaks.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_list.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_locking.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_logical_instead_of_bitwise.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_macro_side_effects.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_macros.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_memcpy_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_memory.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_memset.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_min_t.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_missing_break.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_mod_timer.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_no_effect.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_no_if_block.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_no_return.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_nospec.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_off_by_one_relative.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_or_vs_and.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_param_mapper.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_passes_sizeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_platform_device_put.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_pointer_math.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_precedence.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_proc_create.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_puts_argument.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_readl_infinite_loops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_release_resource.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_resource_size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_return.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_return_cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_return_efault.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_return_enomem.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_return_negative_var.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_rosenberg.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_select.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_shift_to_zero.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_signed.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_signed_integer_overflow_check.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_sizeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_snprintf.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_snprintf_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_spectre.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_sprintf_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_stack.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_strcpy_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_string_len.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_struct_type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_syscall_arg_type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_template.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_test_bit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_testing_index_after_use.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_trinity_generator.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_uninitialized.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_unreachable.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_unused_ret.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_unwind.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_wait_for_common.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_wine.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_wine_WtoA.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_wine_filehandles.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_wrong_size_arg.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/check_zero_to_err_ptr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat-bsd.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat-cygwin.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat-linux.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat-mingw.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat-solaris.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat/bswap.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat/mmap-blob.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compat/strtold.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compile-i386.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compile.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/compile.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ctags.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/Makefile	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable_itr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable_itr.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable_private.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable_utility.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/hashtable_utility.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/cwchash/tester.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/dissect.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/dissect.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/evaluate.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/example.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/expand.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/expand.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/expression.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/expression.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/flow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/flow.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/gcc-attr-list.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/gdbhelpers	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/graph.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/gvpr/return-paths	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/gvpr/subg-fwd	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/gvpr/subg-rev	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/ident-list.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/inline.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/lib.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/lib.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/linearize.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/linearize.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/liveness.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/macro_table.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/memops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/obfuscate.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/parse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/parse.dtd	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/parse.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/pre-process.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ptrlist.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/ptrlist.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/scope.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/scope.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/show-parse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/simplify.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_about_fn_ptr_arg.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_address.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_annotate.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_array_values.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_assigned_expr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_auto_copy.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_buf_comparison.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_buf_size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_capped.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_common_functions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_comparison.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_conditions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_constraints.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_constraints_required.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_container_of.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/build_early_index.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/build_late_index.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/call_implies.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/caller_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/clear_user_data.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/common_caller_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/constraints.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/constraints_required.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/copy_required_constraints.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/create_db.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/data_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/db.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/fill_db_caller_info.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fill_db_sql.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fill_db_type_size.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fill_db_type_value.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fixup_all.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fixup_kernel.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fixup_smatch_generic.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/fn_data_link.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/fn_ptr_data_link.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/function_ptr.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/function_type.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/function_type_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/function_type_size.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/function_type_value.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/init_constraints.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/init_constraints_required.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/kernel.constraints	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/kernel.constraints_required	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/kernel.return_fixes	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/local_values.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/mark_function_ptrs_searchable.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/mtag_about.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/mtag_alias.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/mtag_data.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/mtag_map.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/param_map.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/parameter_name.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/reload_partial.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/remove_mixed_up_pointer_params.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/return_implies.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/return_states.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/sink_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/smdb.py	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/db/type_info.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/type_size.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/type_value.schema	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/db/vim_smdb	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_data/illumos_kernel.no_return_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/illumos_kernel.skipped_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/illumos_user.no_return_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/illumos_user.skipped_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.allocation_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.allocation_funcs.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.allocation_funcs_gfp	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.allocation_funcs_gfp.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.bit_shifters	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.bit_shifters.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.check_string_condition.ignore	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.clears_argument	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.common_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.dev_queue_xmit	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.dma_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.expects_err_ptr	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.frees_argument	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.frees_argument.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.gfp_flags	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ignore_macro_indenting	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ignore_memcpy_struct_overflows	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ignore_side_effects	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ignore_uninitialized_param	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ignored_macros	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.implicit_dependencies.no_structs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.implicit_dependencies.v1	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.ioctls	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.macro_takes_sizeof_argument	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.must_check_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.no_inline_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.no_return_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.no_return_funcs.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.parameter_implications.add	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.puts_argument	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.returns_err_ptr	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.returns_err_ptr.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.returns_held_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.rosenberg_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.silenced_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.sizeof_param	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.sizeof_param.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.unconstant_macros	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.unreachable.ignore	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.unreachable.turn_off	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/kernel.unwind_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/no_return_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/no_return_funcs.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/smatch.common_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/smatch_generic.common_functions	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.bit_shifters	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.ignored_macros	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.no_return_funcs	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.no_return_funcs.add	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.no_return_funcs.remove	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data/wine.sizeof_param	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_data_source.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_db.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_equiv.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_estate.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_expression_stacks.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_expression_stacks.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_expressions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_extra.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_extra.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_files.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_flow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_fn_arg_link.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_function_hashtable.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_function_hooks.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_function_info.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_function_ptrs.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_helper.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_hooks.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_ignore.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_imaginary_absolute.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_implied.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_impossible.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_kernel_user_data.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_links.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_local_values.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_math.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_mem_tracker.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_modification_hooks.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_mtag.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_mtag_data.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_mtag_map.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_nul_terminator.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_cleared.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_compare_limit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_filter.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_limit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_set.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_to_mtag_data.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_param_used.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_parameter_names.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_parse_call_math.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_passes_array_size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_project.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_ranges.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_real_absolute.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_recurse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_return_to_param.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_returns.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scope.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/add_gfp_to_allocations.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/build_generic_data.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/build_kernel_data.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/call_tree.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/filter_kernel_deref_check.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/find_expanded_holes.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/find_null_params.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/follow_params.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_allocation_list.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_bit_shifters.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_dma_funcs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_err_ptr_list.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_expects_err_ptr.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_frees_list.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_gfp_flags.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_implicit_dependencies.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_no_return_funcs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_puts_list.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_returns_held.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_rosenberg_funcs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_sizeof_param.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_trinity.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/gen_unwind_functions.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/generisize.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/README	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/constants.py	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/main.py	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/parser.py	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies.json	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies.pretty	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose.json	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose.pretty	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies.json	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies.pretty	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies_verbose.json	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies_verbose.pretty	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_scripts/kchecker	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/kpatch.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/new_bugs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/show_errs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/show_ifs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/show_unreachable.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/strip_whitespace.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/summarize_errs.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/test_generic.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/test_kernel.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/trace_params.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/unlocked_paths.pl	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/whitespace_only.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_scripts/wine_checker.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/smatch_slist.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_slist.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_start_states.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_statement_count.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_states.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_stored_conditions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_string_list.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_strings.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_strlen.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_struct_assignment.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_sval.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_tracker.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_type_links.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_type_val.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_unknown_value.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_untracked_param.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/smatch_var_sym.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sort.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sparse-llvm.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sparse.1	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sparse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sparse.pc.in	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/sparsec	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/sparsei	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/stats.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/storage.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/storage.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/symbol.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/symbol.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/target.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/target.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-dissect.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-inspect.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-lexing.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-linearize.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-parsing.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-sort.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/test-unssa.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/token.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/token_store.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/tokenize.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/unssa.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/.gitignore	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Woverride-init-def.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Woverride-init-no.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Woverride-init-yes.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Wunknown-attribute-def.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Wunknown-attribute-no.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/Wunknown-attribute-yes.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/__func__.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/abstract-array-declarator-static.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/address_space.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/alias-distinct.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/alias-mixed.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/alias-same.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/alloc-align.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/alternate-keywords.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/anon-union.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/asm-empty-clobber.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/asm-goto-lables.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/asm-toplevel.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr-inline.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr-no_sanitize_address.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr-noclone.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr-optimize.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr-warning.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr_aligned.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr_in_parameter.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/attr_vector_size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/arithmetic-ops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/bitwise-ops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/bool-test.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/cmp-ops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/extern.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/function-ptr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/hello.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/int-cond.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/load-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/logical-ops.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/loop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/loop2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/ptrcast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/store-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/struct-access.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/struct.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/sum.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/union.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/backend/void-return-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bad-array-designated-initializer.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bad-assignment.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bad-cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bad-ternary-cond.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bad-typeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/badtype1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/badtype2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/badtype3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/badtype4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/badtype5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/binary-constant.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bitfield-size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bitfields.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bitwise-cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bool-array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bool-cast-bad.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bool-cast-explicit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bool-cast-implicit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bool-cast-restricted.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bswap-constant-folding.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/bug_inline_switch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/build_smatch_db.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/validation/builtin-args-checking.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin-bswap-constant.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin-bswap-variable.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_atomic.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_bswap.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_inf.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_safe1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_unreachable.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/builtin_va_arg_pack.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c11-alignas.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c11-alignof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c11-noreturn.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c11-stdc-version.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c11-thread-local.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c99-for-loop-decl.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/c99-for-loop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/calling-convention-attributes.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cast-constant-to-float.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cast-constants.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cast-kinds.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/check_byte_count-ice.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/choose_expr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/comma.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/compare-null-to-int.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/compound-assign-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond-address-array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond-address-function.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond-address.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond-err-expand.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond_expr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond_expr2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/cond_expr3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/conditional-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constant-suffix-32.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constant-suffix-64.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-addr-of-static-member.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-addr-of-static.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-binop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-compound-literal.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-conditional.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-init.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-labelref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-offsetof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-pointer-arith.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-pointer-cast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-preop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-pure-builtin.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-string.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/constexpr-types-compatible-p.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/context.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crash-add-doms.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crash-bb_target.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crash-ep-active.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crash-ptrlist.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crash-rewrite-branch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crazy02-not-so.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/crazy03.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/declaration-after-statement-ansi.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/declaration-after-statement-c89.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/declaration-after-statement-c99.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/declaration-after-statement-default.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/definitions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/designated-init.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/discarded-label-statement.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/div.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/double-semicolon.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/dubious-bitwise-with-not.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/empty-file	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/endian-big.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/endian-little.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/enum-common.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/enum-from-int.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/enum-mismatch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/enum-to-int.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/enum_scope.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/escapes.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/extern-array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/extern-inline.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/external-function-has-definition.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/field-overlap.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/field-override.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/fored_arg.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/foul-bitwise.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/fp-vs-ptrcast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/function-pointer-inheritance.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/function-redecl.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/goto-label.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/identifier_list.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/implicit-KR-arg-type0.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/implicit-ret-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/implicit-type.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/include-eval.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/include-eval.inc	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/infinite-loop0.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/infinite-loop02.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/infinite-loop03.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/init-char-array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/init-char-array1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/init_cstring.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/initializer-entry-defined-twice.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/inline_compound_literals.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/int128.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/integer-promotions.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/ioc-typecheck.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-casts.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-computedgoto.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-cse.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-insert-branch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-load.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-phi-node.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-phi-ttsbb.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-phi-ttsbb2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-phisrc.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-pure-call.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-replaced-insn.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-rewritten-load.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-select.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-slice.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-store.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/kill-unreachable-phi.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/label-asm.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/label-attr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/label-expr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/label-scope.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/linear/bitfield-init-mask.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/linear/bitfield-init-zero.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/linear/missing-insn-size.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/linear/struct-init-full.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/linear/struct-init-partial.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/local-label.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/logical.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/loop-linearization.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/member_of_typeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/memops-volatile.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/missing-ident.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/multi_typedef.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/nested-declarator.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/nested-declarator2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/nocast.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/noderef.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/non-pointer-null.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/old-initializer-nowarn.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/old-initializer.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/old-style-definition0.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/old-style-definition1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/binops-same-args.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/bool-context.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/bool-same-args.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/bool-simplify.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/cse-commutativity.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/cse-dual-compare.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/double-unop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/fpcast-nop.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/muldiv-by-one.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/muldiv-by-zero.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/muldiv-minus-one.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/setcc-setcc.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/setcc-seteq.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/setcc-setne.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/optim/void-if-convert.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/outer-scope.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/phase2/backslash	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/phase3/comments	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/pragma-once.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/counter1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/counter2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/counter2.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/counter3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/dump-macros-empty.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/dump-macros-multi.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/dump-macros.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/early-escape.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/predef-char-bit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/predef-max.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/predef-sizeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor10.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor11.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor12.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor13.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor14.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor15.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor16.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor17.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor18.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor19.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor20.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor20.h	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor21.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor22.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor23.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor8.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/preprocessor9.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/stringify.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/preprocessor/wide.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/prototype.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/ptr-inherit.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/pure-function.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/reserved.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/restrict-array.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/restricted-typeof.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sizeof-bool.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sizeof-compound-postfix.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sizeof-void.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_WtoA.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_absolute1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_absolute2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_array_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_array_overflow2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_array_overflow3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_array_overflow4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_array_overflow5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_bitwise1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_bitwise2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_buf_size8.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_casts7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_check_kunmap.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_chunk1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_chunk2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare10.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare11.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare12.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare13.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare14.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare15.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare16.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare17.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare8.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compare9.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compound_condition.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compound_conditions2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_compound_conditions3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_deref_check_deref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_dev_hold.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_double_free1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_double_free2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_efault.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_equiv1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_equiv2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_equiv3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_equiv4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_err_ptr.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_fake_assignment.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_get_user1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied10.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied11.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied12.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied13.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied14.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied15.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied16.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied17.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied18.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied19.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied8.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_implied9.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_impossible1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_impossible2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_impossible3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_indirection1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_indirection2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_initializer.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_inline1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_inline2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_inline3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_locking7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_loops6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_macros.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_math1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_math2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_memleak2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_memory.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mod.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_mtag7.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_netdevice.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_null_deref.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_null_deref2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_overflow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_overflow3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_overflow4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_overflow5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_overflow6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_pointer_assign.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_precedence.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_range6.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_real_absolute1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_rosenberg.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_select.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_select3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_select4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_select5.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_select_assign.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_skb.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_skb2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_skb3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_strlen.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_strlen2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_strlen3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_struct_assign1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_switch.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_switch2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_switch3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_user_data1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_user_data2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_user_data3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_user_data4.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_val_parse1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_wine_filehandles.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/sm_wine_locking.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/smatch_db_test.sh	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/validation/specifiers1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/specifiers2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/static-forward-decl.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/static_assert.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/strict-prototypes0.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/strict-prototypes1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/struct-as.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/struct-attribute-placement.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/struct-ns1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/struct-ns2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/struct-size1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/tautological-compare.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/test-be.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/test-suite	[new file with mode: 0755]	blob
usr/src/tools/smatch/src/validation/testsuite-selfcheck1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/testsuite-selfcheck2.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/testsuite-selfcheck3.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/transparent-union.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/type-attribute-align.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/type-attribute-as.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/type-attribute-mod.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/type1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typedef_shadow.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typeof-addresspace.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typeof-attribute.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typeof-mods.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typeof-noderef.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typeof-safe.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/typesign.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/varargs1.c	[new file with mode: 0644]	blob
usr/src/tools/smatch/src/validation/wide.c	[new file with mode: 0644]	blob
usr/src/ucbcmd/rusage/Makefile		diff \| blob \| blame \| history
usr/src/ucbcmd/tset/Makefile		diff \| blob \| blame \| history
usr/src/ucbcmd/vipw/Makefile		diff \| blob \| blame \| history
usr/src/uts/Makefile.uts		diff \| blob \| blame \| history
usr/src/uts/intel/bnxe/Makefile		diff \| blob \| blame \| history

Unleashed OS

RSS Atom