| 2014-11-08 |
Dan Carpenter | documentation/smatch.txt: add some docs on building...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-07 |
Dan Carpenter | type_val: fake + fake is fake
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-07 |
Dan Carpenter | validation, struct_assignment: add some tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-07 |
Dan Carpenter | strip_expr: strip out known true false conditionals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-07 |
Dan Carpenter | smdb.py: add ARRAY_LEN
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-07 |
Dan Carpenter | db, fixup_kernel: add vmalloc() return information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | core: s64max is not a valid pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | string_len: check calls like strcpy(buf + 1, src, size);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | capable: track which functions are only called under...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | type: make type_to_str() print function types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | type: don't crash trying to print pointer types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | debug: add __smatch_type() which prints the type of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-06 |
Dan Carpenter | type: type_to_str() should take a type parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-05 |
Dan Carpenter | flow, db: fake an unknown return if the function is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-05 |
Dan Carpenter | db,extra: fixes to param filtering
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-05 |
Dan Carpenter | debug: add a function to do intersections
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | db, ranges: introduce long_min/max values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | kernel, db: pretend pci functions can't return PCIBIOS_BAD_R...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | db, kernel: when kmalloc() succeeds that implies the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | db: do the comparison against the split apart returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | db: split function call returns if we can
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | flow: handle backwards goto hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-04 |
Dan Carpenter | flow: function declarations are not function definitions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-31 |
Dan Carpenter | return_enomem: re-write without using return_implies_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-31 |
Dan Carpenter | buf_comparison: handle zero size arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-31 |
Dan Carpenter | buf_comparison: export the get_size_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-31 |
Dan Carpenter | buf_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 Carpenter | function_hooks, db: fix a problem with nested calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-30 |
Dan Carpenter | comparison: oops. forgot to commit a chunk.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-30 |
Dan Carpenter | 64bit_shift: find bugs like: u64 foo = 1 << x;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-29 |
Dan Carpenter | auto_copy: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-29 |
Dan Carpenter | precedence: b & mask >> shift is normally a bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-28 |
Dan Carpenter | shift_to_zero: fix an error message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-28 |
Dan Carpenter | free: check for passing or returning freed memory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-28 |
Dan Carpenter | free: 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 Carpenter | db/fixup_kernel.sh: bitmap_allocate_region doesn't...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-28 |
Dan Carpenter | buf_comparison: store which data holds array limits...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-28 |
Dan Carpenter | buf_comparison, buf_size: add realloc() to allocation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-27 |
Dan Carpenter | compare: introduce get_all_comparisons()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-27 |
Dan Carpenter | db: add data_info table
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-21 |
Dan Carpenter | auto_copy: assignments copies states automatically
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-20 |
Dan Carpenter | buf_comparison: look for off by one errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-17 |
Dan Carpenter | Merge branch 'devel'
|
commit | commitdiff | tree |
| 2014-10-16 |
Dan Carpenter | err_ptr_deref: error message should say "negative"...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-16 |
Dan Carpenter | free: improve cross function tracking
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-16 |
Dan Carpenter | shift_to_zero: check for things like "(foo & 0xff...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-14 |
Dan Carpenter | parse_call_math: handle math like "$0->foo + 5"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-13 |
Dan Carpenter | parse_call_math: more format change fallout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-13 |
Dan Carpenter | parse_call_math: NULL terminate buf size recipes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-10 |
Dan Carpenter | call_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 Carpenter | ranges: start implementing rl_binop()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-09 |
Dan Carpenter | comparison: store general limits in the database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-09 |
Dan Carpenter | comparison: take original comparison into account ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-09 |
Dan Carpenter | validation: add a test for the recent function compare...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-08 |
Dan Carpenter | function_hooks: function comparisons can imply a parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-08 |
Dan Carpenter | fixup_kernel.sh: several important updates (bugfixes)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-07 |
Dan Carpenter | comparison: rename falsify_op() to negate_comparison...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-07 |
Dan Carpenter | ranges: rename filter_by_comparison() to something...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-07 |
Dan Carpenter | cgcc: revert part of the -Werror check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-07 |
Dan Carpenter | comparison: rename flip_op() to flip_comparison() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-03 |
Dan Carpenter | Merge 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 Carpenter | smdb.py: add some help text
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-10-02 |
Dan Carpenter | build_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 Carpenter | comparison: don't store comparisons to one's self
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-29 |
Dan Carpenter | comparison: add a comment for update_tf_links()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-29 |
Dan Carpenter | comparison: get rid of the chunk_vsl_eq() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-29 |
Dan Carpenter | comparison: pass the filtered false state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-29 |
Dan Carpenter | comparison: cleanup update_tf_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-27 |
Dan Carpenter | db: fix handling of nested calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | states: add an assert
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | buf_size: handle strlen() a bit better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | locking: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | flow: 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 Carpenter | smatch.h: store some dummy database types temporarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | db: 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 Carpenter | parse_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 Carpenter | ranges: fix parsing that I broke this afternoon
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | comparison: fix up filter_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | ranges: use the ranges stored in the database properly...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | ranges: fix crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | ranges: 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 Carpenter | param_limit: save the comparison to the arguments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | function_hooks: fix how database comparisons are done
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-26 |
Dan Carpenter | comparison: 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 Carpenter | comparison: take previous comparisons into account
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-25 |
Dan Carpenter | db: prefer literals to parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-25 |
Dan Carpenter | db: re-add some missing [] characters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-24 |
Dan Carpenter | assigned_expr: undefine on modification
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-24 |
Dan Carpenter | db: fix how parameter math works
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-24 |
Dan Carpenter | assigned_expr: add reverse links
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-24 |
Dan Carpenter | links: create a smatch_links.c file with functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-22 |
Dan Carpenter | parse_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 Carpenter | param_set: write struct members in terms of parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-22 |
Dan Carpenter | extra: write certain returned struct members in terms...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-22 |
Dan Carpenter | db: 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 Carpenter | extra: save return values in terms of parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-22 |
Dan Carpenter | db: unify how parameter descriptions are saved
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-22 |
Dan Carpenter | comparison: 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 Carpenter | unreachable: ignore the unreachable() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-09-17 |
Dan Carpenter | err_ptr_deref: passing an ERR_PTR to kfree() is a bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
