Public Git Hosting - smatch.git/search

2017-10-04	Dan Carpenter	var_sym: fix expr_to_vsl() for dereferences Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	type: make type_positive_bits() return bits_in_pointer - 1 Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	constraints: add constraints framework Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	helper: improve expr_equiv() to handle numbers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-10-04	Dan Carpenter	helper: improve expr_to_str() for sizeof() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-28	Dan Carpenter	comparison: delete a local_debug message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-25	Dan Carpenter	helper: re-order symbol additions in expr_to_chunk() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-25	Dan Carpenter	var_sym: fix expr_to_vsl() handling for EXPR_DEREF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-21	Dan Carpenter	extra: fix comparisons with zero (more) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-20	Dan Carpenter	db: fix function signatures for pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-20	Dan Carpenter	estate: estate_is_empty() should return false if the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	extra: don't set the false state from empty to zero... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	db: add function_signature to the INTERNAL entries Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-19	Dan Carpenter	db/fill_db_caller_info.pl: fix fallout from moving... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-18	Dan Carpenter	db: don't use globals for caller_info_callback() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-18	Dan Carpenter	db: rename "callbacks" "select_caller_info_callbacks" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	type_val: fix a type bug parsing global assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	type_val: clean up DB code to not use globals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	check_list: move db_call_marker to the start of the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-13	Dan Carpenter	check_deref: ignore pointers if we assign their address... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	ranges: fix a bug handling casting in sval_too_big() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	user_data2, db: fix changing the returned states to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	user_data2: delete a debug statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	debug: introduce __smatch_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	math: ranges: do subtraction handling in rl_binop() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-12	Dan Carpenter	ranges: allow rl_binop() to return NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: store in the database if a function returns... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: points_to_user_data() is true for skb-... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	user_data2: use the extra_nomod_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	extra: add extra_nomod_hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	debug: add __smatch_exit() which halts parsing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-11	Dan Carpenter	param_set: don't ignore "fake" modifications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-08	Dan Carpenter	user_data2: change how conditions are handled to silence... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-09-08	Dan Carpenter	user_data2: handle MOD better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-31	Dan Carpenter	type_val: make is_uncasted_function() stricter Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	db: print more complete return comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	math: uninitialized variable handling subtraction Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	db: Use smatch_data/db/<project>.return_fixes on the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	db: move the !mem_db closer to where it's needed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	zero_to_err_ptr: fix some false positives with ERR_CAST() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	expression: make expr_get_parent_expr/stmt() accept... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	zero_to_err_ptr: make this check more strict Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-29	Dan Carpenter	extra: use a permanent valid range list in check_dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	extra: be more ambitious handling -= assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	validation/sm_compare12.c: update to reflect latest... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	extra: make dereferences limit to valid pointer range... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	validation/impossible: update tests Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	db: silence build warning Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	buf_size: fix validation/sm_buf_size8.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	buf_size: record the size of global variables in the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	buf_size: split up the get_real_array_size() function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	comparison: revert modification_hook_late change Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	validation/sm_impossible: update to latest code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	validation/sm_null_deref.c: update test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	math: don't break the build Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	comparison: store comparisons against functions as... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-28	Dan Carpenter	ranges: fix type bug in filter_by_comparison_call() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	data_source: rename a variable "tmp" => "arg" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	math: handle function pointers better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	check_assigned_expr: use alloc_state_expr() instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	kernel.return_fixes: add fls() and fls64() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	ranges: add a sanity check in str_to_rl_helper() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	conditions: uninitialized variables creating fake assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-23	Dan Carpenter	math: uninitialized variable handling bitwise ANDs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-21	Dan Carpenter	buf_size: use type_bytes() instead of array_bytes() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-17	Dan Carpenter	kernel_printf: stop complaining about every %p0 format Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	db/kernel.return_fixes: add dma_fence_wait_timeout() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	db/fixup_kernel.sh: hack handling of _parse_integer() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	db/fixup_kernel.sh: ignore more __vfs_read/write()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	gen_sizeof_param.sh: save the return type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	kernel.sizeof_param.remove: ignore skb_pull() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	smatch_data: fix parsing of <project>.sizeof_param Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	extra: do more simple algebra Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	math: fix handling of "(char )&foo->bar - (char ... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	smatch_data: acquire_group() doesn't return NULL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-15	Dan Carpenter	signed_integer_overflow_check: if (foo + bar < foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-10	Dan Carpenter	extra: don't save unneeded states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-10	Dan Carpenter	math: let user_data handle binops if it wants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-10	Dan Carpenter	math: handle this (<too complicated math> & 0xff) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-10	Dan Carpenter	math: use comparisons to handle subtraction better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-10	Dan Carpenter	math: handle offset calculation better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-03	Dan Carpenter	conditions: introduce get_conditions() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-03	Dan Carpenter	comparison: fix match_inc() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-03	Dan Carpenter	comparison: fix merge_comparison() for &undefined Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-03	Dan Carpenter	extra: don't call create new states for unknown values... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-08-01	Dan Carpenter	db/kernel.return_fixes: add a couple to_errno() functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-07-28	Dan Carpenter	freeing_devm: passing devm_ allocated memory to kfree... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-07-28	Dan Carpenter	kernel_printf: add support for %pOF Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-07-25	Dan Carpenter	db: don't split NULL/non-NULL returns for reason Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	db: fix some uninitialized variable bugs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	flow: store __next/cur/prev_stmt before parsing inline... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	flow: cleanup state backup for inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	math: tweak how impossible states are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	ranges: make sval_too_big() more accurate Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	kernel: ERR_PTR() basically only returns negatives... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-23	Dan Carpenter	extra: don't overwrite the implications for useless... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-19	Dan Carpenter	db: fix a type issue Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-18	Dan Carpenter	type_val: cast assignments to the correct type Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-17	Dan Carpenter	helper: fix get_member_name() handling of unions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-17	Dan Carpenter	return_to_param: long to short should never return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom