?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Add register_project() to check_list.h
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
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
next
Static analysis for C