?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
helper: tiny cleanup in get_complication_score()
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
2015-04-23 Dan Carpenterextra: remove some unused functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-23 Dan Carpentersmatch.h: add the comparison hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-22 Dan Carpentertype_to_str: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-22 Firo Yangsmatch.h: add estate_get_single_value() declaration
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-13 Dan Carpenterignore_side_effects: get_child_rcu() double evaluates...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-09 Dan Carpenterimplied: use comparison information for implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-09 Dan Carpentersmatch.h: move stree_stack declaration from smatch_slist...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-04-07 Dan Carpenterrosenberg: add __builtin_memset/memcpy()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenteruser_data2: handle returned struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpentercomparison: update a comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpentersmdb.py: update to reflect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterunwind: add some null checks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpentertype: include smatch_slist.h to prevent a segfault
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterextra: don't set states to unknown at the beginning...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterextra: don't set true false states if they are the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterfunction_hooks: add a hack around in compare_db_return_state...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterlist: add a comment about register_implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterparam_limit: handle struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterstates: white space fix
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterconditions: ignore known/implied conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterstrings: record string assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterstruct_assignment: save a lot more information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Dan Carpenterparam_limit/filter: fix a type bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-30 Silvan Jegendb: Avoid dereferencing null pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-26 Dan Carpentercomparison: handle canonical for loops with variable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-26 Dan Carpentercomparison: unsigned can not be less than zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-26 Dan Carpenterflow: set __cur_stmt and __prev_stmt inside for loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-26 Dan Carpentercomparison: merging equivalent states is not undefined
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-26 Dan Carpentercomparison: fix an indent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C