?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
math: prevent divide by zero bugs
2010-04-05 Dan Carpentermath: prevent divide by zero bugs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-05 Dan Carpentercheck_lock: add more locks
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-02 Dan Carpenternew: check_proc_create() check for world writable proc...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpentermath: teach smatch to understand const values
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpentercheck_overflow: fix theoretical memory leak
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpentercore: fix problem in handling select statement / ORing...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpentercleanup: rename sm_states to "sm" instead of "state".
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpenterget_variable_from_expr(): if it involves a number it...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-04-01 Dan Carpenterdebug: print more useful information about conditions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-31 Dan Carpenterlocking: handle spin_trylock_irq()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-31 Dan Carpenterlocking: handle spin_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-31 Dan Carpenterlocking: handle raw_spin_unlock_irqrestore()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-31 Dan Carpenterlocking: make "sometimes locked" messages depend on...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-31 Dan CarpenterMerge branch 'devel' into devel_equiv
 commit | commitdiff | tree
2010-03-31 Dan Carpenterequiv: if a variable is only equivalent to itself set...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-30 Dan Carpenterextra: use the fake assignments instead of the initializer
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-30 Dan Carpenterequiv: never set SMATCH_EXTRA values directly
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-30 Dan Carpenterequiv: eliminate bogus call to set_state()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-30 Dan Carpenterintroduce __smatch_debug_on() and __smatch_debug_off()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-29 Dan Carpenterlocking: make spinlock_irqsave() work for my config
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-29 Dan Carpenterlocking: white space fixes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-29 Dan Carpenterlocking: add more standard locks
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-28 Dan Carpentercheck_locking: clean up list of kernel locks
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-27 Dan Carpenterhandle select assigns: foo = a ? b : c;
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-27 Dan Carpentercore: fake cur_slist more completely
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-27 Dan Carpentercore: rewrite select statement handling
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-26 Dan Carpenterstates: verify that the stacks are empty at the end...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-26 Dan CarpenterRename functions: __pop_foo() => __discard_foo()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-26 Dan Carpentersmatch_states: rename some functions
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-26 Dan Carpenterrelease_resource: Doh. It's looking for the wrong...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-26 Dan Carpenterfix select statement handling
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-25 Dan Carpentercore: cleanup. delete fake condition stack code
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-25 Dan Carpentercore: make fake cur_slists stackable
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-25 Dan Carpenterslist: make set_state_stack() return the new sm_state
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-25 Dan Carpenter*new* check_release_resource.c: check that we release...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-24 Dan Carpenterflow: split asm clobbers, inputs and outputs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-23 Dan Carpenterwhite_spaceonly: allow header files
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-22 Dan Carpenter*new* strip_whitespace.pl: removes all the whitespace...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-22 Dan Carpenter*new* check_resource_size(): prod people to use resource_size()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-21 Dan Carpenterextra: assume impossible things are impossible
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-20 Dan Carpentererr_ptr: fix btrfs false positives
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-20 Dan Carpentererr_ptr: handle when an err_ptr is reassigned
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpenter*new* check_db_info.c prints out stuff that will be...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpentercleanup: move stuff from smatch_extra.c to smatch_math.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpenterwhitespace changes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpenterequiv: fix crashing bug
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpentercheck_overflow: malloc() => __alloc_smatch_state()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpentersmatch.c: don't leak those 10 bytes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-19 Dan Carpenterassigned_expr: fix memory leak
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-17 Dan Carpenterkernel: free_area() doesn't call kfree()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-17 Dan Carpenter*new* check_return.c: complain if you don't check the...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: make get_implied_value() work for pointers better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: cleanup: create separate _get_implied_value(...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: handle modulus '%' operations
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: handle EXPR_POSTOP
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: cleanup: make handling binops a switch() statement
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: cleanup create separate handle_binop() function
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: cleanup. use cast_to_type() instead of re-implimenting it
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-16 Dan Carpentermath: cleanup. separate handle_preop() into it's own...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterequiv: fix crashing bug introduced in 8c358883a
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan CarpenterCreate separate smatch_math.c file
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterupdate smatch_data/ for 2.6.34-rc1
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterimplied: clean up make a separate handle_zero_comparison...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterequiv: handle comparisons with zero
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterequiv: cleanup separate set_extra_true_false() into...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-15 Dan Carpenterequiv, implied: fix handling borrowed implications
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-14 Dan Carpenterimplied: don't update the equivelent states
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-14 Dan Carpenterrm validation/smatch_closet/
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-14 Dan Carpenterequiv: don't overwrite the implication information
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan Carpenterrename __set_state() => __set_sm()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan Carpenterrename clone_state() => clone_sm()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan Carpenterequiv: preserve ->equiv across merges
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan CarpenterUse the equivalent variable code
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan Carpenterremove trackers from ->equiv when they are no long...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-13 Dan CarpenterFix crashing bug caused by last commit
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpenterstore information in the new dinfo->equiv thing
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpenterintroduce add_tracker_expr()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpentermake set_state() and friends return the new sm_state
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpenterintroduce clone_tracker_list()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpenteradd "equiv" field to struct data_info
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-12 Dan Carpentermove the alloc_dinfo() functions to smatch_extra.c...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-11 Dan Carpentercheck_signed: warn about comparing (unsigned variable...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpenterupdate validation/sm_casts2.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpenter*new* smatch_scripts/show_errs.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpenter*new* smatch_scripts/whitespase_only.sh
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpenteradd -no-lineno option to sparse
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpentervalidation/sm_redundant_check.c now it's "info" not...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpentercheck_precedence: print one warning message instead...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-10 Dan Carpentercheck_signed: handle unsigned 64 bit variables better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-09 Dan Carpenterget_value() handle some more math operations
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-08 Dan Carpentermake redundant null checks before kfree() an "info...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-08 Dan Carpentercheck_signed: Eliminate some false positives
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-08 Dan Carpenterprecedence: check for && vs &
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenterimplications: improve handling of comparisons with...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenteruse implications from POSTOPs
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenterconditions: parse EXPR_POSTOPs after evaluating the...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpentercheck_overflow: remove false positives caused by printk...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenterflow: improve handling of while(i--) { loops
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenterremove strange loop message
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2010-03-07 Dan Carpenterkpatch.sh: ask about alloc() failures specifically
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C