?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
check_signed: clean ups. add check for impossibly low comparisons
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
2010-01-13 Dan CarpenterAdd validation/sm_array_overflow.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-12 Dan Carpentercleanup remove false_only_stack
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-12 Dan CarpenterFix bug in handling for loops
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-10 Dan Carpenterfoo(&bar) means bar is modified.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-09 Dan Carpentercheck_memory: add_modification_hook isfree => unfree
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-09 Dan Carpentermove modification hook to the front of the hook list
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-09 Dan Carpenterclean up: move everything to get_dinfo()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpenterintroduce: get_dinfo()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentercheck_overflow: handle addresses differently
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentersmatch_extra: clean up. state can never be &merged...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentercheck_overflow: ignore the last member of structs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentersmatch_extra: I don't like empty ranges
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpenteradd smatch_scripts/gen_array_bounds.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentersmatch_data/kernel.array_bounds.remove
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-08 Dan Carpentercheck_overflow: an an "error: " prefix to a printf.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpentersmatch_scripts/show_unreachable.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpenternew script: show_ifs.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpenterintroduce getting_address()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpenterupdate smatch_scripts/ because of --info format changes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpentercheck offset after use: ignore foo = &array[bar];
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpentercheck_overflow: move some more stuff under the --info...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpenterclean up output: warning: => warn:
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-07 Dan Carpentermodification_hook: -- and ++ are modifications
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-06 Dan CarpenterIt makes sense to check an array offset if it has been...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-05 Dan Carpentercheck_overflow: separate the two types of states
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-05 Dan CarpenterFix precedence/crashing bug check_overflow
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-03 Dan Carpentercheck_overflow: check for limiting offset after using it
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-03 Dan Carpenterintroduce alloc_state_num()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-03 Dan Carpentercleanup: rename alloc_state() => alloc_sm_state()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-02 Dan Carpenterintroduce get_fuzzy_max()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-02 Dan Carpentercall_tree.pl: make it an interactive program
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-02 Dan Carpentercreate get_implied_range_list()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-02 Dan Carpentersm_info: fix formatting
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-01-01 Dan Carpentercall tree: initial upload
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-31 Dan Carpenterdma on stack: move data to smatch_data/
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-31 Dan Carpentertrace_params.pl: rewrote so it's faster
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenteradd --param-mapper back.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpentercleanup up option parsing a little
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenteradd option: --info
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenterredo how options are parsed.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpentercleanup: debug_implied_states => option_debug_implied
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpentercleanup: debug_states => option_debug
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C