?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
implied: pass sm_states instead of pools
2016-04-20 Dan Carpenterimplied: pass sm_states instead of pools
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-19 Dan Carpenterimplied: fix a type bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-19 Dan Carpenterimplied: update some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-19 Dan Carpenterimplied: create fake implication history
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-15 Dan Carpenterstates: tweak debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-15 Dan Carpenterstates: print debug output in __set_true_false_sm()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-15 Dan Carpenterimplied: overwrite smatch_extra using implied states...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterranges, extra: move and export split_comparison_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterslist: remove unused __set_true_false_if_not_already_set()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterdb: make a file kernel.return_fixes for updating return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterflow: merge multiple case statements in a row together
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterhelper: use . instead of -> for more variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterparam_set: remove an unnneeded variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpenterextra: p++ should clear the states for *p or p->foo
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-14 Dan Carpentermath: handle __builtin_types_compatible_p()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterflow: split case statement handling into its own function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterimplied: replace __get_implied_values() with get_absolute_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterflow: fix bug i just introduced with known switch statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterdebug: print the max size for __smatch_buf_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterdebug: include ->possible and absolute in __smatch_about...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterimplied: remove unnecessary initialization
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterparam_cleared: strip away casting
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterranges: make filter_top_rl() take a range_list filter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterflow: shuffle case statement handling around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterimplied: split the __implied_case_stree() into two...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterextra: white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-12 Dan Carpenterimaginary_absolute: it's like smatch_extra.c for impossible...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterimplied: remove some duplicate lines
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterextra: remove an obsolete comment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterextra: split handle_comparison() into two functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterdb: ignore unreachable returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterdb: split returns in to NULL and non-NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-11 Dan Carpenterdb: remove pointless return
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-06 Dan Carpenterdb: small cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-06 Dan Carpenterhooks: rename CALL_HOOK_AFTER to CALL_HOOK_AFTER_DB...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-06 Dan Carpenteruntracked_param: handle inline calls better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-06 Dan Carpenterflow: doen't reset loop_count for inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-05 Dan Carpenterimplied: use the correct type for conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-04-05 Dan Carpenterscope: delete out of scope variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpentervalidation/sm_chunk2.c: update validation test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpenterdb: revert a "speedup"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpenterreal_absolute: turn this code on
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpentererr_ptr_deref: complain about dereferences inside a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpenterreturn_efault: complain about "return copy_from_user();"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-24 Dan Carpenterbuf_size: save size of fixed arrays that are returned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpentermodification_hooks: remove an unneeded variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterslist: make merge_states() static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterstates: make debug output more consistent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterhooks: put each type of hook into it's own array
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenter.gitignore: add .gdb_history
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterstored_conditions: white space changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpentermath: prefer real_absolute_value to the db value
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterimplied: remove a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterconditions: bug in condition assignments like foo ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterimpossible: handle assignment conditions better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterstring_condition: don't complain about TRACE_EVENT
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterfunction_hooks: handle returs that don't set a state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-23 Dan Carpenterdb: don't use split_success_fail if it doesn't return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterdb: fix bug in print_struct_members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterdb: for impossible returns just do the simplest thing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterextra: use real_absolute values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterextra: improve array handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpentersmatch: add a --time option to print how long smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterflow: handle "*p++ = foo" better.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-21 Dan Carpenterflow: fix inside_loop() with inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-17 Dan Carpenterparam_set: handle array assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterimplied: remove buggy code for working around the old...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterdb/fixup_kernel.sh: add kmalloc_order_trace()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-15 Dan Carpenterdb/fixup_kernel.sh: ignore a lot of PCI errors
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdata/kernel.clears_argument: add copy_user_generic()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdb: split positive from negative returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterexpressions: introduce compare_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterimplied: introduce assume(condition)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-10 Dan Carpenterdb: handle parameter function pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-07 Dan Carpenterstates: handle fake slist properly when we merge true...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpentervalidation: add a test for ranged case statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterconditions: big fake state re-work
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenteravl: remove sign() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterslist: introduce type_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterconditions: add a NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-03-04 Dan Carpenterimplied: revert not already set change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-29 Dan Carpenterextra: handle post op increment loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-26 Dan Carpentertype: fix "strange non-value function or array" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-25 Dan Carpenterleaks: don't reset states to themselves
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-23 Dan Carpenterflow, conditions: handle label statements correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-23 Dan Carpenterdb: fix a bug in splitting return states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-19 Dan CarpenterRevert "states: only set the fake_stree in set_state()"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterlocking: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpentervalidation/sm_implied8.c: update test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterfunction_hooks: use __set_sm_cur_stree() in db_return_states...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterstates: only set the fake_stree in set_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterimplications: use stored_conditions the default fall...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-17 Dan Carpenterimplied: unbreak assign_ranged_functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterstates: delete an unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterimplied: fix PARAM_LIMIT implications again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-16 Dan Carpenterimplied: fall out from fake_cur_stree changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterreal_absolute: += and = are not the same
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterstates: __set_sm_cur_stree() should not change the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-15 Dan Carpenterstates: setting the true state doesn't set the cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-02-11 Dan Carpenterimplied: fix a bug handling PARAM_LIMIT implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C