?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
extra: track array values
2015-08-15 Dan Carpenterextra: track array values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-15 Dan Carpenterstored_conditons: store the chunk as well as the var_sym_list
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-15 Dan Carpenterranges: add a missing cast in add_range_t()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-14 Dan Carpentervalidation: don't use uninitialized data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-14 Dan Carpentermodification_hook: record the modification expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-12 Sudip Mukherjeekchecker: build already built directory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-11 Dan Carpentersmatch: remove the "loop could be replaced with if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-11 Dan Carpenterbuf_size: unbreak this feature
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-11 Dan Carpentertest_kernel.sh: print where the warnings are saved
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-11 Dan Carpenterbuf_size, db: only store type_size if it is a pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-10 Dan Carpenterstored_conditions, implied: use implications of previous...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-10 Dan Carpenterimplied: re-order where we calculate implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-08 Dan Carpenteroverflow: silence glibc strcmp false positives with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-05 Dan Carpenterimplied, ranges: use type promotion for comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-05 Dan Carpenterranges: use NULL instead of zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-04 Dan Carpenterderef_check, check_deref: only consider pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-03 Dan Carpenterstored_conditions: rename match_modify() to match_link_modify()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-03 Dan Carpentermath: fix an out of memory issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-08-03 Dan Carpentermath: return a bit earlier in handle_binop_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-31 Dan Carpenterimplied: we have to make the false states match as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-31 Dan Carpentererr_ptr: use the actual values to silence false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpentercomparison: fix an oops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpenterfixup_kernel.sh: track kmalloced() vs .text data better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpenterextra: don't try to record the state for literals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpenterflow: add a ->parent member to statement structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpenterranges: don't allow so many inverted ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpentertype: improve get_member_type_from_key()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-30 Dan Carpenterextra: handle arrays better using the chunk code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-29 Dan Carpentertype: make type_to_str() handle arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-29 Dan Carpenterhelper: tiny cleanup in get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-28 Dan Carpenterimplied: fix bug handling unmatched implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-28 Dan Carpenterextra: fix chunk handling a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-28 Dan Carpentervalidation: fix a test a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-27 Dan Carpenterderef_check: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-27 Dan Carpenterderef_check: remove unnecessary call to getting_address()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-27 Dan Carpenterfixup_kernel.sh: fix the rtlwifi hack
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-25 Dan Carpenterunconstant_macros: add MAP_UNINITIALIZED
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-23 Dan Carpenterptrlist: reading deleted items in NEXT_PTR_LIST()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-16 Dan Carpenterranges: fix how some ranges are joined together
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-16 Dan Carpenterranges: avoid a possible integer overflow problem
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-16 Dan Carpenterpointer_math: ALIGN is not bytes, but offsetof() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-16 Dan Carpenterpointer_math: don't complain if a pointer math operation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-16 Dan Carpenterpointer_math: silence false a ton of false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-14 Dan Carpenterchunk: improve expr_to_chunk_sym_vsl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-14 Dan Carpenterhelper: improve get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-14 Dan Carpenterhelper: export get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-11 Dan Carpentertype: export is_local_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-11 Dan Carpenterchunk: change the API a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-10 Dan Carpenterextra: start tracking "chunks" instead of just variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-09 Dan Carpentermath: give up if calculating a value is too complicated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-08 Dan Carpenterimplied: turn off debug messages
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-07 Dan Carpentercheck_list.h: move stored_condition_links next to stored_con...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-07 Dan Carpenterflow: ignore arrays with over a 1000 elements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-06 Dan Carpenterdb/fixup_kernel.sh: hack around slow rtlwifi tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpentercapped: use FOR_EACH_MY_SM()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpenteruser_data2: add skb_network_header()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpenteruser_data2: handle pointers to user data better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpenteruser_data: add kmap_atomic()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpenteruser_data: s/kmemdup_user/memdup_user/
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpentertest_bit: add set_bit() and clear_bit() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-07-01 Dan Carpentercheck_deref: remove call to getting_address()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-30 Dan Carpenterestate: make clone_estate() take a NULL pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-30 Dan Carpenterwhitespace: change some spaces to tabs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-29 Dan Carpenterdebug: add some tools for developing the db parser...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-29 Dan Carpenterbuf_size: improve resizable struct handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-29 Rasmus Villemoeseliminate some cats
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Dan Carpenterdb: fix a bug in split returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Dan Carpenterextra: introduce get_extra_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Dan Carpentersmatch: change all remaining references from warns...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Rasmus Villemoesprefix smatch generated files by smatch_
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Rasmus Villemoestest_kernel.sh: clean up .c.smatch files after cat
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Rasmus VillemoesDocumentation: make me less confused
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-26 Rasmus Villemoestrace_params.pl: fix hash/hash reference confusion
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-23 Dan Carpenterkernel.ignored_macros: add SNIC_BUG_ON()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-10 Dan Carpenterunreachable: ignore list_for_each_entry_continue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-10 Dan Carpenterextra: handle x = (u8)y; correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-09 Dan Carpenterimplied: fix a leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-09 Dan Carpentertype: handle typeof()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-09 Dan Carpentermath: handle __smatch_implied(&foo->bar) a little better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-09 Dan Carpenterassigned_expr: store it late
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-09 Dan Carpenterfunction_hooks: fix validation/sm_compare15.c handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-07 Dan Carpenterlocking: add new down_timeout() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-07 Dan Carpentersmatch_address: fix compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-07 Dan Carpenterfixup_kernel.sh: ignore some __vfs_write() calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-07 Dan Carpenterfixup_kernel: update types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-06-05 Firo YangMakefile: eliminate a llvm-config build warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-26 Dan Carpenterdebug: improve __smatch_states() output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-22 Dan Carpenterflow: ignore parenthesis in prev_expression_is_getting_address()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-20 Dan Carpenterunreachable: ignore netdev_for_each_lower_dev()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-18 Dan Carpenterflow: cleanup prev_expression_is_getting_address()...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-15 Dan Carpenterflow: "&foo->bar" is not a dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-15 Dan Carpentersmatch_address: separate things out into .bss and ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-13 Dan Carpenter*new* check_test_bit: check for test_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-04 Dan Carpentertype: speed up get_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-04 Dan Carpentertype: improve get_binop_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-05-01 Dan Carpenterflow: add a new expr->parent struct member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-27 Dan Carpenterfixup_kernel: hard code __spi_sync() returns.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-27 Dan Carpenterfixup_kernel: kmalloc() can allocate more data. Let...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-27 Oleg Drokincheck_locking.c: Fix annoying invisible read_unlock
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-24 Dan Carpentersmatch_address: sort pointers into different ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C