| 2014-12-02 |
Dan Carpenter | validation: remove sm_redundant_check.c because we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-01 |
Dan Carpenter | core: introduce &ghost state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-01 |
Dan Carpenter | locking: add _raw_write_lock()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-01 |
Dan Carpenter | flow: handle if (unlikely(1)) {
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-01 |
Dan Carpenter | untracked_param: add a call back for when we lose track...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-12-01 |
Dan Carpenter | flow: fix how CALL_HOOK_AFTER is called
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-26 |
Dan Carpenter | db, fixup_kernel.sh: annotate ksize()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-26 |
Dan Carpenter | locking: add _raw_write_unlock()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | user_data: tag more functions as syscalls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | db: create a clear_user_data.sh script
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | smatch: make the --no-db option work
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | flow: 7777777777 was too long
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | signed: fix some "0 can't fit into 9223372036854775807...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | free: use expr_to_var() instead of expr_to_var_sym...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-25 |
Dan Carpenter | db: change format from "$$->foo" to "$->foo"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | db: pass "INTERNAL" to caller_info callbacks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | db: cleanup caller_info_callback() a little
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | db: boost the allowable return_states count to 3000...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | type_val: improve the type/value information in the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | buf_size, db: don't store redundant information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | buf_size: given and array and an offset then return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | function_ptr: handle get_from__symbol_get()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | function_ptr: tweak how (*(foo->bar))() is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | flow: handle comma assigns correctly. "foo = (3, 4);"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | hooks: add a FUNCTION_CALL_HOOK_AFTER hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | sval: update sval_is_a_max() to handle the new valid...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | core: make the valid pointer range 4096-7777777777
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-24 |
Dan Carpenter | delete the check_redundant_null_check.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-19 |
Dan Carpenter | db: build a new db first then overwrite the old one
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-18 |
Dan Carpenter | README: point to the Documentation/ directory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-18 |
Dan Carpenter | Documentation: delete README-smatch, move README to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-17 |
Dan Carpenter | db,caller_info: make some pattern matching more precise
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-17 |
Dan Carpenter | extra,free: introduce parent_is_gone()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-17 |
Dan Carpenter | smdb: print call_imples information along with return_states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-13 |
Dan Carpenter | kchecker: let people build a full directory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-13 |
Dan Carpenter | kchecker: fix the option ordering
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-13 |
Dan Carpenter | kchecker: add an --endian option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-12 |
Dan Carpenter | Documentation: say that warnings are stored in warns.txt
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-11 |
Dan Carpenter | helper: segfault because of strip_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-11-08 |
Dan Carpenter | buffer_too_small_for_struct: a variable size buffer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 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 |
