Public Git Hosting - smatch.git/search

2013-05-20	Dan Carpenter	math: introduce handle_logical_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce handle_comparison_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create handle_call_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: create handle_variable() instead of _get_implied_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: move get_const_value() forward Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: handle casting in _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: fix up some thinkos in the _get_rl() transition Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce temporary RL_IMPLIED enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: duplicate _get_value() into _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: move absolute min/max code from _get_value()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: introduce _get_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	ranges: introduce rl_to_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-20	Dan Carpenter	math: s/NOTIMPLIED/EXACT/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-18	Dan Carpenter	math: improve absolute max/min with regards to casting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-18	Dan Carpenter	sval: fix sval_too_high() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	db: introduce call_results_to_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	db: move get_param_name() to central location Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-16	Dan Carpenter	flow: look at static and not-static local inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-13	Dan Carpenter	extra: add set_extra_nodmod() to smatch_extra.h Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-10	Dan Carpenter	deref: fix segfault parsing invalid c code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-09	Dan Carpenter	implied: preserve equivalence across switch statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-09	Dan Carpenter	math: handle sizeof for zero size bitfields Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: handle previously assigned simple math Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: handle "if (a - 3 > 100) " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	extra: split match_comparison() into two functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	capped: known values are always capped Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-05-08	Dan Carpenter	Revert "sparse: introduce get_expression_value_nomod()"	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	show_unreachable.sh: add some more ignored kernel functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	flow: don't print duplicate "unreachable code" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-20	Dan Carpenter	db: replace database info scripts with smdb.py Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-19	Dan Carpenter	show_unreachable.sh: change the line number format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-19	Dan Carpenter	show_unreachable.sh: replace tabs with spaces Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-18	Dan Carpenter	db: kernel: fake up ->read/write() limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	db: store "too common" functions in the database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	param_cleared: clear_buffer: add them to the check_list... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	extra: don't use the indirect_modification_hook Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	extra: make param_filter set_extra_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	rosenberg: remove pahole dependency Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	parse: add a big hack to track packed structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	new smatch_clear_buffer.c: handle memset() type functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	param_limit/filter: ignore whole ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-17	Dan Carpenter	ranges: an empty range is not a whole range Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	extra: remove some dead code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	extra: small fix for when the database is disabled... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	db: always split the return values if we're not using... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	conditions: use set_extra_expr_mod() to change extra... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	user_data: compat syscall parameters are user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	user_data: using a user supplied offset into an known... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-15	Dan Carpenter	locking: add some more bh lock functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-12	Dan Carpenter	Merge branch 'rfc-attribute-struct' of git://git.kernel...	commit \| commitdiff \| tree
2013-04-12	Dan Carpenter	check_deref: disable "potential NULL dereference" by... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-10	Dan Carpenter	locking: add local_bh_disable/enable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-09	Dan Carpenter	locking: handle null vs non-NULL returns Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	locking: update validation/ tests to the new warning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	function_ptrs: "(*ptrs[0])(a, b)" is the same as "ptrs... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	function_ptrs: record when function pointer is saved... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	rosenberg: remove some structs which don't have holes... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	rosenberg: check for nla_put info leaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	flow: fake member and element assignments better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	expressions: introduce array_element_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	locking: take returns values into consideration Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	check_kernel: look harder for the container_of() macro Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	implied: db: fix how returns are broken apart Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	db: return_id was set incorrectly when inline functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-08	Dan Carpenter	db: fix how the return values are casted Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-04	Dan Carpenter	helper: make is_array() accept NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-03	Dan Carpenter	db: function_ptrs: do better at function ptr to function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-03	Dan Carpenter	flow: create fake assignments for array declarations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-03	Dan Carpenter	flow: expressions: don't try updating to uninitialized... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-03	Dan Carpenter	db: fixup_kernel.sh: (struct mISDNchannel)->send information... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-03	Dan Carpenter	db: fixup_kernel.sh: record where ->notifier_call is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-02	Dan Carpenter	flow: handle inlines better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-02	Dan Carpenter	db: function_ptrs: track pointer to pointer assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-02	Dan Carpenter	math: silence some buffer overflow false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-04-02	Dan Carpenter	db: fixup_kernel.sh: ignore (struct timer_list)->function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: look up all the function pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	helper: allow get_param_num_from_sym() to be used in... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	string_list: introduce list_has_string() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	smatch_string_list.c: separate string_list functions... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: only lookup function pointers once Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	annotate: use it... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	helper: ignore parens in expr_to_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	overflow: silence kernel false positive about __per_cpu_offset Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	kernel: recover module_init/exit() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	flow: pass the sym_list to the END_FILE_HOOK Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: fixup_kernel.sh remove some more USER_DATA tags Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: speedup fill_db_caller_info.pl Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	extra: improve += and -= handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	sval: introduce sval_is_negative_min() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	sval: fix sval_binop_overflows() to accept different... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	introduce smatch_annotate.c: annotate some common functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: give up if there are over 1000 returned states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-25	Dan Carpenter	db: fix slow down caused by recursive function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	buf_size: false positive from large "implied" implied... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	helper: fix expr_to_str() for function calls Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	db: remove more user data from start_xmit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-21	Dan Carpenter	db: manually delete some USER_DATA markers from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-18	Dan Carpenter	extra: move vanilla assigns into their own function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	ranges: in cast_rl() sometimes it's better to just... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-03-15	Dan Carpenter	extra: type bug handling asm expressions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom