?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
flow: handle backwards goto hooks
2014-11-04 Dan Carpenterflow: handle backwards goto hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-11-04 Dan Carpenterflow: function declarations are not function definitions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-31 Dan Carpenterreturn_enomem: re-write without using return_implies_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-31 Dan Carpenterbuf_comparison: handle zero size arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-31 Dan Carpenterbuf_comparison: export the get_size_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-31 Dan Carpenterbuf_comparison, db: record top level variables in data_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-30 Dan Carpenterfunction_hooks, db: fix a problem with nested calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-30 Dan Carpentercomparison: oops. forgot to commit a chunk.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-30 Dan Carpenter64bit_shift: find bugs like: u64 foo = 1 << x;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-29 Dan Carpenterauto_copy: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-29 Dan Carpenterprecedence: b & mask >> shift is normally a bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpentershift_to_zero: fix an error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpenterfree: check for passing or returning freed memory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpenterfree: don't turn off warnings if --spammy is set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpenterdb/fixup_kernel.sh: bitmap_allocate_region doesn't...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpenterbuf_comparison: store which data holds array limits...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-28 Dan Carpenterbuf_comparison, buf_size: add realloc() to allocation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-27 Dan Carpentercompare: introduce get_all_comparisons()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-27 Dan Carpenterdb: add data_info table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-21 Dan Carpenterauto_copy: assignments copies states automatically
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-20 Dan Carpenterbuf_comparison: look for off by one errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-17 Dan CarpenterMerge branch 'devel'
 commit | commitdiff | tree
2014-10-16 Dan Carpentererr_ptr_deref: error message should say "negative"...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-16 Dan Carpenterfree: improve cross function tracking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-16 Dan Carpentershift_to_zero: check for things like "(foo & 0xff...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-14 Dan Carpenterparse_call_math: handle math like "$0->foo + 5"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-13 Dan Carpenterparse_call_math: more format change fallout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-13 Dan Carpenterparse_call_math: NULL terminate buf size recipes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-10 Dan Carpentercall_math: use range lists instead of only exact values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-10 Dan Carpenterranges: start implementing rl_binop()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-09 Dan Carpentercomparison: store general limits in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-09 Dan Carpentercomparison: take original comparison into account ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-09 Dan Carpentervalidation: add a test for the recent function compare...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-08 Dan Carpenterfunction_hooks: function comparisons can imply a parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-08 Dan Carpenterfixup_kernel.sh: several important updates (bugfixes)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-07 Dan Carpentercomparison: rename falsify_op() to negate_comparison...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-07 Dan Carpenterranges: rename filter_by_comparison() to something...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-07 Dan Carpentercgcc: revert part of the -Werror check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-07 Dan Carpentercomparison: rename flip_op() to flip_comparison() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-03 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/chrisl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-02 Dan Carpentersmdb.py: add some help text
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-10-02 Dan Carpenterbuild_kernel_data.sh: error out if the right packages...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-29 Dan Carpentercomparison: don't store comparisons to one's self
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-29 Dan Carpentercomparison: add a comment for update_tf_links()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-29 Dan Carpentercomparison: get rid of the chunk_vsl_eq() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-29 Dan Carpentercomparison: pass the filtered false state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-29 Dan Carpentercomparison: cleanup update_tf_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-27 Dan Carpenterdb: fix handling of nested calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterstates: add an assert
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterbuf_size: handle strlen() a bit better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterlocking: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterflow: the __in_pre_condition variable needs to be set...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentersmatch.h: store some dummy database types temporarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterdb: expose the data parameter so we can use data in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterparse_call_math: change API to use range lists (mostly...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: fix parsing that I broke this afternoon
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: fix up filter_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: use the ranges stored in the database properly...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: fix crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: simplify and robustify str_to_rl_helper() a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterparam_limit: save the comparison to the arguments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterfunction_hooks: fix how database comparisons are done
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: pass the ignore field to range_comparison_to_par...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: take previous comparisons into account
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-25 Dan Carpenterdb: prefer literals to parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-25 Dan Carpenterdb: re-add some missing [] characters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterassigned_expr: undefine on modification
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterdb: fix how parameter math works
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterassigned_expr: add reverse links
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterlinks: create a smatch_links.c file with functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterparse_call_math: fix left overs from the format change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterparam_set: write struct members in terms of parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterextra: write certain returned struct members in terms...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterdb: pass the return expression to the returned_member_callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterextra: save return values in terms of parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterdb: unify how parameter descriptions are saved
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpentercomparison: add an ignore parameter to expr_equal_to_param()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpenterunreachable: ignore the unreachable() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpentererr_ptr_deref: passing an ERR_PTR to kfree() is a bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpenterextra: handle merging NULL pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-16 Dan Carpenterextra: addresses of arrays are non-NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-15 Dan Carpenterdb: remove bogus parameter information from hook type...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-15 Dan Carpenterdb: add a new table which hold parameter types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-11 Dan Carpentertype: introduce type_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-09 Dan Carpenterlocking: remove some duplicate "sometimes locked" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpentergenerisize.pl: filter some more stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpentergeneresize.pl: cleanup indentation
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpenterranges: a pointer to an array is just a pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterextra: record global declarations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterconditions: update some debug output.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpentercomparison: introduce possible_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterextra: update a debug statement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterfunction_ptrs: track functions which return a function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpentershow_errs.sh: quote some strings properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: put get_sm_state_stree_stack() in the .h file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterstates: change the debug output format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterstruct_assignment: handle kzalloc() better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: add the filename to some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterflow: parse global variables before parsing functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: export the set_state_stree_perm() function to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C