Public Git Hosting - smatch.git/search

2016-07-04	Dan Carpenter	extra: re-write handle_AND_condition() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: handle impossible paths from complicated switch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: get rid of the ->implied member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	implied: get rid of a temporary variable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	smatch_data/wine.no_return_funcs: add more functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-07-01	Dan Carpenter	smatch_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 Carpenter	pre-process: make -nostdinc work again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	check_wine: make report(R_FATAL, ...) a nullify the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	validation/sm_WtoA: add single quotes in output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_scripts: update the gen_* scripts to take a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	parse: ignore _Pragma() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_data/wine.ignored_macros: add ok() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	smatch_data/wine.no_return_funcs: update the list Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	sparse: add /usr/include/x86_64-linux-gnu/ include... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-30	Dan Carpenter	wine_WtoA: add singled quotes in the output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-25	Dan Carpenter	db: remove PRAGMA synchronous = OFF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	avl: 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 Carpenter	implied: handle ->implied states differently Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	slist, implied: preserve the entire cur_stree in the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: 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 Carpenter	implied: remove an indent level Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-24	Dan Carpenter	implied: change debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-17	Dan Carpenter	extra: ignore truncated limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	flow: handle asm gotos Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	db: split on boolean parameter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	struct_assignment: handle pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	function_hooks: hack around invalid input from the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-15	Dan Carpenter	function_hooks: fix the previous range hooks fix again Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	flow: set ->parent for expression statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	helper, 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 Carpenter	ranges: fix casting to bool Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	flow: 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 Carpenter	function_hooks: fix a typo in debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	implied: tweak timeout in separate_and_filter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	function_hooks: fix a type issue (affects ranged function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-14	Dan Carpenter	function_hooks: fix db and ranged_functions integration... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	db/kernel.return_fixes: hack around down_interruptible() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	db/kernel.return_fixes: add scnprintf() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	function_hooks: fix locking false positives when you... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-13	Dan Carpenter	extra: fix memset() handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	implied: delete unused function sm_state_in_slist() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	ptrlist: use after free in last_ptr_list() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	flow: type issue handling switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	ranges: fix type issue in remove_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-11	Dan Carpenter	conditions: silence valgrind warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-06	Dan Carpenter	flow: 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 Carpenter	extra: export get_other_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	impossible: add is_impossible_path() to smatch.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	db: don't crash generating SQL for invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: fix bug handling untracked pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	struct_assignment: ignore certain types of assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: deferences in fake assignments don't count Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-02	Dan Carpenter	extra: handle fake assignments faster Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	implied: improve overwrite_states_using_pool() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	implied: add a comment explaining how implications... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-06-01	Dan Carpenter	function_hooks: check PARAM_LIMIT implications all... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-31	Dan Carpenter	function_hooks: integrate call_implies hooks with the db Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	slist: mangle the line number of merged states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	sizeof_param: remove read_rom() from checked functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	create_db: delete some duplicate entrees from function_ptr Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	real_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 Carpenter	struct_assignment: pull split_fake_expr() into its... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	db: limit the amount of data in type_value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	extra: handle if (IS_ERR(foo[bar])) { ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	db: introduce get_param_name_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	implied: handle chunks in switch statements like switch... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	extra: don't mark all arrays as dereferenced Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	helper: create an alloc_state_expr() helper function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-30	Dan Carpenter	whitespace: remove some blank lines Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: remove unused function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	locking: add more impossible handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	db: remove some extra semi-colons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	ranges: remove an unneeded initializer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	returns: provide a split out list of all the return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	returns: add get_all_returns_states() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	move freeing to AFTER_FUNC_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	db: constify some pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: add missing include Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: don't overwrite non-null pointers because of... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-24	Dan Carpenter	extra: fix handling of "if (foo & 0x3210) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-05-04	Dan Carpenter	param_set: introduce param_was_set_var_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	impossible: handle switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	impossible: don't overwrite the impossible state by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-27	Dan Carpenter	implied: handle implications for if (({whatever; foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-26	Dan Carpenter	slist: create is_leaf() function which is the opposite... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-25	Dan Carpenter	ranges: use signed type for negative ints less than... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	db/kernel.return_fixes regmap_bulk_read() returns negatives... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	ranges: fix a bug in rl_invert() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-22	Dan Carpenter	sval, type: make some functions inline Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: fix an old implication bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: remove unused add_pool() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-20	Dan Carpenter	implied: pass sm_states instead of pools Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: fix a type bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: update some debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-19	Dan Carpenter	implied: create fake implication history Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: tweak debug output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	states: print debug output in __set_true_false_sm() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-15	Dan Carpenter	implied: overwrite smatch_extra using implied states... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	ranges, extra: move and export split_comparison_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2016-04-14	Dan Carpenter	slist: remove unused __set_true_false_if_not_already_set() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom