smatch - OpenGrok history log for /illumos-gate/usr/src/tools/smatch/

Revision	Date	Author	Comments (<<< Hide modified files) (Show modified files >>>)
6ff4183c	30-Jul-2021	Andy Fiddaman	13985 Support building with OpenSSL 3.0 Reviewed by: Andrew Stormont <andyjstormont@gmail.com> Reviewed by: Robert Mustacchi <rm@fingolfin.org> Reviewed by: Jason King <jason.brian.king@g 13985 Support building with OpenSSL 3.0 Reviewed by: Andrew Stormont <andyjstormont@gmail.com> Reviewed by: Robert Mustacchi <rm@fingolfin.org> Reviewed by: Jason King <jason.brian.king@gmail.com> Approved by: Dan McDonald <danmcd@joyent.com> show more ... Makefile src/smatch_mtag.c
2cbc828d	11-Jan-2021	Andy Fiddaman	13443 gate build missing some NATIVE_LIBS Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Andrew Stormont <andyjstormont@gmail.com> Reviewed by: Rich Lowe <richlowe@richlowe.net> 13443 gate build missing some NATIVE_LIBS Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Andrew Stormont <andyjstormont@gmail.com> Reviewed by: Rich Lowe <richlowe@richlowe.net> Approved by: Gordon Ross <gordon.w.ross@gmail.com> show more ... Makefile
b3263c98	08-Jun-2020	John Levon	12826 update to smatch 0.6.1-rc1-il-6 Reviewed by: Toomas Soome <tsoome@me.com> Approved by: Dan McDonald <danmcd@joyent.com> src/Documentation/smatch.txt src/Documentation/submitting-patches.md src/Makefile src/check_atomic_inc_dec.c src/check_kernel_printf.c src/smatch_db.c
6523a3aa	12-May-2020	John Levon	12724 update smatch to 0.6.1-rc1-il-5 Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Robert Mustacchi <rm@fingolfin.org> Approved by: Dan McDonald <danmcd@joyent.com> Makefile src/Makefile src/check_all_func_returns.c src/check_allocating_enough_data.c src/check_atomic_inc_dec.c src/check_debug.c src/check_debug.h src/check_err_ptr.c src/check_kernel.c src/check_shift_to_zero.c src/expression.h src/smatch.c src/smatch.h src/smatch_bits.c src/smatch_buf_size.c src/smatch_capped.c src/smatch_comparison.c src/smatch_container_of.c src/smatch_data/db/create_db.sh src/smatch_data/db/kernel.return_fixes src/smatch_data/db/mark_function_ptrs_searchable.pl src/smatch_data/db/mtag_about.schema src/smatch_data/db/mtag_info.schema src/smatch_data/db/mtag_map.schema src/smatch_data/db/return_states.schema src/smatch_data/db/smdb.py src/smatch_db.c src/smatch_estate.c src/smatch_expressions.c src/smatch_extra.c src/smatch_extra.h src/smatch_flow.c src/smatch_fresh_alloc.c src/smatch_function_hooks.c src/smatch_function_ptrs.c src/smatch_helper.c src/smatch_implied.c src/smatch_kernel_user_data.c src/smatch_math.c src/smatch_mtag.c src/smatch_mtag_data.c src/smatch_mtag_map.c src/smatch_param_to_mtag_data.c src/smatch_real_absolute.c src/smatch_return_to_param.c src/smatch_scripts/build_kernel_data.sh src/smatch_scripts/summarize_errs.sh src/smatch_slist.c src/smatch_states.c src/smatch_struct_assignment.c src/smatch_type.c src/smatch_type_val.c src/token.h src/tokenize.c src/validation/sm_impossible1.c src/validation/sm_impossible2.c
5801b0f0	17-Jan-2020	Toomas Soome	12217 add ld assert-deflib and guidance to gate build Reviewed by: Robert Mustacchi <rm@fingolfin.org> Reviewed by: Gergő Mihály Doma <domag02@gmail.com> Approved by: Dan McDonald <danmcd 12217 add ld assert-deflib and guidance to gate build Reviewed by: Robert Mustacchi <rm@fingolfin.org> Reviewed by: Gergő Mihály Doma <domag02@gmail.com> Approved by: Dan McDonald <danmcd@joyent.com> show more ... Makefile
31ad075e	23-Jan-2020	John Levon	12257 resync smatch to 0.6.1-rc1-il-4 Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Robert Mustacchi <rm@fingolfin.org> Approved by: Dan McDonald <danmcd@joyent.com> Makefile src/Makefile src/check_list.h src/check_locking.c src/lib.c src/lib.h src/machine.h src/pre-process.c src/smatch.h src/smatch_container_of.c src/smatch_db.c src/smatch_fresh_alloc.c src/smatch_math.c src/smatch_mtag.c src/smatch_slist.c src/smatch_type.c src/validation/sm_locking2.c src/validation/sm_locking3.c src/validation/sm_locking4.c src/validation/sm_locking6.c src/validation/sm_locking7.c
5a0e240f	19-Dec-2019	John Levon	12166 resync smatch to 0.6.1-rc1-il-3 Reviewed by: Toomas Soome <tsoome@me.com> Approved by: Robert Mustacchi <rm@fingolfin.org> Makefile src/Makefile src/check_debug.c src/check_debug.h src/check_frees_param.c src/check_list.h src/check_locking.c src/check_param_mapper.c src/smatch.c src/smatch.h src/smatch_address.c src/smatch_buf_size.c src/smatch_comparison.c src/smatch_container_of.c src/smatch_data/db/create_db.sh src/smatch_data/db/fixup_kernel.sh src/smatch_data/db/insert_manual_states.pl src/smatch_data/db/kernel.insert.return_states src/smatch_data/illumos_kernel.skipped_functions src/smatch_data/kernel.no_inline_functions src/smatch_db.c src/smatch_expressions.c src/smatch_extra.c src/smatch_extra.h src/smatch_function_hooks.c src/smatch_helper.c src/smatch_implied.c src/smatch_math.c src/smatch_parsed_conditions.c src/smatch_ranges.c src/smatch_scripts/build_generic_data.sh src/smatch_scripts/build_kernel_data.sh src/smatch_scripts/gen_rosenberg_funcs.sh src/smatch_scripts/kpatch.sh src/smatch_states.c src/smatch_sval.c src/smatch_type.c src/validation/sm_float1.c
eb44bcc7	22-Nov-2019	John Levon	12013 fix smatch build for GCC4 Reviewed by: Dan McDonald <danmcd@joyent.com> Approved by: Robert Mustacchi <rm@fingolfin.org> Makefile src/Makefile src/check_arm64_tagged.c src/ident-list.h src/smatch_data/illumos_kernel.skipped_functions src/smatch_data/illumos_user.skipped_functions src/smatch_kernel_user_data.c
c85f09cc	11-Nov-2019	John Levon	11972 resync smatch Reviewed by: Robert Mustacchi <rm@fingolfin.org> Approved by: Dan McDonald <danmcd@joyent.com> Makefile src/Documentation/.gitignore src/Documentation/IR.rst src/Documentation/Makefile src/Documentation/TODO.md src/Documentation/api.rst src/Documentation/arm64-detecting-tagged-addresses.txt src/Documentation/conf.py src/Documentation/dev-options.rst src/Documentation/doc-guide.rst src/Documentation/index.rst src/Documentation/logo.svg src/Documentation/nocast-vs-bitwise.md src/Documentation/project-ideas.md src/Documentation/smatch.txt src/Documentation/sparse.txt src/Documentation/sphinx/cdoc.py src/Documentation/sphinx/ir.py src/Documentation/test-suite src/Documentation/test-suite.rst src/Makefile src/README src/allocate.c src/allocate.h src/bits.h src/builtin.c src/c2xml.c src/cgcc src/char.c src/check_access_ok_math.c src/check_arm64_tagged.c src/check_check_deref.c src/check_continue_vs_break.c src/check_debug.c src/check_deref.c src/check_deref_check.c src/check_dereferences_param.c src/check_double_checking.c src/check_free.c src/check_free_strict.c src/check_get_user_overflow.c src/check_kernel.c src/check_list.h src/check_locking.c src/check_memory.c src/check_memset.c src/check_nospec.c src/check_readl_infinite_loops.c src/check_rosenberg.c src/check_testing_index_after_use.c src/check_uninitialized.c src/check_unwind.c src/compat.h src/compile-i386.c src/compile.c src/cse.c src/cse.h src/ctags.c src/dominate.c src/dominate.h src/evaluate.c src/evaluate.h src/example.c src/expand.c src/expression.c src/expression.h src/flow.c src/flow.h src/flowgraph.c src/flowgraph.h src/gcc-attr-list.h src/gdbhelpers src/graph.c src/ident-list.h src/inline.c src/ir.c src/ir.h src/lib.c src/lib.h src/linearize.c src/linearize.h src/liveness.c src/liveness.h src/machine.h src/macro_table.c src/memops.c src/obfuscate.c src/opcode.c src/opcode.def src/opcode.h src/optimize.c src/optimize.h src/parse.c src/parse.h src/pre-process.c src/ptrlist.c src/ptrlist.h src/ptrmap.c src/ptrmap.h src/scope.h src/show-parse.c src/simplify.c src/smatch.h src/smatch_array_values.c src/smatch_assigned_expr.c src/smatch_auto_copy.c src/smatch_bits.c src/smatch_buf_size.c src/smatch_common_functions.c src/smatch_comparison.c src/smatch_conditions.c src/smatch_data/db/clear_user_data.sh src/smatch_data/db/copy_function_pointers.pl src/smatch_data/db/create_db.sh src/smatch_data/db/fill_db_sql.pl src/smatch_data/db/fixup_kernel.sh src/smatch_data/db/kernel.return_fixes src/smatch_data/db/smdb.py src/smatch_data/db/vim_smdb src/smatch_data/kernel.bit_shifters.remove src/smatch_data/kernel.check_string_condition.ignore src/smatch_data/kernel.ignore_casted_params src/smatch_data/kernel.ignore_side_effects src/smatch_data/kernel.ignore_uninitialized_param src/smatch_data/kernel.unreachable.ignore src/smatch_db.c src/smatch_estate.c src/smatch_expressions.c src/smatch_extra.c src/smatch_extra.h src/smatch_flow.c src/smatch_function_hooks.c src/smatch_function_ptrs.c src/smatch_helper.c src/smatch_hooks.c src/smatch_implied.c src/smatch_integer_overflow.c src/smatch_kernel_user_data.c src/smatch_local_values.c src/smatch_math.c src/smatch_mem_tracker.c src/smatch_modification_hooks.c src/smatch_mtag.c src/smatch_mtag_data.c src/smatch_nul_terminator.c src/smatch_param_filter.c src/smatch_param_limit.c src/smatch_param_set.c src/smatch_param_to_mtag_data.c src/smatch_param_used.c src/smatch_parse_call_math.c src/smatch_ranges.c src/smatch_real_absolute.c src/smatch_returns.c src/smatch_scripts/build_generic_data.sh src/smatch_scripts/gen_dma_funcs.sh src/smatch_scripts/gen_rosenberg_funcs.sh src/smatch_scripts/kchecker src/smatch_scripts/summarize_errs.sh src/smatch_scripts/test_generic.sh src/smatch_scripts/test_kernel.sh src/smatch_slist.c src/smatch_states.c src/smatch_struct_assignment.c src/smatch_type.c src/smatch_type_val.c src/smatch_untracked_param.c src/sort.c src/sparse-llvm-dis src/sparse-llvm.c src/sparse.1 src/sparse.c src/sparse.pc.in src/sparsec src/sparsei src/ssa.c src/ssa.h src/sset.c src/sset.h src/symbol.c src/symbol.h src/target.c src/target.h src/test-dissect.c src/test-inspect.c src/test-lexing.c src/test-linearize.c src/test-parsing.c src/test-unssa.c src/token.h src/tokenize.c src/unssa.c src/utils.c src/utils.h src/validation/Waddress-array.c src/validation/Waddress-function.c src/validation/Waddress-space-all-attr.c src/validation/Waddress-space-from.c src/validation/Waddress-space-strict.c src/validation/Waddress-weak.c src/validation/Waddress.c src/validation/Wcast-to-as.c src/validation/Wexternal-function-has-definition.c src/validation/Wunknown-attribute-def.c src/validation/Wunknown-attribute-yes.c src/validation/abi-integer.c src/validation/address_space.c src/validation/array-implicit-size.c src/validation/as-name.c src/validation/asm-inline.c src/validation/attr-context.c src/validation/backend/arithmetic-ops.c src/validation/backend/call-variadic.c src/validation/backend/cast.c src/validation/backend/compare-with-null.c src/validation/backend/constant-pointer.c src/validation/backend/degenerate-ptr.c src/validation/backend/fn-ref.c src/validation/backend/function-ptr-xtype.c src/validation/backend/function-ptr.c src/validation/backend/label-as-value.c src/validation/backend/load-global.c src/validation/backend/pointer-add.c src/validation/backend/pointer-cmp.c src/validation/backend/pointer-param.c src/validation/backend/pointer-sub.c src/validation/backend/setval.c src/validation/backend/shift-special.c src/validation/backend/store-x2.c src/validation/backend/string-value.c src/validation/backend/sum.c src/validation/backend/switch.c src/validation/backend/symaddr.c src/validation/backend/type-constant.c src/validation/bad-return-type.c src/validation/bad-type-twice0.c src/validation/bad-type-twice1.c src/validation/bad-type-twice2.c src/validation/bitfield-bool-layout.c src/validation/bitfield-kr.c src/validation/bitwise-cast-ptr.c src/validation/bitwise-cast.c src/validation/bool-cast-explicit.c src/validation/bool-cast-implicit.c src/validation/bool-float.c src/validation/bug-bad-type.c src/validation/bug-crash16.c src/validation/bug-expand-union0.c src/validation/bug-expand-union1.c src/validation/bug-rshift-ub.c src/validation/builtin-arith.c src/validation/builtin-bswap-variable.c src/validation/builtin-fp-unop.c src/validation/builtin-overflow.c src/validation/builtin-prototype.c src/validation/c11-alignas.c src/validation/c11-alignof.c src/validation/c11-atomic.c src/validation/c11-noreturn.c src/validation/c11-thread-local.c src/validation/call-inlined.c src/validation/call-variadic.c src/validation/cast-bad-00.c src/validation/cast-bad-01.c src/validation/cast-kinds-check.c src/validation/cast-weirds.c src/validation/char-signed.c src/validation/char-unsigned.c src/validation/check_access-multi.c src/validation/check_access-store.c src/validation/check_byte_count-ice.c src/validation/choose_expr.c src/validation/compound-assign-type.c src/validation/compound-sizes.c src/validation/cond-address-array.c src/validation/cond-address-function.c src/validation/cond-address.c src/validation/cond-err-expand.c src/validation/conditional-type.c src/validation/constant-suffix-64.c src/validation/constexpr-addr-of-static-member.c src/validation/constexpr-addr-of-static.c src/validation/constexpr-binop.c src/validation/constexpr-cast.c src/validation/constexpr-compound-literal.c src/validation/constexpr-conditional.c src/validation/constexpr-init.c src/validation/constexpr-labelref.c src/validation/constexpr-offsetof.c src/validation/constexpr-pointer-arith.c src/validation/constexpr-pointer-cast.c src/validation/constexpr-preop.c src/validation/constexpr-shift.c src/validation/constexpr-string.c src/validation/constexpr-types-compatible-p.c src/validation/context-stmt.c src/validation/crash-select.c src/validation/doc/cdoc.cdoc src/validation/empty-expr.c src/validation/enum+mode.c src/validation/enum-base-type.c src/validation/enum-bitwise-bad.c src/validation/enum-bitwise-mixed.c src/validation/enum-bitwise.c src/validation/enum-bounds.c src/validation/enum-init-constness.c src/validation/enum-invalid.c src/validation/enum-min-size.c src/validation/enum-mismatch.c src/validation/enum-same-type.c src/validation/enum-sign-gcc.c src/validation/enum-typecheck.c src/validation/error-at-eof.c src/validation/eval-typeof-vla.c src/validation/expand/bad-shift.c src/validation/expand/builtin-expect.c src/validation/expand/builtin_fpclassify.c src/validation/expand/builtin_huge_val.c src/validation/expand/builtin_isinf.c src/validation/expand/builtin_isnan.c src/validation/expand/builtin_isnormal.c src/validation/expand/builtin_nan.c src/validation/expand/function-pointer.c src/validation/external-function-has-definition.c src/validation/fdiag-prefix.c src/validation/fp-ops.c src/validation/function-pointer-type.c src/validation/function-redecl2.c src/validation/goto-reserved.c src/validation/implicit-KR-arg-type1.c src/validation/inc-dec-float.c src/validation/incomplete-struct.c src/validation/infinite-loop01.c src/validation/infinite-loop02.c src/validation/infinite-loop03.c src/validation/infinite-loop04.c src/validation/int128.c src/validation/integer-const-expr.c src/validation/kill-load.c src/validation/kill-phi-ttsbb.c src/validation/kill-store.c src/validation/kill-switch.c src/validation/label-redefined.c src/validation/linear/asm-toplevel.c src/validation/linear/bitfield-expand-deref.c src/validation/linear/bitfield-inc.c src/validation/linear/bitfield-init-mask.c src/validation/linear/bitfield-preinc.c src/validation/linear/bitfield-size.c src/validation/linear/bitfield-store.c src/validation/linear/bool-cast-lp32.c src/validation/linear/bool-cast-lp64.c src/validation/linear/bool-cast.c src/validation/linear/builtin_unreachable.c src/validation/linear/call-basic.c src/validation/linear/call-builtin.c src/validation/linear/call-casted-pointer.c src/validation/linear/call-complex-pointer.c src/validation/linear/call-direct.c src/validation/linear/call-indirect.c src/validation/linear/call-inline.c src/validation/linear/cast-constant-to-float.c src/validation/linear/cast-constants.c src/validation/linear/cast-volatile.c src/validation/linear/compound-literal00.c src/validation/linear/compound-literal01.c src/validation/linear/compound-literal02.c src/validation/linear/degen-array.c src/validation/linear/degen-function.c src/validation/linear/degen-log-not.c src/validation/linear/deref-ptr-ptr.c src/validation/linear/fp-vs-ptrcast.c src/validation/linear/fp2i-cast.c src/validation/linear/logical-phi0.c src/validation/linear/logical.c src/validation/linear/missing-return0.c src/validation/linear/missing-return1.c src/validation/linear/missing-return2.c src/validation/linear/missing-return3.c src/validation/linear/missing-return4.c src/validation/linear/missing-return5.c src/validation/linear/non-const-case.c src/validation/linear/phi-order01.c src/validation/linear/phi-order02.c src/validation/linear/phi-order03.c src/validation/linear/phi-order04.c src/validation/linear/range-op.c src/validation/linear/unexamined-base-type.c src/validation/linear/unreachable-label0.c src/validation/loop-linearization.c src/validation/mem2reg/address-used00.c src/validation/mem2reg/alias-distinct.c src/validation/mem2reg/alias-mixed.c src/validation/mem2reg/alias-same.c src/validation/mem2reg/broken-phi02.c src/validation/mem2reg/broken-phi03.c src/validation/mem2reg/cond-expr.c src/validation/mem2reg/cond-expr5.c src/validation/mem2reg/dead-phisrc.c src/validation/mem2reg/global-direct-undef.c src/validation/mem2reg/global-direct.c src/validation/mem2reg/global-loop.c src/validation/mem2reg/global-noalias.c src/validation/mem2reg/global-pointer.c src/validation/mem2reg/if-direct.c src/validation/mem2reg/if-pointer.c src/validation/mem2reg/init-global-array.c src/validation/mem2reg/init-local-array.c src/validation/mem2reg/init-local-union0.c src/validation/mem2reg/init-local-union1.c src/validation/mem2reg/init-local32.c src/validation/mem2reg/init-local64.c src/validation/mem2reg/load-dead.c src/validation/mem2reg/load-deadborn.c src/validation/mem2reg/loop00.c src/validation/mem2reg/loop01-global.c src/validation/mem2reg/loop02-array.c src/validation/mem2reg/loop02-global.c src/validation/mem2reg/loop02-local.c src/validation/mem2reg/loop02-pointer.c src/validation/mem2reg/missing-return.c src/validation/mem2reg/quadra00.c src/validation/mem2reg/quadra01.c src/validation/mem2reg/quadra02.c src/validation/mem2reg/reload-aliasing.c src/validation/mem2reg/short-load.c src/validation/mem2reg/store-deadborn.c src/validation/mem2reg/stray-phisrc.c src/validation/mem2reg/struct.c src/validation/mem2reg/undef00.c src/validation/mem2reg/undef01.c src/validation/mem2reg/unused-var.c src/validation/mem2reg/volatile-store00.c src/validation/memops-volatile.c src/validation/missing-return.c src/validation/multi-input.c src/validation/nested-declarator.c src/validation/nested-declarator2.c src/validation/nocast.c src/validation/noderef.c src/validation/optim/address-used01.c src/validation/optim/and-extend.c src/validation/optim/and-extendx.c src/validation/optim/and-lsr.c src/validation/optim/and-or-bf0.c src/validation/optim/and-or-bf1.c src/validation/optim/and-or-bf2.c src/validation/optim/and-or-bfs.c src/validation/optim/and-or-bfu.c src/validation/optim/and-or-bfx.c src/validation/optim/and-or-constant0.c src/validation/optim/and-or-constant1.c src/validation/optim/and-or-constant2.c src/validation/optim/and-or-crash.c src/validation/optim/and-or-lsr0.c src/validation/optim/and-or-lsr1.c src/validation/optim/and-or-lsr2.c src/validation/optim/and-or-lsrx.c src/validation/optim/and-or-mask.c src/validation/optim/and-or-mask0.c src/validation/optim/and-or-mask1.c src/validation/optim/and-or-mask2.c src/validation/optim/and-or-mask3s.c src/validation/optim/and-or-mask3u.c src/validation/optim/and-or-mask4.c src/validation/optim/and-or-maskx.c src/validation/optim/and-or-shl0.c src/validation/optim/and-or-shl1.c src/validation/optim/and-or-shl2.c src/validation/optim/and-or-shlx.c src/validation/optim/and-or-trunc0.c src/validation/optim/and-or-trunc1.c src/validation/optim/and-or-trunc2.c src/validation/optim/and-or-truncx.c src/validation/optim/and-trunc.c src/validation/optim/bitfield-init-zero.c src/validation/optim/bitfield-size.c src/validation/optim/bitfield-store-load0.c src/validation/optim/bitfield-store-loads.c src/validation/optim/bitfield-store-loadu.c src/validation/optim/bits-not-zero.c src/validation/optim/bool-context-fp.c src/validation/optim/bool-context.c src/validation/optim/bool-eq0.c src/validation/optim/bool-int-bool.c src/validation/optim/bool-ne0.c src/validation/optim/bool-neq0.c src/validation/optim/bool-sext-test.c src/validation/optim/bool-simplify.c src/validation/optim/bool-simplify2.c src/validation/optim/bool-zext-test.c src/validation/optim/call-complex-pointer.c src/validation/optim/call-inlined.c src/validation/optim/canonical-add.c src/validation/optim/canonical-cmp.c src/validation/optim/canonical-fcmp.c src/validation/optim/canonical-mul.c src/validation/optim/cast-kinds.c src/validation/optim/cast-nop.c src/validation/optim/cse-cmp-next.c src/validation/optim/cse-fcmp.c src/validation/optim/cse-setfval.c src/validation/optim/cse-size.c src/validation/optim/dup-cond0.c src/validation/optim/ext-trunc-greater.c src/validation/optim/ext-trunc-same.c src/validation/optim/ext-trunc-smaller.c src/validation/optim/fpcast-constant.c src/validation/optim/inline-return.c src/validation/optim/kill-casts.c src/validation/optim/kill-stores0.c src/validation/optim/kill-stores1.c src/validation/optim/kill-stores2.c src/validation/optim/killed-insn.c src/validation/optim/live-stores0.c src/validation/optim/load-converted.c src/validation/optim/load-dead.c src/validation/optim/load-semi-volatile.c src/validation/optim/lsr-and0.c src/validation/optim/lsr-and1.c src/validation/optim/lsr-asr.c src/validation/optim/lsr-shl0.c src/validation/optim/mask-lsr.c src/validation/optim/mask-out.c src/validation/optim/mask1-setne0.c src/validation/optim/missing-select.c src/validation/optim/muldiv-minus-one.c src/validation/optim/null-phi.c src/validation/optim/or-and-constant1.c src/validation/optim/phi-ret.c src/validation/optim/restrict.c src/validation/optim/select-zero.c src/validation/optim/setcc-mask.c src/validation/optim/setne0-sext.c src/validation/optim/setne0-trunc.c src/validation/optim/setne0-zext.c src/validation/optim/sext-sext.c src/validation/optim/sext.c src/validation/optim/sh-or-and0.c src/validation/optim/sh-or-and1.c src/validation/optim/sh-or-and2.c src/validation/optim/shift-big.c src/validation/optim/shift-shift.c src/validation/optim/shift-zext.c src/validation/optim/shl-and0.c src/validation/optim/shl-and1.c src/validation/optim/shl-lsr0.c src/validation/optim/store-dominated.c src/validation/optim/trivial-phis.c src/validation/optim/trunc-mask-zext.c src/validation/optim/trunc-or-shl.c src/validation/optim/trunc-seteq0.c src/validation/optim/trunc-setne0.c src/validation/optim/trunc-trunc.c src/validation/optim/volatile-bitfield.c src/validation/optim/volatile-side-effect.c src/validation/optim/volatile-store00.c src/validation/optim/zext-and.c src/validation/optim/zext-and1.c src/validation/optim/zext-asr.c src/validation/optim/zext-sext.c src/validation/optim/zext-zext.c src/validation/option-parsing-00.c src/validation/option-parsing-01.c src/validation/overflow.c src/validation/preprocessor/base-file.c src/validation/preprocessor/base-file.h src/validation/preprocessor/builtin.c src/validation/preprocessor/cli-D-arg.c src/validation/preprocessor/cli-D-space.c src/validation/preprocessor/dump-macros-empty.c src/validation/preprocessor/dump-macros-multi.c src/validation/preprocessor/dump-macros-only.c src/validation/preprocessor/dump-macros.c src/validation/preprocessor/dynamic.c src/validation/preprocessor/extra-token.c src/validation/preprocessor/has-attribute.c src/validation/preprocessor/has-builtin.c src/validation/preprocessor/ident-pragma.c src/validation/preprocessor/ident.c src/validation/preprocessor/include-level.c src/validation/preprocessor/include-level.h src/validation/preprocessor/missing-delim.c src/validation/preprocessor/phase2-backslash.c src/validation/preprocessor/phase3-comments.c src/validation/preprocessor/predef-char-bit.c src/validation/preprocessor/predef-llp64.c src/validation/preprocessor/predef-lp32.c src/validation/preprocessor/predef-lp64.c src/validation/preprocessor/predef-max.c src/validation/preprocessor/predef-sizeof.c src/validation/preprocessor/predef-unsigned.c src/validation/preprocessor/predef.c src/validation/ptr-inherit.c src/validation/ptr-sub-blows.c src/validation/range-syntax.c src/validation/repeat.h src/validation/reserved.c src/validation/restrict.c src/validation/self-quote-args.c src/validation/shift-negative.c src/validation/shift-undef-long.c src/validation/shift-undef.c src/validation/sizeof-bool.c src/validation/sizeof-builtin.c src/validation/sizeof-function.c src/validation/sizeof-incomplete-type.c src/validation/sm_compare18.c src/validation/storage-struct-member.c src/validation/struct-as.c src/validation/switch-long.c src/validation/test-be.c src/validation/test-suite src/validation/testsuite-selfcheck1.c src/validation/testsuite-selfcheck2.c src/validation/testsuite-selfcheck3.c src/validation/type-compare.c src/validation/typedef-redef-c89.c src/validation/typedef-redef.c src/validation/typedef_shadow.c src/validation/typediff-arraysize.c src/validation/typediff-enum.c src/validation/typeof-bad.c src/validation/typeof-mods.c src/validation/var-undef-partial.c src/validation/vla-sizeof-ice.c src/validation/vla-sizeof.c src/validation/vla-sizeof0.c src/validation/vla-sizeof1.c src/validation/vla-sizeof2.c src/validation/vla-sizeof3.c src/validation/vla-sizeof4.c
a0ee5446	25-Oct-2019	Patrick Mooney	11871 smatch should not hammer linux procfs path Reviewed by: John Levon <john.levon@joyent.com> Approved by: Dan McDonald <danmcd@joyent.com> Makefile src/Makefile src/smatch_mem_tracker.c
44bf619d	15-Aug-2019	John Levon	10703 smatch unreachable code checking needs reworking Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com> Approved by: Dan McDonald <danmcd@joyen 10703 smatch unreachable code checking needs reworking Reviewed by: Toomas Soome <tsoome@me.com> Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com> Approved by: Dan McDonald <danmcd@joyent.com> show more ... Makefile src/Makefile src/check_unreachable.c src/parse.c src/smatch_data/illumos_kernel.no_return_funcs src/smatch_data/illumos_user.no_return_funcs
582237e6	13-Aug-2019	Peter Tribble	11548 11506 breaks the SPARC build Reviewed by: Igor Kozhukhov <igor@dilos.org> Reviewed by: John Levon <john.levon@joyent.com> Approved by: Robert Mustacchi <rm@joyent.com> Makefile
efe51d0c	24-Jul-2019	John Levon	11506 smatch resync Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com> Reviewed by: Toomas Soome <tsoome@me.com> Approved by: Robert Mustacchi <rm@joyent.com> Makefile src/Documentation/sparse-README.txt src/Makefile src/check_64bit_shift.c src/check_buffer_too_small_for_struct.c src/check_cmn_err.c src/check_debug.c src/check_debug.h src/check_dma_mapping_error.c src/check_err_ptr_deref.c src/check_free_strict.c src/check_held_dev.c src/check_kernel.c src/check_kernel_printf.c src/check_list.h src/check_locking.c src/check_macro_side_effects.c src/check_missing_break.c src/check_no_return.c src/check_nospec.c src/check_off_by_one_relative.c src/check_precedence.c src/check_return_cast.c src/check_rosenberg.c src/check_shift_to_zero.c src/check_snprintf.c src/check_spectre.c src/check_spectre_second_half.c src/check_string_len.c src/check_syscall_arg_type.c src/check_testing_index_after_use.c src/check_uninitialized.c src/check_unwind.c src/check_wine_WtoA.c src/check_zero_to_err_ptr.c src/evaluate.c src/expression.h src/graph.c src/smatch.c src/smatch.h src/smatch_about_fn_ptr_arg.c src/smatch_address.c src/smatch_array_values.c src/smatch_assigned_expr.c src/smatch_bits.c src/smatch_buf_comparison.c src/smatch_buf_size.c src/smatch_capped.c src/smatch_comparison.c src/smatch_conditions.c src/smatch_constraints.c src/smatch_constraints_required.c src/smatch_container_of.c src/smatch_data/db/apply_return_fixes.sh src/smatch_data/db/create_db.sh src/smatch_data/db/delete_too_common_fn_ptr.sh src/smatch_data/db/fixup_kernel.sh src/smatch_data/db/function_ptr.schema src/smatch_data/db/init_constraints.pl src/smatch_data/db/init_constraints_required.pl src/smatch_data/db/kernel.return_fixes src/smatch_data/db/smdb.py src/smatch_data/db/vim_smdb src/smatch_data/illumos_kernel.skipped_functions src/smatch_data/illumos_user.skipped_functions src/smatch_data/kernel.allocation_funcs_gfp.remove src/smatch_data/kernel.ignore_casted_params src/smatch_data/kernel.ignore_side_effects src/smatch_data/kernel.ignore_uninitialized_param src/smatch_data/kernel.ignored_warnings src/smatch_data/kernel.no_inline_functions src/smatch_data/kernel.no_return_funcs.add src/smatch_data/kernel.silenced_functions src/smatch_data_source.c src/smatch_db.c src/smatch_equiv.c src/smatch_estate.c src/smatch_expressions.c src/smatch_extra.c src/smatch_extra.h src/smatch_flow.c src/smatch_function_hooks.c src/smatch_function_ptrs.c src/smatch_helper.c src/smatch_ignore.c src/smatch_imaginary_absolute.c src/smatch_implied.c src/smatch_integer_overflow.c src/smatch_kernel_user_data.c src/smatch_links.c src/smatch_local_values.c src/smatch_math.c src/smatch_mem_tracker.c src/smatch_modification_hooks.c src/smatch_mtag.c src/smatch_mtag_data.c src/smatch_mtag_map.c src/smatch_nul_terminator.c src/smatch_param_compare_limit.c src/smatch_param_filter.c src/smatch_param_limit.c src/smatch_param_set.c src/smatch_param_to_mtag_data.c src/smatch_param_used.c src/smatch_parse_call_math.c src/smatch_passes_array_size.c src/smatch_ranges.c src/smatch_real_absolute.c src/smatch_return_to_param.c src/smatch_returns.c src/smatch_scripts/build_kernel_data.sh src/smatch_scripts/kpatch.sh src/smatch_scripts/test_kernel.sh src/smatch_slist.c src/smatch_slist.h src/smatch_statement_count.c src/smatch_states.c src/smatch_stored_conditions.c src/smatch_string_list.c src/smatch_strlen.c src/smatch_struct_assignment.c src/smatch_sval.c src/smatch_type.c src/smatch_type_val.c src/smatch_untracked_param.c src/validation/sm_bitwise1.c src/validation/sm_equiv1.c src/validation/sm_implied.c src/validation/sm_implied10.c src/validation/sm_implied11.c src/validation/sm_implied12.c src/validation/sm_implied2.c src/validation/sm_implied5.c src/validation/sm_memory.c src/validation/sm_null_deref.c src/validation/sm_select5.c
7ae7577c	10-Jul-2019	John Levon	11462 enable smatch by default Reviewed by: Robert Mustacchi <rm@joyent.com> Approved by: Dan McDonald <danmcd@joyent.com> Makefile src/smatch.c src/smatch.h src/smatch_implied.c
c653bb47	09-Jan-2019	John Levon	10197 build smatch in parallel Reviewed by: Andy Fiddaman <andy@omniosce.org> Approved by: Robert Mustacchi <rm@joyent.com> Makefile
1f5207b7	15-Dec-2018	John Levon	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> Makefile src/Documentation/data-structures.txt src/Documentation/project-ideas.md src/Documentation/smatch.txt src/Documentation/sparse-README.txt src/Documentation/sparse.txt src/Documentation/submitting-patches.md src/Documentation/test-suite src/FAQ src/GPL-2 src/LICENSE src/Makefile src/README src/allocate.c src/allocate.h src/ast-inspect.c src/ast-inspect.h src/ast-model.c src/ast-model.h src/ast-view.c src/ast-view.h src/avl.c src/avl.h src/bitmap.h src/builtin.c src/c2xml.c src/cgcc src/cgcc.1 src/char.c src/char.h src/check_64bit_shift.c src/check_access_ok_math.c src/check_all_func_returns.c src/check_allocating_enough_data.c src/check_allocation_funcs.c src/check_array_condition.c src/check_assign_vs_compare.c src/check_atomic_inc_dec.c src/check_bit_shift.c src/check_bogus_irqrestore.c src/check_bogus_loop.c src/check_buffer_too_small_for_struct.c src/check_call_tree.c src/check_capable.c src/check_cast_assign.c src/check_check_deref.c src/check_container_of.c src/check_continue_vs_break.c src/check_debug.c src/check_debug.h src/check_deref.c src/check_deref_check.c src/check_dereferences_param.c src/check_dev_queue_xmit.c src/check_dma_mapping_error.c src/check_dma_on_stack.c src/check_double_checking.c src/check_err_ptr.c src/check_err_ptr_deref.c src/check_expects_err_ptr.c src/check_free.c src/check_free_strict.c src/check_freeing_devm.c src/check_freeing_null.c src/check_frees_argument.c src/check_frees_param.c src/check_frees_param_strict.c src/check_get_user_overflow.c src/check_gfp_dma.c src/check_held_dev.c src/check_implicit_dependencies.c src/check_implicit_dependencies_tester.c src/check_impossible_mask.c src/check_indenting.c src/check_index_overflow.c src/check_info_leak.c src/check_input_free_device.c src/check_kernel.c src/check_kernel_printf.c src/check_kmalloc_to_bugon.c src/check_kmalloc_wrong_size.c src/check_kunmap.c src/check_leaks.c src/check_list.h src/check_locking.c src/check_logical_instead_of_bitwise.c src/check_macro_side_effects.c src/check_macros.c src/check_memcpy_overflow.c src/check_memory.c src/check_memset.c src/check_min_t.c src/check_missing_break.c src/check_mod_timer.c src/check_no_effect.c src/check_no_if_block.c src/check_no_return.c src/check_nospec.c src/check_off_by_one_relative.c src/check_or_vs_and.c src/check_param_mapper.c src/check_passes_sizeof.c src/check_platform_device_put.c src/check_pointer_math.c src/check_precedence.c src/check_proc_create.c src/check_puts_argument.c src/check_readl_infinite_loops.c src/check_release_resource.c src/check_resource_size.c src/check_return.c src/check_return_cast.c src/check_return_efault.c src/check_return_enomem.c src/check_return_negative_var.c src/check_rosenberg.c src/check_select.c src/check_shift_to_zero.c src/check_signed.c src/check_signed_integer_overflow_check.c src/check_sizeof.c src/check_snprintf.c src/check_snprintf_overflow.c src/check_spectre.c src/check_sprintf_overflow.c src/check_stack.c src/check_strcpy_overflow.c src/check_string_len.c src/check_struct_type.c src/check_syscall_arg_type.c src/check_template.c src/check_test_bit.c src/check_testing_index_after_use.c src/check_trinity_generator.c src/check_type.c src/check_uninitialized.c src/check_unreachable.c src/check_unused_ret.c src/check_unwind.c src/check_wait_for_common.c src/check_wine.c src/check_wine_WtoA.c src/check_wine_filehandles.c src/check_wrong_size_arg.c src/check_zero_to_err_ptr.c src/compat-bsd.c src/compat-cygwin.c src/compat-linux.c src/compat-mingw.c src/compat-solaris.c src/compat.h src/compat/bswap.h src/compat/mmap-blob.c src/compat/strtold.c src/compile-i386.c src/compile.c src/compile.h src/cse.c src/ctags.c src/cwchash/Makefile src/cwchash/hashtable.c src/cwchash/hashtable.h src/cwchash/hashtable_itr.c src/cwchash/hashtable_itr.h src/cwchash/hashtable_private.h src/cwchash/hashtable_utility.c src/cwchash/hashtable_utility.h src/cwchash/tester.c src/dissect.c src/dissect.h src/evaluate.c src/example.c src/expand.c src/expand.h src/expression.c src/expression.h src/flow.c src/flow.h src/gcc-attr-list.h src/gdbhelpers src/graph.c src/gvpr/return-paths src/gvpr/subg-fwd src/gvpr/subg-rev src/ident-list.h src/inline.c src/lib.c src/lib.h src/linearize.c src/linearize.h src/liveness.c src/macro_table.c src/memops.c src/obfuscate.c src/parse.c src/parse.dtd src/parse.h src/pre-process.c src/ptrlist.c src/ptrlist.h src/scope.c src/scope.h src/show-parse.c src/simplify.c src/smatch.c src/smatch.h src/smatch_about_fn_ptr_arg.c src/smatch_address.c src/smatch_annotate.c src/smatch_array_values.c src/smatch_assigned_expr.c src/smatch_auto_copy.c src/smatch_buf_comparison.c src/smatch_buf_size.c src/smatch_capped.c src/smatch_common_functions.c src/smatch_comparison.c src/smatch_conditions.c src/smatch_constraints.c src/smatch_constraints_required.c src/smatch_container_of.c src/smatch_data/db/build_early_index.sh src/smatch_data/db/build_late_index.sh src/smatch_data/db/call_implies.schema src/smatch_data/db/caller_info.schema src/smatch_data/db/clear_user_data.sh src/smatch_data/db/common_caller_info.schema src/smatch_data/db/constraints.schema src/smatch_data/db/constraints_required.schema src/smatch_data/db/copy_required_constraints.pl src/smatch_data/db/create_db.sh src/smatch_data/db/data_info.schema src/smatch_data/db/db.schema src/smatch_data/db/fill_db_caller_info.pl src/smatch_data/db/fill_db_sql.pl src/smatch_data/db/fill_db_type_size.pl src/smatch_data/db/fill_db_type_value.pl src/smatch_data/db/fixup_all.sh src/smatch_data/db/fixup_kernel.sh src/smatch_data/db/fixup_smatch_generic.sh src/smatch_data/db/fn_data_link.schema src/smatch_data/db/fn_ptr_data_link.schema src/smatch_data/db/function_ptr.schema src/smatch_data/db/function_type.schema src/smatch_data/db/function_type_info.schema src/smatch_data/db/function_type_size.schema src/smatch_data/db/function_type_value.schema src/smatch_data/db/init_constraints.pl src/smatch_data/db/init_constraints_required.pl src/smatch_data/db/kernel.constraints src/smatch_data/db/kernel.constraints_required src/smatch_data/db/kernel.return_fixes src/smatch_data/db/local_values.schema src/smatch_data/db/mark_function_ptrs_searchable.pl src/smatch_data/db/mtag_about.schema src/smatch_data/db/mtag_alias.schema src/smatch_data/db/mtag_data.schema src/smatch_data/db/mtag_map.schema src/smatch_data/db/param_map.schema src/smatch_data/db/parameter_name.schema src/smatch_data/db/reload_partial.sh src/smatch_data/db/remove_mixed_up_pointer_params.pl src/smatch_data/db/return_implies.schema src/smatch_data/db/return_states.schema src/smatch_data/db/sink_info.schema src/smatch_data/db/smdb.py src/smatch_data/db/type_info.schema src/smatch_data/db/type_size.schema src/smatch_data/db/type_value.schema src/smatch_data/db/vim_smdb src/smatch_data/illumos_kernel.no_return_funcs src/smatch_data/illumos_kernel.skipped_functions src/smatch_data/illumos_user.no_return_funcs src/smatch_data/illumos_user.skipped_functions src/smatch_data/kernel.allocation_funcs src/smatch_data/kernel.allocation_funcs.remove src/smatch_data/kernel.allocation_funcs_gfp src/smatch_data/kernel.allocation_funcs_gfp.remove src/smatch_data/kernel.bit_shifters src/smatch_data/kernel.bit_shifters.remove src/smatch_data/kernel.check_string_condition.ignore src/smatch_data/kernel.clears_argument src/smatch_data/kernel.common_functions src/smatch_data/kernel.dev_queue_xmit src/smatch_data/kernel.dma_funcs src/smatch_data/kernel.expects_err_ptr src/smatch_data/kernel.frees_argument src/smatch_data/kernel.frees_argument.remove src/smatch_data/kernel.gfp_flags src/smatch_data/kernel.ignore_macro_indenting src/smatch_data/kernel.ignore_memcpy_struct_overflows src/smatch_data/kernel.ignore_side_effects src/smatch_data/kernel.ignore_uninitialized_param src/smatch_data/kernel.ignored_macros src/smatch_data/kernel.implicit_dependencies.no_structs src/smatch_data/kernel.implicit_dependencies.v1 src/smatch_data/kernel.ioctls src/smatch_data/kernel.macro_takes_sizeof_argument src/smatch_data/kernel.must_check_funcs src/smatch_data/kernel.no_inline_functions src/smatch_data/kernel.no_return_funcs src/smatch_data/kernel.no_return_funcs.remove src/smatch_data/kernel.parameter_implications.add src/smatch_data/kernel.puts_argument src/smatch_data/kernel.returns_err_ptr src/smatch_data/kernel.returns_err_ptr.remove src/smatch_data/kernel.returns_held_funcs src/smatch_data/kernel.rosenberg_funcs src/smatch_data/kernel.silenced_functions src/smatch_data/kernel.sizeof_param src/smatch_data/kernel.sizeof_param.remove src/smatch_data/kernel.unconstant_macros src/smatch_data/kernel.unreachable.ignore src/smatch_data/kernel.unreachable.turn_off src/smatch_data/kernel.unwind_functions src/smatch_data/no_return_funcs src/smatch_data/no_return_funcs.remove src/smatch_data/smatch.common_functions src/smatch_data/smatch_generic.common_functions src/smatch_data/wine.bit_shifters src/smatch_data/wine.ignored_macros src/smatch_data/wine.no_return_funcs src/smatch_data/wine.no_return_funcs.add src/smatch_data/wine.no_return_funcs.remove src/smatch_data/wine.sizeof_param src/smatch_data_source.c src/smatch_db.c src/smatch_equiv.c src/smatch_estate.c src/smatch_expression_stacks.c src/smatch_expression_stacks.h src/smatch_expressions.c src/smatch_extra.c src/smatch_extra.h src/smatch_files.c src/smatch_flow.c src/smatch_fn_arg_link.c src/smatch_function_hashtable.h src/smatch_function_hooks.c src/smatch_function_info.c src/smatch_function_ptrs.c src/smatch_helper.c src/smatch_hooks.c src/smatch_ignore.c src/smatch_imaginary_absolute.c src/smatch_implied.c src/smatch_impossible.c src/smatch_kernel_user_data.c src/smatch_links.c src/smatch_local_values.c src/smatch_math.c src/smatch_mem_tracker.c src/smatch_modification_hooks.c src/smatch_mtag.c src/smatch_mtag_data.c src/smatch_mtag_map.c src/smatch_nul_terminator.c src/smatch_param_cleared.c src/smatch_param_compare_limit.c src/smatch_param_filter.c src/smatch_param_limit.c src/smatch_param_set.c src/smatch_param_to_mtag_data.c src/smatch_param_used.c src/smatch_parameter_names.c src/smatch_parse_call_math.c src/smatch_passes_array_size.c src/smatch_project.c src/smatch_ranges.c src/smatch_real_absolute.c src/smatch_recurse.c src/smatch_return_to_param.c src/smatch_returns.c src/smatch_scope.c src/smatch_scripts/add_gfp_to_allocations.sh src/smatch_scripts/build_generic_data.sh src/smatch_scripts/build_kernel_data.sh src/smatch_scripts/call_tree.pl src/smatch_scripts/filter_kernel_deref_check.sh src/smatch_scripts/find_expanded_holes.pl src/smatch_scripts/find_null_params.sh src/smatch_scripts/follow_params.pl src/smatch_scripts/gen_allocation_list.sh src/smatch_scripts/gen_bit_shifters.sh src/smatch_scripts/gen_dma_funcs.sh src/smatch_scripts/gen_err_ptr_list.sh src/smatch_scripts/gen_expects_err_ptr.sh src/smatch_scripts/gen_frees_list.sh src/smatch_scripts/gen_gfp_flags.sh src/smatch_scripts/gen_implicit_dependencies.sh src/smatch_scripts/gen_no_return_funcs.sh src/smatch_scripts/gen_puts_list.sh src/smatch_scripts/gen_returns_held.sh src/smatch_scripts/gen_rosenberg_funcs.sh src/smatch_scripts/gen_sizeof_param.sh src/smatch_scripts/gen_trinity.sh src/smatch_scripts/gen_unwind_functions.sh src/smatch_scripts/generisize.pl src/smatch_scripts/implicit_dependencies/README src/smatch_scripts/implicit_dependencies/constants.py src/smatch_scripts/implicit_dependencies/main.py src/smatch_scripts/implicit_dependencies/parser.py src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies.json src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies.pretty src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose.json src/smatch_scripts/implicit_dependencies/with_structs/implicit_dependencies_verbose.pretty src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies.json src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies.pretty src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies_verbose.json src/smatch_scripts/implicit_dependencies/without_structs/implicit_dependencies_verbose.pretty src/smatch_scripts/kchecker src/smatch_scripts/kpatch.sh src/smatch_scripts/new_bugs.sh src/smatch_scripts/show_errs.sh src/smatch_scripts/show_ifs.sh src/smatch_scripts/show_unreachable.sh src/smatch_scripts/strip_whitespace.pl src/smatch_scripts/summarize_errs.sh src/smatch_scripts/test_generic.sh src/smatch_scripts/test_kernel.sh src/smatch_scripts/trace_params.pl src/smatch_scripts/unlocked_paths.pl src/smatch_scripts/whitespace_only.sh src/smatch_scripts/wine_checker.sh src/smatch_slist.c src/smatch_slist.h src/smatch_start_states.c src/smatch_statement_count.c src/smatch_states.c src/smatch_stored_conditions.c src/smatch_string_list.c src/smatch_strings.c src/smatch_strlen.c src/smatch_struct_assignment.c src/smatch_sval.c src/smatch_tracker.c src/smatch_type.c src/smatch_type_links.c src/smatch_type_val.c src/smatch_unknown_value.c src/smatch_untracked_param.c src/smatch_var_sym.c src/sort.c src/sparse-llvm.c src/sparse.1 src/sparse.c src/sparse.pc.in src/sparsec src/sparsei src/stats.c src/storage.c src/storage.h src/symbol.c src/symbol.h src/target.c src/target.h src/test-dissect.c src/test-inspect.c src/test-lexing.c src/test-linearize.c src/test-parsing.c src/test-sort.c src/test-unssa.c src/token.h src/token_store.c src/tokenize.c src/unssa.c src/validation/.gitignore src/validation/Woverride-init-def.c src/validation/Woverride-init-no.c src/validation/Woverride-init-yes.c src/validation/Wunknown-attribute-def.c src/validation/Wunknown-attribute-no.c src/validation/Wunknown-attribute-yes.c src/validation/__func__.c src/validation/abstract-array-declarator-static.c src/validation/address_space.c src/validation/alias-distinct.c src/validation/alias-mixed.c src/validation/alias-same.c src/validation/alloc-align.c src/validation/alternate-keywords.c src/validation/anon-union.c src/validation/asm-empty-clobber.c src/validation/asm-goto-lables.c src/validation/asm-toplevel.c src/validation/attr-inline.c src/validation/attr-no_sanitize_address.c src/validation/attr-noclone.c src/validation/attr-optimize.c src/validation/attr-warning.c src/validation/attr_aligned.c src/validation/attr_in_parameter.c src/validation/attr_vector_size.c src/validation/backend/arithmetic-ops.c src/validation/backend/array.c src/validation/backend/bitwise-ops.c src/validation/backend/bool-test.c src/validation/backend/cast.c src/validation/backend/cmp-ops.c src/validation/backend/extern.c src/validation/backend/function-ptr.c src/validation/backend/hello.c src/validation/backend/int-cond.c src/validation/backend/load-type.c src/validation/backend/logical-ops.c src/validation/backend/loop.c src/validation/backend/loop2.c src/validation/backend/ptrcast.c src/validation/backend/store-type.c src/validation/backend/struct-access.c src/validation/backend/struct.c src/validation/backend/sum.c src/validation/backend/union.c src/validation/backend/void-return-type.c src/validation/bad-array-designated-initializer.c src/validation/bad-assignment.c src/validation/bad-cast.c src/validation/bad-ternary-cond.c src/validation/bad-typeof.c src/validation/badtype1.c src/validation/badtype2.c src/validation/badtype3.c src/validation/badtype4.c src/validation/badtype5.c src/validation/binary-constant.c src/validation/bitfield-size.c src/validation/bitfields.c src/validation/bitwise-cast.c src/validation/bool-array.c src/validation/bool-cast-bad.c src/validation/bool-cast-explicit.c src/validation/bool-cast-implicit.c src/validation/bool-cast-restricted.c src/validation/bswap-constant-folding.c src/validation/bug_inline_switch.c src/validation/build_smatch_db.sh src/validation/builtin-args-checking.c src/validation/builtin-bswap-constant.c src/validation/builtin-bswap-variable.c src/validation/builtin_atomic.c src/validation/builtin_bswap.c src/validation/builtin_inf.c src/validation/builtin_safe1.c src/validation/builtin_unreachable.c src/validation/builtin_va_arg_pack.c src/validation/c11-alignas.c src/validation/c11-alignof.c src/validation/c11-noreturn.c src/validation/c11-stdc-version.c src/validation/c11-thread-local.c src/validation/c99-for-loop-decl.c src/validation/c99-for-loop.c src/validation/calling-convention-attributes.c src/validation/cast-constant-to-float.c src/validation/cast-constants.c src/validation/cast-kinds.c src/validation/check_byte_count-ice.c src/validation/choose_expr.c src/validation/comma.c src/validation/compare-null-to-int.c src/validation/compound-assign-type.c src/validation/cond-address-array.c src/validation/cond-address-function.c src/validation/cond-address.c src/validation/cond-err-expand.c src/validation/cond_expr.c src/validation/cond_expr2.c src/validation/cond_expr3.c src/validation/conditional-type.c src/validation/constant-suffix-32.c src/validation/constant-suffix-64.c src/validation/constexpr-addr-of-static-member.c src/validation/constexpr-addr-of-static.c src/validation/constexpr-binop.c src/validation/constexpr-cast.c src/validation/constexpr-compound-literal.c src/validation/constexpr-conditional.c src/validation/constexpr-init.c src/validation/constexpr-labelref.c src/validation/constexpr-offsetof.c src/validation/constexpr-pointer-arith.c src/validation/constexpr-pointer-cast.c src/validation/constexpr-preop.c src/validation/constexpr-pure-builtin.c src/validation/constexpr-string.c src/validation/constexpr-types-compatible-p.c src/validation/context.c src/validation/crash-add-doms.c src/validation/crash-bb_target.c src/validation/crash-ep-active.c src/validation/crash-ptrlist.c src/validation/crash-rewrite-branch.c src/validation/crazy02-not-so.c src/validation/crazy03.c src/validation/declaration-after-statement-ansi.c src/validation/declaration-after-statement-c89.c src/validation/declaration-after-statement-c99.c src/validation/declaration-after-statement-default.c src/validation/definitions.c src/validation/designated-init.c src/validation/discarded-label-statement.c src/validation/div.c src/validation/double-semicolon.c src/validation/dubious-bitwise-with-not.c src/validation/empty-file src/validation/endian-big.c src/validation/endian-little.c src/validation/enum-common.c src/validation/enum-from-int.c src/validation/enum-mismatch.c src/validation/enum-to-int.c src/validation/enum_scope.c src/validation/escapes.c src/validation/extern-array.c src/validation/extern-inline.c src/validation/external-function-has-definition.c src/validation/field-overlap.c src/validation/field-override.c src/validation/fored_arg.c src/validation/foul-bitwise.c src/validation/fp-vs-ptrcast.c src/validation/function-pointer-inheritance.c src/validation/function-redecl.c src/validation/goto-label.c src/validation/identifier_list.c src/validation/implicit-KR-arg-type0.c src/validation/implicit-ret-type.c src/validation/implicit-type.c src/validation/include-eval.c src/validation/include-eval.inc src/validation/infinite-loop0.c src/validation/infinite-loop02.c src/validation/infinite-loop03.c src/validation/init-char-array.c src/validation/init-char-array1.c src/validation/init_cstring.c src/validation/initializer-entry-defined-twice.c src/validation/inline_compound_literals.c src/validation/int128.c src/validation/integer-promotions.c src/validation/ioc-typecheck.c src/validation/kill-casts.c src/validation/kill-computedgoto.c src/validation/kill-cse.c src/validation/kill-insert-branch.c src/validation/kill-load.c src/validation/kill-phi-node.c src/validation/kill-phi-ttsbb.c src/validation/kill-phi-ttsbb2.c src/validation/kill-phisrc.c src/validation/kill-pure-call.c src/validation/kill-replaced-insn.c src/validation/kill-rewritten-load.c src/validation/kill-select.c src/validation/kill-slice.c src/validation/kill-store.c src/validation/kill-unreachable-phi.c src/validation/label-asm.c src/validation/label-attr.c src/validation/label-expr.c src/validation/label-scope.c src/validation/linear/bitfield-init-mask.c src/validation/linear/bitfield-init-zero.c src/validation/linear/missing-insn-size.c src/validation/linear/struct-init-full.c src/validation/linear/struct-init-partial.c src/validation/local-label.c src/validation/logical.c src/validation/loop-linearization.c src/validation/member_of_typeof.c src/validation/memops-volatile.c src/validation/missing-ident.c src/validation/multi_typedef.c src/validation/nested-declarator.c src/validation/nested-declarator2.c src/validation/nocast.c src/validation/noderef.c src/validation/non-pointer-null.c src/validation/old-initializer-nowarn.c src/validation/old-initializer.c src/validation/old-style-definition0.c src/validation/old-style-definition1.c src/validation/optim/binops-same-args.c src/validation/optim/bool-context.c src/validation/optim/bool-same-args.c src/validation/optim/bool-simplify.c src/validation/optim/cse-commutativity.c src/validation/optim/cse-dual-compare.c src/validation/optim/double-unop.c src/validation/optim/fpcast-nop.c src/validation/optim/muldiv-by-one.c src/validation/optim/muldiv-by-zero.c src/validation/optim/muldiv-minus-one.c src/validation/optim/setcc-setcc.c src/validation/optim/setcc-seteq.c src/validation/optim/setcc-setne.c src/validation/optim/void-if-convert.c src/validation/outer-scope.c src/validation/phase2/backslash src/validation/phase3/comments src/validation/pragma-once.c src/validation/preprocessor/counter1.c src/validation/preprocessor/counter2.c src/validation/preprocessor/counter2.h src/validation/preprocessor/counter3.c src/validation/preprocessor/dump-macros-empty.c src/validation/preprocessor/dump-macros-multi.c src/validation/preprocessor/dump-macros.c src/validation/preprocessor/early-escape.c src/validation/preprocessor/predef-char-bit.c src/validation/preprocessor/predef-max.c src/validation/preprocessor/predef-sizeof.c src/validation/preprocessor/preprocessor1.c src/validation/preprocessor/preprocessor10.c src/validation/preprocessor/preprocessor11.c src/validation/preprocessor/preprocessor12.c src/validation/preprocessor/preprocessor13.c src/validation/preprocessor/preprocessor14.c src/validation/preprocessor/preprocessor15.c src/validation/preprocessor/preprocessor16.c src/validation/preprocessor/preprocessor17.c src/validation/preprocessor/preprocessor18.c src/validation/preprocessor/preprocessor19.c src/validation/preprocessor/preprocessor2.c src/validation/preprocessor/preprocessor20.c src/validation/preprocessor/preprocessor20.h src/validation/preprocessor/preprocessor21.c src/validation/preprocessor/preprocessor22.c src/validation/preprocessor/preprocessor23.c src/validation/preprocessor/preprocessor3.c src/validation/preprocessor/preprocessor4.c src/validation/preprocessor/preprocessor5.c src/validation/preprocessor/preprocessor6.c src/validation/preprocessor/preprocessor7.c src/validation/preprocessor/preprocessor8.c src/validation/preprocessor/preprocessor9.c src/validation/preprocessor/stringify.c src/validation/preprocessor/wide.c src/validation/prototype.c src/validation/ptr-inherit.c src/validation/pure-function.c src/validation/reserved.c src/validation/restrict-array.c src/validation/restricted-typeof.c src/validation/sizeof-bool.c src/validation/sizeof-compound-postfix.c src/validation/sizeof-void.c src/validation/sm_WtoA.c src/validation/sm_absolute1.c src/validation/sm_absolute2.c src/validation/sm_array_overflow.c src/validation/sm_array_overflow2.c src/validation/sm_array_overflow3.c src/validation/sm_array_overflow4.c src/validation/sm_array_overflow5.c src/validation/sm_bitwise1.c src/validation/sm_bitwise2.c src/validation/sm_buf_size1.c src/validation/sm_buf_size2.c src/validation/sm_buf_size3.c src/validation/sm_buf_size4.c src/validation/sm_buf_size5.c src/validation/sm_buf_size6.c src/validation/sm_buf_size7.c src/validation/sm_buf_size8.c src/validation/sm_casts.c src/validation/sm_casts2.c src/validation/sm_casts3.c src/validation/sm_casts4.c src/validation/sm_casts5.c src/validation/sm_casts6.c src/validation/sm_casts7.c src/validation/sm_check_kunmap.c src/validation/sm_chunk1.c src/validation/sm_chunk2.c src/validation/sm_compare.c src/validation/sm_compare10.c src/validation/sm_compare11.c src/validation/sm_compare12.c src/validation/sm_compare13.c src/validation/sm_compare14.c src/validation/sm_compare15.c src/validation/sm_compare16.c src/validation/sm_compare17.c src/validation/sm_compare2.c src/validation/sm_compare3.c src/validation/sm_compare4.c src/validation/sm_compare5.c src/validation/sm_compare6.c src/validation/sm_compare7.c src/validation/sm_compare8.c src/validation/sm_compare9.c src/validation/sm_compound_condition.c src/validation/sm_compound_conditions2.c src/validation/sm_compound_conditions3.c src/validation/sm_deref_check_deref.c src/validation/sm_dev_hold.c src/validation/sm_double_free1.c src/validation/sm_double_free2.c src/validation/sm_efault.c src/validation/sm_equiv1.c src/validation/sm_equiv2.c src/validation/sm_equiv3.c src/validation/sm_equiv4.c src/validation/sm_err_ptr.c src/validation/sm_fake_assignment.c src/validation/sm_get_user1.c src/validation/sm_implied.c src/validation/sm_implied10.c src/validation/sm_implied11.c src/validation/sm_implied12.c src/validation/sm_implied13.c src/validation/sm_implied14.c src/validation/sm_implied15.c src/validation/sm_implied16.c src/validation/sm_implied17.c src/validation/sm_implied18.c src/validation/sm_implied19.c src/validation/sm_implied2.c src/validation/sm_implied3.c src/validation/sm_implied4.c src/validation/sm_implied5.c src/validation/sm_implied6.c src/validation/sm_implied7.c src/validation/sm_implied8.c src/validation/sm_implied9.c src/validation/sm_impossible1.c src/validation/sm_impossible2.c src/validation/sm_impossible3.c src/validation/sm_indirection1.c src/validation/sm_indirection2.c src/validation/sm_initializer.c src/validation/sm_inline1.c src/validation/sm_inline2.c src/validation/sm_inline3.c src/validation/sm_locking.c src/validation/sm_locking2.c src/validation/sm_locking3.c src/validation/sm_locking4.c src/validation/sm_locking6.c src/validation/sm_locking7.c src/validation/sm_loops1.c src/validation/sm_loops2.c src/validation/sm_loops3.c src/validation/sm_loops4.c src/validation/sm_loops5.c src/validation/sm_loops6.c src/validation/sm_macros.c src/validation/sm_math1.c src/validation/sm_math2.c src/validation/sm_memleak2.c src/validation/sm_memory.c src/validation/sm_mod.c src/validation/sm_mtag1.c src/validation/sm_mtag2.c src/validation/sm_mtag3.c src/validation/sm_mtag4.c src/validation/sm_mtag5.c src/validation/sm_mtag6.c src/validation/sm_mtag7.c src/validation/sm_netdevice.c src/validation/sm_null_deref.c src/validation/sm_null_deref2.c src/validation/sm_overflow.c src/validation/sm_overflow3.c src/validation/sm_overflow4.c src/validation/sm_overflow5.c src/validation/sm_overflow6.c src/validation/sm_pointer_assign.c src/validation/sm_precedence.c src/validation/sm_range1.c src/validation/sm_range2.c src/validation/sm_range3.c src/validation/sm_range4.c src/validation/sm_range5.c src/validation/sm_range6.c src/validation/sm_real_absolute1.c src/validation/sm_rosenberg.c src/validation/sm_select.c src/validation/sm_select3.c src/validation/sm_select4.c src/validation/sm_select5.c src/validation/sm_select_assign.c src/validation/sm_skb.c src/validation/sm_skb2.c src/validation/sm_skb3.c src/validation/sm_strlen.c src/validation/sm_strlen2.c src/validation/sm_strlen3.c src/validation/sm_struct_assign1.c src/validation/sm_switch.c src/validation/sm_switch2.c src/validation/sm_switch3.c src/validation/sm_user_data1.c src/validation/sm_user_data2.c src/validation/sm_user_data3.c src/validation/sm_user_data4.c src/validation/sm_val_parse1.c src/validation/sm_wine_filehandles.c src/validation/sm_wine_locking.c src/validation/smatch_db_test.sh src/validation/specifiers1.c src/validation/specifiers2.c src/validation/static-forward-decl.c src/validation/static_assert.c src/validation/strict-prototypes0.c src/validation/strict-prototypes1.c src/validation/struct-as.c src/validation/struct-attribute-placement.c src/validation/struct-ns1.c src/validation/struct-ns2.c src/validation/struct-size1.c src/validation/tautological-compare.c src/validation/test-be.c src/validation/test-suite src/validation/testsuite-selfcheck1.c src/validation/testsuite-selfcheck2.c src/validation/testsuite-selfcheck3.c src/validation/transparent-union.c src/validation/type-attribute-align.c src/validation/type-attribute-as.c src/validation/type-attribute-mod.c src/validation/type1.c src/validation/typedef_shadow.c src/validation/typeof-addresspace.c src/validation/typeof-attribute.c src/validation/typeof-mods.c src/validation/typeof-noderef.c src/validation/typeof-safe.c src/validation/typesign.c src/validation/varargs1.c src/validation/wide.c