?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add check_dev_queue_xmit.c
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
2009-12-30 Dan Carpenterparam_mapper: add --param-mapper option
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenterdma on stack: eliminate some false positives
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan CarpenterAdd dma functions that map to usb_control_msg()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenteradd smatch_scripts/trace_params.pl
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenterparam_mapper: initial commit
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-30 Dan Carpenterdma_on_stack: &foo means it's an error too
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-27 Dan Carpenterupdate smatch_data to 2.6.33-rc1
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-27 Dan Carpentercheck_overflow: fix crashing bug (divide by zero)
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-27 Dan Carpentercheck_overflow: fix crashing bug
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-25 Dan Carpenteradd a check for passing stack variables to dma functions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-25 Dan Carpentercheck_used_returns: ignore inb, inw, and inl
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-23 Dan Carpenterupdate validation tests
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-23 Dan Carpentercheck_overflow: handle arrays inside structs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-23 Dan CarpenterFix crashing bug: func(a & b);
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-22 Dan Carpenterwarn about if(x); type code.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-22 Dan Carpenterprecedence: warn about: if (!a & b) {...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-22 Dan Carpentererr_ptr: it's perfectly ok to return both null and...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-18 Dan Carpenterwhite space changes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-18 Dan CarpenterRemove hack for handling Steve Rostedt's if conditions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-18 Dan Carpentercheck_unused_ret.c: fix check for local variables
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-18 Dan Carpentercheck_unused_ret.c: ignore unreachable assignments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-18 Dan CarpenterIf --debug is passed the messages from the first pass
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-17 Dan CarpenterAdd a check for unused assignments.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-17 Dan Carpentersimple check for format string vulnerability
 commit | commitdiff | tree
2009-12-17 Dan CarpenterHandle EXPR_FORCE_CAST in __split_expr()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-15 Dan Carpenter[patch 2/2] redefine SYM_HOOK entirely
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-15 Dan Carpenter[patch 1/2] Change definition of SYM_HOOK in smatch_hook.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-12 Dan Carpenter&(foo->bar) is not really a dereference.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-12 Dan Carpenterchange expression_stack to expression_list.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-12 Dan Carpenterclean up. DEREF_HOOK handling.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-12 Dan Carpentercheck_signed: make it depend on --spammy
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-12 Dan Carpentercheck_locks: add raw_local_irq_enable()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenteradd check for precedence errors like if (x & y == 0...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenterfix select handling
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenterchanges to comments.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenteradd __smatch_note("hello world")
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenterpatch up the new check_locking.c replacement
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpentermove check_wine_locking.c over check_locking.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan Carpenterdelete the old check_locking.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-12-11 Dan CarpenterFix crashing bug.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C