| 2014-02-25 |
Dan Carpenter | start_states: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | match_returns: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_set: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_limit: update to stree
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_filter: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | param_cleared: upate to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | modification_hooks: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | implied: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | flow: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | extra: update almost everything here to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | conditions: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | comparison: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | user_data: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | unwind: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | template: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | return_enomem: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | puts_argument: update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | memory: partial update to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | locking: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | leaks: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | held_dev: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | frees_argument: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | double_checking: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | debug: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | check_balanced: update to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | db, stree: update smatch_db.c to use stree throughout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-25 |
Dan Carpenter | states, stree: introduce stree versions of __get_cur_slist...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: we can save stree directly in backup...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states: remove unused check_stack_free() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: make a bunch of the public API use stree...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: update pre_cond, cond_true/false stacks...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change goto_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change continue_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change default_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states,implied,stree: change switch_stack to use stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change break_stack to stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change fake_cur_slist_stack to be stree...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | slist, stree: add overwrite_sm_state_stree_stack()...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: change true_stack and false_stack to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | states, stree: convert cur_slist to cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | avl: define clone_stree avl_clone()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | avl: add a bunch of NULL checks to deal with the empty...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | slist, stree: introduce slist_to_stree() and stree_to_slist()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | slist, stree: make an stree version of many slist functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | avl: introduce FOR_EACH_SM()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-24 |
Dan Carpenter | avl: introduce avl_clone()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: allocate on first insert, free on last remove
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: change some void pointers to struct sm_state pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: remove the node->value struct member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: rename node->key to node->sm
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | smatch.h: make struct sm_state and tracker match
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: replace the generic compare with cmp_tracker()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | Makefile: tie avl to smatch instead of to the generic...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: include smatch.h and smatch_slist.h into avl.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: remove some white space
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-21 |
Dan Carpenter | avl: include avl source code from ccan
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | smatch: relicense to GPLv2+
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | Merge branch 'upstream_sparse' into merge
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | double_checking: fix compile problem
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | flow: introduce definite_inside_loop()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | redundant_null_check: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | free: add kmem_cache_free() as a freeing function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | free: use db to make it work across function boundaries
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | extra: handle more kinds of special assignments like...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | function_hooks: ignore += and |= function assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | smatch.h: include scope.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | helper: introduce cmp_pos() to compare positions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | stored_conditions: add get_stored_condition() to the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | deref: for NULL deref warnings initialization to NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | *new* double_checking: warn no duplicative conditons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-11 |
Dan Carpenter | *new* stored_conditions: make a list of known true...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-07 |
Dan Carpenter | type_value: typo meant the u64max was translated to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-02-03 |
Dan Carpenter | unconstant_macros: Add FAULT_FLAG_TRANSHUGE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-29 |
Dan Carpenter | bit_shift: add a comment explaining what the check...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | struct_assignment: fix compiler warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | deref: fix the "(uninitialized returns NULL)" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | buf_size: add a NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | db: create the indexes after the db is loaded
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | data_source: ignore fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | function_ptrs: store arrays better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | function_ptrs: ignore duplicate information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | kernel, db: ignore calls to (struct file_operations...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | comparison: some small cleanups
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | capped: trace variable capping inside function calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | *new* readl_infinite_loops: check for hotplug bugs...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-28 |
Dan Carpenter | flow: add a STMT_HOOK_AFTER hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-24 |
Dan Carpenter | debug: add __smatch_about(var) to print what smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | common_functions: add special handling of sprintf(...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | string_len: export get_formatted_string_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | function_hooks, struct_assignment, extra, db: don't...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | struct_assignment: add a comment explaining what the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | modification_hooks: add a comment explaining what the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | modification_hooks: rely on the database more when...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data: serious bug in handling modifications (missed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data: cleanup: remove special handling of macro...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-23 |
Dan Carpenter | user_data, db: remove some false tagging as "user_data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | struct_assignment: move and improve handling smatch_data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | flow, struct_assignment, clear_buffer: improve how...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | flow: struct_assignments: turn this code on
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2014-01-21 |
Dan Carpenter | helper: taking the address is not a complicated variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
