?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
continue_vs_break: add it checklist.h
2016-07-16 Dan Carpentercontinue_vs_break: add it checklist.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch_address: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenter*new* continue_vs_break: complain if continue is used...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: reserve some db types for later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: shuffle some declarations around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: silence a compile warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentercapped: set it to uncapped if it's modified
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/fixup_kernel.sh: work around for __to_fd()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/fixup_kernel.sh: work around for gfs2_ea_find()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/kernel.return_fixes: specify some functions that...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterimplied: add more information to the debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdebug: print if you give a bad check name to __smatch_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch_data/wine: update wine data files
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterextra: add more parameter dereferences
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentermath: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenteruser_data2: skb->data is not user data, skb->data[0] is
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentertype_value: it doesn't make sense to talk about the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterextra: improve how "if (foo & ~0xF)" is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentermath: ignore byte swaps
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterflow: handle while (42) { ... } loops better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentercomparison,function_hooks: remove impossible paths...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterparam_compare_limit: like param_limit but for comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: add a FIXME regarding a bug I noticed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load/use return comparisons in the cross...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load struct member info into the caller_info...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load the correct comparison information...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpenterflow: don't call scope hooks until after the END_FUNC_HOOKs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpentermodification_hooks: going out of scope is not a modification
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpenterdb/fixup_kernel.sh: update get_user_pages() to match...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpenterfunction_hooks: pull is_impossible_data() into its...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpentercomparison: cleanup handle_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpentercomparison: export some functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-09 Dan Carpenterstates: nullify_path() should do free the fake_cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: handle comparisons that we know are true better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: mark some true false paths impossible based on...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterranges, db: if we can't filter by comparison then use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: handle nested calls better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-04 Dan Carpenterextra: re-write handle_AND_condition()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: handle impossible paths from complicated switch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: get rid of the ->implied member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: get rid of a temporary variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpentersmatch_data/wine.no_return_funcs: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpentersmatch_scripts/gen_no_return_funcs: fix this for other...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterpre-process: make -nostdinc work again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentercheck_wine: make report(R_FATAL, ...) a nullify the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentervalidation/sm_WtoA: add single quotes in output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentersmatch_scripts: update the gen_* scripts to take a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpenterparse: ignore _Pragma()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentersmatch_data/wine.ignored_macros: add ok()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentersmatch_data/wine.no_return_funcs: update the list
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpentersparse: add /usr/include/x86_64-linux-gnu/ include...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-30 Dan Carpenterwine_WtoA: add singled quotes in the output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-25 Dan Carpenterdb: remove PRAGMA synchronous = OFF
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenteravl: make get_stree_id() return -1 if the stree pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenterimplied: handle ->implied states differently
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenterslist, implied: preserve the entire cur_stree in the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenterimplied: fix a bug where we imply the wrong thing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenterimplied: remove an indent level
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-24 Dan Carpenterimplied: change debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-17 Dan Carpenterextra: ignore truncated limits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-15 Dan Carpenterflow: handle asm gotos
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-15 Dan Carpenterdb: split on boolean parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-15 Dan Carpenterstruct_assignment: handle pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-15 Dan Carpenterfunction_hooks: hack around invalid input from the DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-15 Dan Carpenterfunction_hooks: fix the previous range hooks fix again
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterflow: set ->parent for expression statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterhelper, untracked_param: move the int_stack to smatch_helper.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterranges: fix casting to bool
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterflow: set position at the start of the function correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterfunction_hooks: fix a typo in debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterimplied: tweak timeout in separate_and_filter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterfunction_hooks: fix a type issue (affects ranged function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-14 Dan Carpenterfunction_hooks: fix db and ranged_functions integration...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-13 Dan Carpenterdb/kernel.return_fixes: hack around down_interruptible()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-13 Dan Carpenterdb/kernel.return_fixes: add scnprintf()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-13 Dan Carpenterfunction_hooks: fix locking false positives when you...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-13 Dan Carpenterextra: fix memset() handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-11 Dan Carpenterimplied: delete unused function sm_state_in_slist()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-11 Dan Carpenterptrlist: use after free in last_ptr_list()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-11 Dan Carpenterflow: type issue handling switch statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-11 Dan Carpenterranges: fix type issue in remove_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-11 Dan Carpenterconditions: silence valgrind warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-06 Dan Carpenterflow: set final_pass if we have to bail on a function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterextra: export get_other_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterimpossible: add is_impossible_path() to smatch.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterdb: don't crash generating SQL for invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterextra: fix bug handling untracked pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterstruct_assignment: ignore certain types of assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterextra: deferences in fake assignments don't count
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-02 Dan Carpenterextra: handle fake assignments faster
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-01 Dan Carpenterimplied: improve overwrite_states_using_pool()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-01 Dan Carpenterimplied: add a comment explaining how implications...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-06-01 Dan Carpenterfunction_hooks: check PARAM_LIMIT implications all...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-31 Dan Carpenterfunction_hooks: integrate call_implies hooks with the db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpenterslist: mangle the line number of merged states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpentersizeof_param: remove read_rom() from checked functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpentercreate_db: delete some duplicate entrees from function_ptr
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpenterreal_absolute: don't store whole ranges for no reason
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpenterstruct_assignment: pull split_fake_expr() into its...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-05-30 Dan Carpenterdb: limit the amount of data in type_value
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C