?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
check_overflow: don't complain about if (ptr < &array[ARRAY_SIZE(array)])
2010-02-14 Dan Carpentercheck_overflow: don't complain about if (ptr < &array...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentersmatch_flow: change how the big expression stack works...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: rename my_decl_id => my_size_id
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: white space changes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: use the _expr() hooks instead of doing...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: remove some old debugging code
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: rename dest => array_expr
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: get_initializer_bytes() => get_initializer_...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: option_spammy => option_info
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: handle indexed array initializations
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpentercheck_overflow: fix endless loop parsing "int x =...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-14 Dan Carpenterfix get_implied_max()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-13 Dan Carpentercheck_overflow: lots of improvements and also a validation...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-13 Dan Carpenterfix crash calling get_type() on implicitly defined...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-13 Dan CarpenterAdd smatch_data/kernel.no_return_funcs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-12 Dan Carpenterfunction hooks: get rid of conditional function hooks
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-12 Dan Carpenteradd smatch_scripts/new_bugs.sh: prints the bugs introduced...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-12 Dan Carpentererr_ptr_deref: update to use newer api
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-12 Dan Carpenterunreachable code: enable by default
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-12 Dan Carpentershow_unreachable.sh: add -k (kernel mode) -b (ignore...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-11 Dan Carpenterunreachable code: work around gcc work arounds
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-11 Dan Carpenterprint an error message about unreached initializers
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-10 Dan Carpentercheck_stack: tweak the output a bit
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-10 Christopher LiPointer don't inherent the alignment from base type
 commit | commitdiff | tree
2010-02-08 Dan CarpenterNew check_stack.c: warn if kernel code puts too much...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-08 Dan CarpenterAdd register_project() to check_list.h
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-02-01 Dan Carpenterupdate the documentation a bit
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-30 Dan Carpentercheck_memory: only load kernel.frees_argument when...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-29 Dan CarpenterCreate: smatch_project.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-29 Dan Carpenterbail if things are taking too long
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-29 Dan Carpenteradd smatch_scripts/filter_kernel_deref_check.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-29 Dan Carpentercheck_deref_check: do not complain in loop pre conditions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-28 Dan Carpentertweak unreachable code messages
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-27 Dan Carpentercheck_signed: handle signed 1 bit values
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-27 Dan Carpentercheck_signed: don't complain about unsigned int x...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-27 Dan Carpenternew function: type_unsigned()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-26 Dan Carpenterpartly replace check_null_deref.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-25 Dan Carpentermodification hooks: only allow one hook per variable...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-25 Dan Carpenterintroduce: set_default_modification_hook()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-25 Dan Carpentercleanup: get rid of smatch_containers.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-25 Dan Carpentercheck_null_deref: only the kernel cares about failed...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-23 Dan CarpenterFix OpenBSD compile
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-23 Dan Carpentercheck_signed: clean ups. add check for impossibly...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-22 Dan Carpentermake everything use smatch_function_hashtable.h
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-22 Dan Carpenteradd smatch_function_hashtable.h
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-22 Dan CarpenterMove everything to the new cwchash hash table.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-22 Dan Carpenteradd cwchash hash table implementation
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-21 Robert BedichekNovafora license grant using MIT license.
 commit | commitdiff | tree
2010-01-21 Dan Carpenterfunction_implies_hook: fix bug when a function has...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-21 Dan Carpentercheck_signed: warn on assigning negative to unsigned
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-20 Dan CarpenterMake smatch work again.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-20 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/chrisl...
commit | commitdiff | tree
2010-01-20 Dan CarpenterMove the checks out of smatch.c into check_list.h
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-20 Dan Carpentersilence some sparse warnings: () => (void)
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-20 Dan Carpenterintroduce: type_min() and type_max()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-20 Dan Carpenterwine WtoA: fix crashing bug
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpenternew file: smatch_scripts/gen_dma_funcs.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpentershow_ifs.sh: Add the -C option
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpentercheck_memory: eliminate some false positives
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpenterget_value(): the return value was getting cut off
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpentercheck_signed: clarify error message
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpenterwine_filehandles: if the file handle gets reassigned...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan CarpenterHelp kchecker and wine_checker.sh find the smatch binary
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-19 Dan Carpenterget_variable_from_expr(): fix array display (even...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-18 Dan Carpenterdelete_state(): fix a bug calling delete state inside...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-18 Dan Carpenterget_variable_from_expr(): use [] for arrays.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-18 Dan Carpenterfix "make install"
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-17 Dan Carpenterfix bug in printing file names
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-17 Dan Carpenterget_array_name(): return the stripped value.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-17 Dan Carpenterwine: pp_internal_error() doesn't return
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-16 Dan Carpenterunused return: warning: => warn:
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-16 Dan Carpenterprecedence: make test stricter
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-16 Dan Carpenter__USE_ISOC99: silence a gcc warning.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-16 Dan Carpentercheck_dev_queue_xmit: make valid_use() static
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpentercheck_signed: change some error: messages to warn:
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpentercheck_signed: fix and turn on by default
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpenterget_type(): fix cast handling
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpenterget_value(): add initial support for handling casts
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpenterwhitespace: "switch(" => "switch ("
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpenterget_type(): don't ignore casts!
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-15 Dan Carpentereliminate all the "x can't fit into 0" false positives
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-14 Dan Carpenterfix getting_address() functions vs parens
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-14 Dan Carpenteradd check_dev_queue_xmit.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-14 Dan Carpenteradd --rare option for rare bugs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-14 Dan Carpenterintroduce: add_modification_hook_expr()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: move pool_in_pools() and is_checked()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: rename: get_eq_neq() => separate_and_filter()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: separate do_compare into its own...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: move get_implications() lower in the...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: 1 => LEFT
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: clean handle_comparison()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: rename state => sm
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: move check for !is_merged()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: rename left => lr
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: rename some sm_states: state => sm
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: move some functions around
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: comments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: create print_once()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: get rid of some curly braces
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-13 Dan Carpenterimplied cleanup: move variable declarations
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C