| 2012-02-22 |
Dan Carpenter | estate: don't reuse extra_undefined()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-22 |
Dan Carpenter | contraints: add option --debug-related
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: make set_equiv() take an expression pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, constraints: move set_equiv() from extra to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | debug: add __smatch_dump_related()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | implied: use add_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate, ranges: move whole_range from estate to ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra: cleanup is_whole_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | ranges: make possibly_true_range_list_rl() take an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | ranges: rename get_single_value_from_dinfo() => estate_get_s...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | implied: use new estate_related() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: use new estate_related() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | constraints: make get_common_relationship() take an...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_related()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | estate: introduce estate_ranges() helper function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | dinfo, estate: mv smatch_dinfo.c smatch_estate.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | tree-wide: s/extra_state/estate/g
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, dinfo: move get_dinfo() from smatch_extra.c...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-21 |
Dan Carpenter | extra, ranges: make possibly_true/false() take an expression...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | *new* kmalloc_wrong_size: checks the element size...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | debug: add __smatch_implied()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | extra: modify match_comparison() so it can deal with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-20 |
Dan Carpenter | dinfo: introduce extra_empty()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | ranges: introduce alloc_range_list()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: remove a variable from match_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: create set_extra_expr_true_false()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-15 |
Dan Carpenter | extra: move some code out of match_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | extra: handle post increment in comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | extra: rewrite how ++ and -- are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | ranges: introduce rl_min() and rl_max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | ranges: remove some duplicate code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-14 |
Dan Carpenter | get_variable_from_expr(): &foo is complicated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-09 |
Dan Carpenter | db: use the return information in a couple other places
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-07 |
Dan Carpenter | extra, db, ranges: move new stuff out of ranges so...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-07 |
Dan Carpenter | db: speedup return info stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: remove debugging message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: handle -1 arguments correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | extra: fix segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: store the return value in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-06 |
Dan Carpenter | db: turn off database journalling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-03 |
Dan Carpenter | ranges: add a FIXME comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-03 |
Dan Carpenter | type: remove a free_netdev() false positive
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-02 |
Dan Carpenter | fill_db_function_ptr: fixup formatting changes fallout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | db_info: we don't care about void returns for now.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | db_info: remove duplicate implementation of show_ranges()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | show_unreachable: format changes fixup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | db: remove an unneeded #include
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | tree wide: change output format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-02-01 |
Dan Carpenter | redundant_null_check: make some variables static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-26 |
Dan Carpenter | extra: uninitialized variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-25 |
Dan Carpenter | conditions: add a __pass_to_client(expr, LOGIC_HOOK)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-25 |
Dan Carpenter | overflow: don't complain about checks after use, inside...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-20 |
Dan Carpenter | db: don't increment the func_id too much
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-20 |
Dan Carpenter | db: turn synchronization off and use a bigger cache_size
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-19 |
Dan Carpenter | *new* logical_instead_of_bitwise: places that use ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-12 |
Dan Carpenter | smatch*: checkpatch.pl fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-12 |
Dan Carpenter | err_ptr_deref: handle PTR_RET()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | validation: remove out of date sm_locking5.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | core: handle foo += bar ? 1 : 0; expressions differently
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | extra: don't discard cast. strip_expr() => strip_parens()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | extra: cleanup: shuffle code around.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | extra: don't remove casts, those are important
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | debug: fix some small memory leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | locking: remove some false positive-y functions without...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-10 |
Dan Carpenter | locking: add some more lock name variations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-04 |
Dan Carpenter | db: caller info needs to record the -1 parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2012-01-04 |
Dan Carpenter | math: fix typo in comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-15 |
Dan Carpenter | *new* bogus_irqrestore: don't restore irq state before...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-09 |
Dan Carpenter | *new* check_wait_for_common: make sure the return is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-09 |
Dan Carpenter | type: add expr_unsigned()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-08 |
Dan Carpenter | db: pass &foo type parameter information to called...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-08 |
Dan Carpenter | math: do math for get_implied_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-08 |
Dan Carpenter | helper: when displaying sizeof() information use bytes...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-08 |
Dan Carpenter | capped: track capped variables across function boundaries
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-08 |
Dan Carpenter | debug: add __smatch_implied_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-12-01 |
Dan Carpenter | math: white space changes.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-25 |
Dan Carpenter | db: save function pointers saved in arrays of structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-22 |
Dan Carpenter | db/function_ptr: clear the correct table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-22 |
Dan Carpenter | db: remove untrusted table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-21 |
Dan Carpenter | extra: unops don't normally change the value of a variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-17 |
Dan Carpenter | tiny white space fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-17 |
Dan Carpenter | uncapped_alloc: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-17 |
Dan Carpenter | helper: remove bogus parens from get_variable_from_expr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-16 |
Dan Carpenter | update smatch_data for 3.2-rc
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-11-01 |
Dan Carpenter | Allow check_debug.h to be included more than once.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-30 |
Dan Carpenter | core: add --file-output variable for make -j8
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-30 |
Dan Carpenter | smatch_extra: clear out struct members if a the pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-28 |
Dan Carpenter | extra: fix crashing bug from last commit.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-22 |
Dan Carpenter | extra: expressions are equivalent even if they are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-22 |
Dan Carpenter | user_data: use is_capped() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-22 |
Dan Carpenter | user_data: handle binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-22 |
Dan Carpenter | *new* smatch_capped: introduce is_capped() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-18 |
Dan Carpenter | *new* check_user_data: record all the user data (and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | buf_size: there was a mistake in handling calls to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | buf_size: record the size of struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | extra: cleanup: use my_id instead of SMATCH_EXTRA
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | db: wrong parameter number in struct member callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | extra: don't print an extra $$
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2011-10-13 |
Dan Carpenter | db: limit the number of function pointer calls we check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
