History log of /illumos-gate/usr/src/tools/smatch/src/ (Results 1 – 12 of 12)
Revision Date Author Comments
(<<< Hide modified files)
(Show modified files >>>)
6ff4183c30-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 ...


smatch_mtag.c
b3263c9808-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>


Documentation/smatch.txt
Documentation/submitting-patches.md
Makefile
check_atomic_inc_dec.c
check_kernel_printf.c
smatch_db.c
6523a3aa12-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
check_all_func_returns.c
check_allocating_enough_data.c
check_atomic_inc_dec.c
check_debug.c
check_debug.h
check_err_ptr.c
check_kernel.c
check_shift_to_zero.c
expression.h
smatch.c
smatch.h
smatch_bits.c
smatch_buf_size.c
smatch_capped.c
smatch_comparison.c
smatch_container_of.c
smatch_data/db/create_db.sh
smatch_data/db/kernel.return_fixes
smatch_data/db/mark_function_ptrs_searchable.pl
smatch_data/db/mtag_about.schema
smatch_data/db/mtag_info.schema
smatch_data/db/mtag_map.schema
smatch_data/db/return_states.schema
smatch_data/db/smdb.py
smatch_db.c
smatch_estate.c
smatch_expressions.c
smatch_extra.c
smatch_extra.h
smatch_flow.c
smatch_fresh_alloc.c
smatch_function_hooks.c
smatch_function_ptrs.c
smatch_helper.c
smatch_implied.c
smatch_kernel_user_data.c
smatch_math.c
smatch_mtag.c
smatch_mtag_data.c
smatch_mtag_map.c
smatch_param_to_mtag_data.c
smatch_real_absolute.c
smatch_return_to_param.c
smatch_scripts/build_kernel_data.sh
smatch_scripts/summarize_errs.sh
smatch_slist.c
smatch_states.c
smatch_struct_assignment.c
smatch_type.c
smatch_type_val.c
token.h
tokenize.c
validation/sm_impossible1.c
validation/sm_impossible2.c
31ad075e23-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
check_list.h
check_locking.c
lib.c
lib.h
machine.h
pre-process.c
smatch.h
smatch_container_of.c
smatch_db.c
smatch_fresh_alloc.c
smatch_math.c
smatch_mtag.c
smatch_slist.c
smatch_type.c
validation/sm_locking2.c
validation/sm_locking3.c
validation/sm_locking4.c
validation/sm_locking6.c
validation/sm_locking7.c
5a0e240f19-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
check_debug.c
check_debug.h
check_frees_param.c
check_list.h
check_locking.c
check_param_mapper.c
smatch.c
smatch.h
smatch_address.c
smatch_buf_size.c
smatch_comparison.c
smatch_container_of.c
smatch_data/db/create_db.sh
smatch_data/db/fixup_kernel.sh
smatch_data/db/insert_manual_states.pl
smatch_data/db/kernel.insert.return_states
smatch_data/illumos_kernel.skipped_functions
smatch_data/kernel.no_inline_functions
smatch_db.c
smatch_expressions.c
smatch_extra.c
smatch_extra.h
smatch_function_hooks.c
smatch_helper.c
smatch_implied.c
smatch_math.c
smatch_parsed_conditions.c
smatch_ranges.c
smatch_scripts/build_generic_data.sh
smatch_scripts/build_kernel_data.sh
smatch_scripts/gen_rosenberg_funcs.sh
smatch_scripts/kpatch.sh
smatch_states.c
smatch_sval.c
smatch_type.c
validation/sm_float1.c
eb44bcc722-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
check_arm64_tagged.c
ident-list.h
smatch_data/illumos_kernel.skipped_functions
smatch_data/illumos_user.skipped_functions
smatch_kernel_user_data.c
c85f09cc11-Nov-2019 John Levon

11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


Documentation/.gitignore
Documentation/IR.rst
Documentation/Makefile
Documentation/TODO.md
Documentation/api.rst
Documentation/arm64-detecting-tagged-addresses.txt
Documentation/conf.py
Documentation/dev-options.rst
Documentation/doc-guide.rst
Documentation/index.rst
Documentation/logo.svg
Documentation/nocast-vs-bitwise.md
Documentation/project-ideas.md
Documentation/smatch.txt
Documentation/sparse.txt
Documentation/sphinx/cdoc.py
Documentation/sphinx/ir.py
Documentation/test-suite
Documentation/test-suite.rst
Makefile
README
allocate.c
allocate.h
bits.h
builtin.c
c2xml.c
cgcc
char.c
check_access_ok_math.c
check_arm64_tagged.c
check_check_deref.c
check_continue_vs_break.c
check_debug.c
check_deref.c
check_deref_check.c
check_dereferences_param.c
check_double_checking.c
check_free.c
check_free_strict.c
check_get_user_overflow.c
check_kernel.c
check_list.h
check_locking.c
check_memory.c
check_memset.c
check_nospec.c
check_readl_infinite_loops.c
check_rosenberg.c
check_testing_index_after_use.c
check_uninitialized.c
check_unwind.c
compat.h
compile-i386.c
compile.c
cse.c
cse.h
ctags.c
dominate.c
dominate.h
evaluate.c
evaluate.h
example.c
expand.c
expression.c
expression.h
flow.c
flow.h
flowgraph.c
flowgraph.h
gcc-attr-list.h
gdbhelpers
graph.c
ident-list.h
inline.c
ir.c
ir.h
lib.c
lib.h
linearize.c
linearize.h
liveness.c
liveness.h
machine.h
macro_table.c
memops.c
obfuscate.c
opcode.c
opcode.def
opcode.h
optimize.c
optimize.h
parse.c
parse.h
pre-process.c
ptrlist.c
ptrlist.h
ptrmap.c
ptrmap.h
scope.h
show-parse.c
simplify.c
smatch.h
smatch_array_values.c
smatch_assigned_expr.c
smatch_auto_copy.c
smatch_bits.c
smatch_buf_size.c
smatch_common_functions.c
smatch_comparison.c
smatch_conditions.c
smatch_data/db/clear_user_data.sh
smatch_data/db/copy_function_pointers.pl
smatch_data/db/create_db.sh
smatch_data/db/fill_db_sql.pl
smatch_data/db/fixup_kernel.sh
smatch_data/db/kernel.return_fixes
smatch_data/db/smdb.py
smatch_data/db/vim_smdb
smatch_data/kernel.bit_shifters.remove
smatch_data/kernel.check_string_condition.ignore
smatch_data/kernel.ignore_casted_params
smatch_data/kernel.ignore_side_effects
smatch_data/kernel.ignore_uninitialized_param
smatch_data/kernel.unreachable.ignore
smatch_db.c
smatch_estate.c
smatch_expressions.c
smatch_extra.c
smatch_extra.h
smatch_flow.c
smatch_function_hooks.c
smatch_function_ptrs.c
smatch_helper.c
smatch_hooks.c
smatch_implied.c
smatch_integer_overflow.c
smatch_kernel_user_data.c
smatch_local_values.c
smatch_math.c
smatch_mem_tracker.c
smatch_modification_hooks.c
smatch_mtag.c
smatch_mtag_data.c
smatch_nul_terminator.c
smatch_param_filter.c
smatch_param_limit.c
smatch_param_set.c
smatch_param_to_mtag_data.c
smatch_param_used.c
smatch_parse_call_math.c
smatch_ranges.c
smatch_real_absolute.c
smatch_returns.c
smatch_scripts/build_generic_data.sh
smatch_scripts/gen_dma_funcs.sh
smatch_scripts/gen_rosenberg_funcs.sh
smatch_scripts/kchecker
smatch_scripts/summarize_errs.sh
smatch_scripts/test_generic.sh
smatch_scripts/test_kernel.sh
smatch_slist.c
smatch_states.c
smatch_struct_assignment.c
smatch_type.c
smatch_type_val.c
smatch_untracked_param.c
sort.c
sparse-llvm-dis
sparse-llvm.c
sparse.1
sparse.c
sparse.pc.in
sparsec
sparsei
ssa.c
ssa.h
sset.c
sset.h
symbol.c
symbol.h
target.c
target.h
test-dissect.c
test-inspect.c
test-lexing.c
test-linearize.c
test-parsing.c
test-unssa.c
token.h
tokenize.c
unssa.c
utils.c
utils.h
validation/Waddress-array.c
validation/Waddress-function.c
validation/Waddress-space-all-attr.c
validation/Waddress-space-from.c
validation/Waddress-space-strict.c
validation/Waddress-weak.c
validation/Waddress.c
validation/Wcast-to-as.c
validation/Wexternal-function-has-definition.c
validation/Wunknown-attribute-def.c
validation/Wunknown-attribute-yes.c
validation/abi-integer.c
validation/address_space.c
validation/array-implicit-size.c
validation/as-name.c
validation/asm-inline.c
validation/attr-context.c
validation/backend/arithmetic-ops.c
validation/backend/call-variadic.c
validation/backend/cast.c
validation/backend/compare-with-null.c
validation/backend/constant-pointer.c
validation/backend/degenerate-ptr.c
validation/backend/fn-ref.c
validation/backend/function-ptr-xtype.c
validation/backend/function-ptr.c
validation/backend/label-as-value.c
validation/backend/load-global.c
validation/backend/pointer-add.c
validation/backend/pointer-cmp.c
validation/backend/pointer-param.c
validation/backend/pointer-sub.c
validation/backend/setval.c
validation/backend/shift-special.c
validation/backend/store-x2.c
validation/backend/string-value.c
validation/backend/sum.c
validation/backend/switch.c
validation/backend/symaddr.c
validation/backend/type-constant.c
validation/bad-return-type.c
validation/bad-type-twice0.c
validation/bad-type-twice1.c
validation/bad-type-twice2.c
validation/bitfield-bool-layout.c
validation/bitfield-kr.c
validation/bitwise-cast-ptr.c
validation/bitwise-cast.c
validation/bool-cast-explicit.c
validation/bool-cast-implicit.c
validation/bool-float.c
validation/bug-bad-type.c
validation/bug-crash16.c
validation/bug-expand-union0.c
validation/bug-expand-union1.c
validation/bug-rshift-ub.c
validation/builtin-arith.c
validation/builtin-bswap-variable.c
validation/builtin-fp-unop.c
validation/builtin-overflow.c
validation/builtin-prototype.c
validation/c11-alignas.c
validation/c11-alignof.c
validation/c11-atomic.c
validation/c11-noreturn.c
validation/c11-thread-local.c
validation/call-inlined.c
validation/call-variadic.c
validation/cast-bad-00.c
validation/cast-bad-01.c
validation/cast-kinds-check.c
validation/cast-weirds.c
validation/char-signed.c
validation/char-unsigned.c
validation/check_access-multi.c
validation/check_access-store.c
validation/check_byte_count-ice.c
validation/choose_expr.c
validation/compound-assign-type.c
validation/compound-sizes.c
validation/cond-address-array.c
validation/cond-address-function.c
validation/cond-address.c
validation/cond-err-expand.c
validation/conditional-type.c
validation/constant-suffix-64.c
validation/constexpr-addr-of-static-member.c
validation/constexpr-addr-of-static.c
validation/constexpr-binop.c
validation/constexpr-cast.c
validation/constexpr-compound-literal.c
validation/constexpr-conditional.c
validation/constexpr-init.c
validation/constexpr-labelref.c
validation/constexpr-offsetof.c
validation/constexpr-pointer-arith.c
validation/constexpr-pointer-cast.c
validation/constexpr-preop.c
validation/constexpr-shift.c
validation/constexpr-string.c
validation/constexpr-types-compatible-p.c
validation/context-stmt.c
validation/crash-select.c
validation/doc/cdoc.cdoc
validation/empty-expr.c
validation/enum+mode.c
validation/enum-base-type.c
validation/enum-bitwise-bad.c
validation/enum-bitwise-mixed.c
validation/enum-bitwise.c
validation/enum-bounds.c
validation/enum-init-constness.c
validation/enum-invalid.c
validation/enum-min-size.c
validation/enum-mismatch.c
validation/enum-same-type.c
validation/enum-sign-gcc.c
validation/enum-typecheck.c
validation/error-at-eof.c
validation/eval-typeof-vla.c
validation/expand/bad-shift.c
validation/expand/builtin-expect.c
validation/expand/builtin_fpclassify.c
validation/expand/builtin_huge_val.c
validation/expand/builtin_isinf.c
validation/expand/builtin_isnan.c
validation/expand/builtin_isnormal.c
validation/expand/builtin_nan.c
validation/expand/function-pointer.c
validation/external-function-has-definition.c
validation/fdiag-prefix.c
validation/fp-ops.c
validation/function-pointer-type.c
validation/function-redecl2.c
validation/goto-reserved.c
validation/implicit-KR-arg-type1.c
validation/inc-dec-float.c
validation/incomplete-struct.c
validation/infinite-loop01.c
validation/infinite-loop02.c
validation/infinite-loop03.c
validation/infinite-loop04.c
validation/int128.c
validation/integer-const-expr.c
validation/kill-load.c
validation/kill-phi-ttsbb.c
validation/kill-store.c
validation/kill-switch.c
validation/label-redefined.c
validation/linear/asm-toplevel.c
validation/linear/bitfield-expand-deref.c
validation/linear/bitfield-inc.c
validation/linear/bitfield-init-mask.c
validation/linear/bitfield-preinc.c
validation/linear/bitfield-size.c
validation/linear/bitfield-store.c
validation/linear/bool-cast-lp32.c
validation/linear/bool-cast-lp64.c
validation/linear/bool-cast.c
validation/linear/builtin_unreachable.c
validation/linear/call-basic.c
validation/linear/call-builtin.c
validation/linear/call-casted-pointer.c
validation/linear/call-complex-pointer.c
validation/linear/call-direct.c
validation/linear/call-indirect.c
validation/linear/call-inline.c
validation/linear/cast-constant-to-float.c
validation/linear/cast-constants.c
validation/linear/cast-volatile.c
validation/linear/compound-literal00.c
validation/linear/compound-literal01.c
validation/linear/compound-literal02.c
validation/linear/degen-array.c
validation/linear/degen-function.c
validation/linear/degen-log-not.c
validation/linear/deref-ptr-ptr.c
validation/linear/fp-vs-ptrcast.c
validation/linear/fp2i-cast.c
validation/linear/logical-phi0.c
validation/linear/logical.c
validation/linear/missing-return0.c
validation/linear/missing-return1.c
validation/linear/missing-return2.c
validation/linear/missing-return3.c
validation/linear/missing-return4.c
validation/linear/missing-return5.c
validation/linear/non-const-case.c
validation/linear/phi-order01.c
validation/linear/phi-order02.c
validation/linear/phi-order03.c
validation/linear/phi-order04.c
validation/linear/range-op.c
validation/linear/unexamined-base-type.c
validation/linear/unreachable-label0.c
validation/loop-linearization.c
validation/mem2reg/address-used00.c
validation/mem2reg/alias-distinct.c
validation/mem2reg/alias-mixed.c
validation/mem2reg/alias-same.c
validation/mem2reg/broken-phi02.c
validation/mem2reg/broken-phi03.c
validation/mem2reg/cond-expr.c
validation/mem2reg/cond-expr5.c
validation/mem2reg/dead-phisrc.c
validation/mem2reg/global-direct-undef.c
validation/mem2reg/global-direct.c
validation/mem2reg/global-loop.c
validation/mem2reg/global-noalias.c
validation/mem2reg/global-pointer.c
validation/mem2reg/if-direct.c
validation/mem2reg/if-pointer.c
validation/mem2reg/init-global-array.c
validation/mem2reg/init-local-array.c
validation/mem2reg/init-local-union0.c
validation/mem2reg/init-local-union1.c
validation/mem2reg/init-local32.c
validation/mem2reg/init-local64.c
validation/mem2reg/load-dead.c
validation/mem2reg/load-deadborn.c
validation/mem2reg/loop00.c
validation/mem2reg/loop01-global.c
validation/mem2reg/loop02-array.c
validation/mem2reg/loop02-global.c
validation/mem2reg/loop02-local.c
validation/mem2reg/loop02-pointer.c
validation/mem2reg/missing-return.c
validation/mem2reg/quadra00.c
validation/mem2reg/quadra01.c
validation/mem2reg/quadra02.c
validation/mem2reg/reload-aliasing.c
validation/mem2reg/short-load.c
validation/mem2reg/store-deadborn.c
validation/mem2reg/stray-phisrc.c
validation/mem2reg/struct.c
validation/mem2reg/undef00.c
validation/mem2reg/undef01.c
validation/mem2reg/unused-var.c
validation/mem2reg/volatile-store00.c
validation/memops-volatile.c
validation/missing-return.c
validation/multi-input.c
validation/nested-declarator.c
validation/nested-declarator2.c
validation/nocast.c
validation/noderef.c
validation/optim/address-used01.c
validation/optim/and-extend.c
validation/optim/and-extendx.c
validation/optim/and-lsr.c
validation/optim/and-or-bf0.c
validation/optim/and-or-bf1.c
validation/optim/and-or-bf2.c
validation/optim/and-or-bfs.c
validation/optim/and-or-bfu.c
validation/optim/and-or-bfx.c
validation/optim/and-or-constant0.c
validation/optim/and-or-constant1.c
validation/optim/and-or-constant2.c
validation/optim/and-or-crash.c
validation/optim/and-or-lsr0.c
validation/optim/and-or-lsr1.c
validation/optim/and-or-lsr2.c
validation/optim/and-or-lsrx.c
validation/optim/and-or-mask.c
validation/optim/and-or-mask0.c
validation/optim/and-or-mask1.c
validation/optim/and-or-mask2.c
validation/optim/and-or-mask3s.c
validation/optim/and-or-mask3u.c
validation/optim/and-or-mask4.c
validation/optim/and-or-maskx.c
validation/optim/and-or-shl0.c
validation/optim/and-or-shl1.c
validation/optim/and-or-shl2.c
validation/optim/and-or-shlx.c
validation/optim/and-or-trunc0.c
validation/optim/and-or-trunc1.c
validation/optim/and-or-trunc2.c
validation/optim/and-or-truncx.c
validation/optim/and-trunc.c
validation/optim/bitfield-init-zero.c
validation/optim/bitfield-size.c
validation/optim/bitfield-store-load0.c
validation/optim/bitfield-store-loads.c
validation/optim/bitfield-store-loadu.c
validation/optim/bits-not-zero.c
validation/optim/bool-context-fp.c
validation/optim/bool-context.c
validation/optim/bool-eq0.c
validation/optim/bool-int-bool.c
validation/optim/bool-ne0.c
validation/optim/bool-neq0.c
validation/optim/bool-sext-test.c
validation/optim/bool-simplify.c
validation/optim/bool-simplify2.c
validation/optim/bool-zext-test.c
validation/optim/call-complex-pointer.c
validation/optim/call-inlined.c
validation/optim/canonical-add.c
validation/optim/canonical-cmp.c
validation/optim/canonical-fcmp.c
validation/optim/canonical-mul.c
validation/optim/cast-kinds.c
validation/optim/cast-nop.c
validation/optim/cse-cmp-next.c
validation/optim/cse-fcmp.c
validation/optim/cse-setfval.c
validation/optim/cse-size.c
validation/optim/dup-cond0.c
validation/optim/ext-trunc-greater.c
validation/optim/ext-trunc-same.c
validation/optim/ext-trunc-smaller.c
validation/optim/fpcast-constant.c
validation/optim/inline-return.c
validation/optim/kill-casts.c
validation/optim/kill-stores0.c
validation/optim/kill-stores1.c
validation/optim/kill-stores2.c
validation/optim/killed-insn.c
validation/optim/live-stores0.c
validation/optim/load-converted.c
validation/optim/load-dead.c
validation/optim/load-semi-volatile.c
validation/optim/lsr-and0.c
validation/optim/lsr-and1.c
validation/optim/lsr-asr.c
validation/optim/lsr-shl0.c
validation/optim/mask-lsr.c
validation/optim/mask-out.c
validation/optim/mask1-setne0.c
validation/optim/missing-select.c
validation/optim/muldiv-minus-one.c
validation/optim/null-phi.c
validation/optim/or-and-constant1.c
validation/optim/phi-ret.c
validation/optim/restrict.c
validation/optim/select-zero.c
validation/optim/setcc-mask.c
validation/optim/setne0-sext.c
validation/optim/setne0-trunc.c
validation/optim/setne0-zext.c
validation/optim/sext-sext.c
validation/optim/sext.c
validation/optim/sh-or-and0.c
validation/optim/sh-or-and1.c
validation/optim/sh-or-and2.c
validation/optim/shift-big.c
validation/optim/shift-shift.c
validation/optim/shift-zext.c
validation/optim/shl-and0.c
validation/optim/shl-and1.c
validation/optim/shl-lsr0.c
validation/optim/store-dominated.c
validation/optim/trivial-phis.c
validation/optim/trunc-mask-zext.c
validation/optim/trunc-or-shl.c
validation/optim/trunc-seteq0.c
validation/optim/trunc-setne0.c
validation/optim/trunc-trunc.c
validation/optim/volatile-bitfield.c
validation/optim/volatile-side-effect.c
validation/optim/volatile-store00.c
validation/optim/zext-and.c
validation/optim/zext-and1.c
validation/optim/zext-asr.c
validation/optim/zext-sext.c
validation/optim/zext-zext.c
validation/option-parsing-00.c
validation/option-parsing-01.c
validation/overflow.c
validation/preprocessor/base-file.c
validation/preprocessor/base-file.h
validation/preprocessor/builtin.c
validation/preprocessor/cli-D-arg.c
validation/preprocessor/cli-D-space.c
validation/preprocessor/dump-macros-empty.c
validation/preprocessor/dump-macros-multi.c
validation/preprocessor/dump-macros-only.c
validation/preprocessor/dump-macros.c
validation/preprocessor/dynamic.c
validation/preprocessor/extra-token.c
validation/preprocessor/has-attribute.c
validation/preprocessor/has-builtin.c
validation/preprocessor/ident-pragma.c
validation/preprocessor/ident.c
validation/preprocessor/include-level.c
validation/preprocessor/include-level.h
validation/preprocessor/missing-delim.c
validation/preprocessor/phase2-backslash.c
validation/preprocessor/phase3-comments.c
validation/preprocessor/predef-char-bit.c
validation/preprocessor/predef-llp64.c
validation/preprocessor/predef-lp32.c
validation/preprocessor/predef-lp64.c
validation/preprocessor/predef-max.c
validation/preprocessor/predef-sizeof.c
validation/preprocessor/predef-unsigned.c
validation/preprocessor/predef.c
validation/ptr-inherit.c
validation/ptr-sub-blows.c
validation/range-syntax.c
validation/repeat.h
validation/reserved.c
validation/restrict.c
validation/self-quote-args.c
validation/shift-negative.c
validation/shift-undef-long.c
validation/shift-undef.c
validation/sizeof-bool.c
validation/sizeof-builtin.c
validation/sizeof-function.c
validation/sizeof-incomplete-type.c
validation/sm_compare18.c
validation/storage-struct-member.c
validation/struct-as.c
validation/switch-long.c
validation/test-be.c
validation/test-suite
validation/testsuite-selfcheck1.c
validation/testsuite-selfcheck2.c
validation/testsuite-selfcheck3.c
validation/type-compare.c
validation/typedef-redef-c89.c
validation/typedef-redef.c
validation/typedef_shadow.c
validation/typediff-arraysize.c
validation/typediff-enum.c
validation/typeof-bad.c
validation/typeof-mods.c
validation/var-undef-partial.c
validation/vla-sizeof-ice.c
validation/vla-sizeof.c
validation/vla-sizeof0.c
validation/vla-sizeof1.c
validation/vla-sizeof2.c
validation/vla-sizeof3.c
validation/vla-sizeof4.c
a0ee544625-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
smatch_mem_tracker.c
44bf619d15-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
check_unreachable.c
parse.c
smatch_data/illumos_kernel.no_return_funcs
smatch_data/illumos_user.no_return_funcs
efe51d0c24-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>


Documentation/sparse-README.txt
Makefile
check_64bit_shift.c
check_buffer_too_small_for_struct.c
check_cmn_err.c
check_debug.c
check_debug.h
check_dma_mapping_error.c
check_err_ptr_deref.c
check_free_strict.c
check_held_dev.c
check_kernel.c
check_kernel_printf.c
check_list.h
check_locking.c
check_macro_side_effects.c
check_missing_break.c
check_no_return.c
check_nospec.c
check_off_by_one_relative.c
check_precedence.c
check_return_cast.c
check_rosenberg.c
check_shift_to_zero.c
check_snprintf.c
check_spectre.c
check_spectre_second_half.c
check_string_len.c
check_syscall_arg_type.c
check_testing_index_after_use.c
check_uninitialized.c
check_unwind.c
check_wine_WtoA.c
check_zero_to_err_ptr.c
evaluate.c
expression.h
graph.c
smatch.c
smatch.h
smatch_about_fn_ptr_arg.c
smatch_address.c
smatch_array_values.c
smatch_assigned_expr.c
smatch_bits.c
smatch_buf_comparison.c
smatch_buf_size.c
smatch_capped.c
smatch_comparison.c
smatch_conditions.c
smatch_constraints.c
smatch_constraints_required.c
smatch_container_of.c
smatch_data/db/apply_return_fixes.sh
smatch_data/db/create_db.sh
smatch_data/db/delete_too_common_fn_ptr.sh
smatch_data/db/fixup_kernel.sh
smatch_data/db/function_ptr.schema
smatch_data/db/init_constraints.pl
smatch_data/db/init_constraints_required.pl
smatch_data/db/kernel.return_fixes
smatch_data/db/smdb.py
smatch_data/db/vim_smdb
smatch_data/illumos_kernel.skipped_functions
smatch_data/illumos_user.skipped_functions
smatch_data/kernel.allocation_funcs_gfp.remove
smatch_data/kernel.ignore_casted_params
smatch_data/kernel.ignore_side_effects
smatch_data/kernel.ignore_uninitialized_param
smatch_data/kernel.ignored_warnings
smatch_data/kernel.no_inline_functions
smatch_data/kernel.no_return_funcs.add
smatch_data/kernel.silenced_functions
smatch_data_source.c
smatch_db.c
smatch_equiv.c
smatch_estate.c
smatch_expressions.c
smatch_extra.c
smatch_extra.h
smatch_flow.c
smatch_function_hooks.c
smatch_function_ptrs.c
smatch_helper.c
smatch_ignore.c
smatch_imaginary_absolute.c
smatch_implied.c
smatch_integer_overflow.c
smatch_kernel_user_data.c
smatch_links.c
smatch_local_values.c
smatch_math.c
smatch_mem_tracker.c
smatch_modification_hooks.c
smatch_mtag.c
smatch_mtag_data.c
smatch_mtag_map.c
smatch_nul_terminator.c
smatch_param_compare_limit.c
smatch_param_filter.c
smatch_param_limit.c
smatch_param_set.c
smatch_param_to_mtag_data.c
smatch_param_used.c
smatch_parse_call_math.c
smatch_passes_array_size.c
smatch_ranges.c
smatch_real_absolute.c
smatch_return_to_param.c
smatch_returns.c
smatch_scripts/build_kernel_data.sh
smatch_scripts/kpatch.sh
smatch_scripts/test_kernel.sh
smatch_slist.c
smatch_slist.h
smatch_statement_count.c
smatch_states.c
smatch_stored_conditions.c
smatch_string_list.c
smatch_strlen.c
smatch_struct_assignment.c
smatch_sval.c
smatch_type.c
smatch_type_val.c
smatch_untracked_param.c
validation/sm_bitwise1.c
validation/sm_equiv1.c
validation/sm_implied.c
validation/sm_implied10.c
validation/sm_implied11.c
validation/sm_implied12.c
validation/sm_implied2.c
validation/sm_implied5.c
validation/sm_memory.c
validation/sm_null_deref.c
validation/sm_select5.c
7ae7577c10-Jul-2019 John Levon

11462 enable smatch by default
Reviewed by: Robert Mustacchi <rm@joyent.com>
Approved by: Dan McDonald <danmcd@joyent.com>


smatch.c
smatch.h
smatch_implied.c
1f5207b715-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>


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