Public Git Hosting - smatch.git/search

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	Sami Kerola	Makefile: remove SMATCH_DATA smatch_data/kernel.balanced_fun... 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
2017-05-17	Dan Carpenter	slist: reverse the slist order in a way that no one... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-16	Dan Carpenter	extra: make set_extra_mod_helper() void and static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-16	Dan Carpenter	extra: make set_extra_mod() a void function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-16	Dan Carpenter	extra: make set_extra_expr_mod() a void function Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-16	Dan Carpenter	generic_data: fix up some project related things for... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-16	Dan Carpenter	smdb.py: fix summary (it was totally broken before) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-15	Dan Carpenter	links, var_sym: allocate fewer states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-15	Dan Carpenter	modification_hooks: don't save so much data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-11	Dan Carpenter	return_to_param: don't modify memory on the stack Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-11	Dan Carpenter	extra: handle integer overflows better for "int_foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	build_generic_data: several improvements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	test_generic.sh: like test_kernel.sh but for generic... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	generic_data: rename to match build_kernel_data.sh Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	generic_info: allow people to build a specific directory Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	unreachable: don't complain about static declarations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	index_overflow: silence some glibc false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	project: create a way to generate smatch_data for a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-10	Dan Carpenter	core: improve Function too hairy calculation Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	helper: don't crash so much on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	comparison: fix some memory leaks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	db/build_early_index: build another index on parameter_name Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	db/kernel.return_fixes: atomic_read() returns the value... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	debug.c: add some new (not very useful) features Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	buf_comparison: fix build and add make new code functional Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	free: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	err_ptr_deref: make err_ptr_min/max static Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	free: don't complain when people do frob(&freed_variable) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	kernel_printf: fix %pG test Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	logical_instead_of_bitwise: silence some false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	unused_ret: make warning messages consistent with everyone... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	user_data2: tag all union members as untrusted Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	user_data2: if users can only specify a single value... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	extra: use long to short mappings for PARAM_LIMIT and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	user_data2: handle "if (untrusted != trusted) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	buf_comparison: clear array <-> size links better on... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	buf_comparison: record if we pass an ARRAY_SIZE to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-08	Dan Carpenter	return_to_param (mappings): map regular assignments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	user_data2: handle inlines better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	math: prefer real absolutes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	modification_hooks: use long to short mappings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-04	Dan Carpenter	return_to_param: handle "return get_foo(bar);" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-02	Dan Carpenter	expression: fix expr_get_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-05-02	Dan Carpenter	function_hooks: only add comparisons when needed Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: fix some parent transition fallout Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: set parent statements Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	core: add expr_get/set_parent_stmt() accessor functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: create an accessor method expr_get_parent_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: rename set_parent_stmt() => stmt_set_parent_stmt() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-27	Dan Carpenter	flow: rename set_parent_expr() => expr_set_parent_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-26	Dan Carpenter	return_to_param: Use the DB return strings like "[... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb.py: translate more parameter names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb.py: guess the parameter names even if the file... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-21	Dan Carpenter	smdb: don't crash if the parameter names aren't known Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	flow: fix fake env Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	balanced: delete this check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-20	Dan Carpenter	flow: add init_fake_env()/end_fake_env() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-19	Dan Carpenter	stored_conditions: store as expression pointers instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-19	Dan Carpenter	flow, db: fix how inline function assignments are handled Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	flow: remove some buggy unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	flow: fix initialization of nested structs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	db: build an index on the parameter names Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dan Carpenter	math: improve MOD handling Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	test_kernel.sh: add config options Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	Makefile: Install scripts to /usr/share/smatch/smatch_scripts Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-12	Dmitry Monakhov	Makefile: make install prefix configurable Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	parameter_names: store parameter names in the DB Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	smdb.py: reformat call_info output Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	Makefile: use quiet link to link smatch Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	states: fix handling switches inside conditions (fake_cur_stree) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	states: split update_fake_stree_with_merged() and add... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	type_val: small tweak for arrays and complicated lvalues Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-04-11	Dan Carpenter	extra: handle indirection like "p = &foo; *p = 42;" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-29	Dan Carpenter	extra: handle MOD conditions like "if (a % 4) {" better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-29	Dan Carpenter	modification_hooks: remove unused indirect modification... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-17	Dan Carpenter	validation/skb3: delete some accidental debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: don't set parameters to user_data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: handle skb->data math a little better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-16	Dan Carpenter	user_data2: re-work handling of skb->data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	parse_call_math: work around for loops Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	leaks: don't complain if we overwrite NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	free: ignore impossible code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	shift_to_zero: make the error message more informative Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	test_bit: add test_and_clear_bit() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	smdb.py: print the return_implies value Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db/fixup_kernel.sh: ignore do_loop_readv_writev() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	extra: set hard max if a function is called with a... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	extra: fix handling of known conditions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	param_limit: don't set some unchanged limits Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db: prevent slow downs splitting returns apart Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-03-15	Dan Carpenter	db: set parse_error if the SQL fails Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom