?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
smatch.h: move stree_stack declaration from smatch_slist.h to smatch.h
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-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
2015-03-20 Dan Carpenterfunction_hooks: fix up db_compare_callback()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterfunction_hooks, debug: print impossible returns if...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterhelper: don't strip casting in get_array_offset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterlinks: export merge_link_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterhelper: make expr_to_str() print forced casts
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpentertype: make type_to_str() return a sname() buffer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpentermodification_hooks: set a variable as modified when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenteruser_data2: tag it if a function sets parameters to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterstack: cleanup a function prototype
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-20 Dan Carpenterderef_check: ignore arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-18 Dan Carpentertype: make sval_type_max() default to "long long"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-18 Dan Carpentertype: don't return SYM_NODE types from get_real_base_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-15 Dan Carpenterside_effects: the iterate_all_kinds() macro has side...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-15 Dan Carpenterunreachable: don't complain about iterate_all_kinds()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-13 Dan Carpenterflow: fix "foo += !bar;" assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-11 Dan Carpenterlib: handle -funsigned-char option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-10 Dan Carpenterkernel.ignore_side_effects: add some macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-10 Dan Carpenterindenting: allow "break; case XXX:"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-05 Dan Carpenteruser_data2: mark sscanf() output as user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-05 Dan Carpentermath, rl: fix handing division involving negative numbers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-05 Dan Carpentersval: fix sval_binop_overflows()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-05 Dan Carpenterprecedence: complain about "foo << bar - baz"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-04 Dan Carpenterflow: handle struct initialization better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-03 Dan Carpenterestate: add a NULL check in estates_equiv()
 commit | commitdiff | tree
2015-03-03 Dan Carpenterparam_used: store when a parameter is used so we don...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-02 Dan Carpenterextra: ignore more __in_fake_assign data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-02 Dan Carpentercomparison: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-03-02 Dan Carpentertype: add an expr_signed() function that matches expr_unsigned()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-26 Dan Carpentersmdb.py: add functions to show functions implementing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-26 Dan Carpenterextra: handle temporary shorthand pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-26 Dan Carpenterdereferences_param: look for pointers used as an array
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-26 Dan Carpentercheck_indenting: warn about missing curly braces and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-24 Dan Carpenterparam_cleared: add a comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-24 Dan Carpentervalidation: correct some output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-23 Dan Carpenterdb: build indexes faster
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-23 Dan Carpenterslist: fix compile breakage
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-23 Dan Carpenterkernel_printf: silence some false positives using smatch_str...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-23 Dan Carpenterstrings: record which strings are being used
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-19 Dan Carpenteruser_data2: turn on skb->data tagging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-19 Dan Carpenterdb: rename FILTER_VALUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-19 Dan Carpenterkernel_printf: silence some "struct sockaddr " false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-19 Dan Carpentertype: add unions to type_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-18 Dan Carpentertype_value: speed up loading the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-18 Dan Carpenter*new* return_cast: complain about return -EINVAL in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterformat_string: delete this because check_kernel_printf...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterfunction_hooks: add some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterextra: cleanup db_param_add_set()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterextra: separate PARAM_LIMIT and PARAM_FILTER
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterfunction_hooks: don't take a shortcut for "needless...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterhelper: introduce alloc_state_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpentermath: handle "if (likely(1)) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpentermath: fix/cleanup do_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpentercapped: don't record single values as capped in the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterdb: export get_static_filter()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenteruser_data2: wrong parameter tagged as user data in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterrosenberg: delete some code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterrosenberg: strip away some casting (eliminates a false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterrosenberg: don't save unneeded states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterbuf_size: don't save useless information in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterstruct_assignment: ignore more fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-17 Dan Carpenterslist: fix debugging output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-16 Dan Carpenterparam_cleared, rosenberg: add underscored memset/cpy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-16 Dan Carpenterparam_filter/set: don't record fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-16 Dan Carpenterslist, debugging: don't print ->possible list if there...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-16 Dan Carpentertype_val: add more stuff to ignore
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-16 Dan Carpenterdb/reload_partial.sh: change database info for one...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-13 Dan Carpenterkernel_printf: put lots of single quotes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-13 Dan CarpenterMerge branch 'devel3'
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpentercheck_kernel_printf.c: Simplify recursive calling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpenterkernel_printf: allow '\b' if it's the first character...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpentervalidation/sm_rosenberg.c: don't pass an uninitialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpenterkernel_printf: add some more quotes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpenterkernel_printf: move a warning under the --spammy flag
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpenterkernel_printf: add some quotes around the function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-12 Dan Carpenterkerne_printf: '%pb' is valid
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-02-11 Dan Carpenterwrong_size_arg: warn about "if (memcmp(foo, bar, sizeof...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-01-30 Dan Carpenterstruct_assignment: remove a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2015-01-30 Dan Carpentersval: handle LEFTSHIFTs in sval_binop_overflows()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C