Public Git Hosting - smatch.git/search

2010-05-10	Dan Carpenter	precedence: don't complain about if foo is 0-1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-10	Dan Carpenter	extra: cleanup: rename do_comparison_range() => do_comparison() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-10	Dan Carpenter	known_condition_true/false(): handle expression statements Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-07	Dan Carpenter	new check_kunmap(): confusion between kmap() and... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-02	Dan Carpenter	new smatch_scripts/unlocked_paths.pl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-05-01	Dan Carpenter	flow: cleanup: make split_function() it's own function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-29	Dan Carpenter	deref_check: use in_macro() to silence most of the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-29	Dan Carpenter	math: introduce get_absolute_min/max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: rename get_implied_single_fuzzy_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: shuffle some functions around Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: get rid of the *discard thing Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	math: cleanup: get rid of IMPLIED_SINGLE Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	delete check_null_deref.c and clean up validation/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-28	Dan Carpenter	flow: the next statement should never be the current... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	new check_check_deref.c: checking for null inconsistently Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	new check_no_effect: print warnings statements that... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	setup default modification hooks in set_true_false_states() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-27	Dan Carpenter	introduce in_macro() which returns true if we're in... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-25	Dan Carpenter	introduce: in_expression_statement() and rename get_block_th... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-24	Dan Carpenter	churn: rename __split_statements() => __split_stmt() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	extra: handle i++ and i += 2 better outside loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	filter_kernel_deref_check.sh: print the function names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	Add STRING_HOOK for examining strings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	new check_kernel.c: handle tomoyo_memory_ok() and... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-23	Dan Carpenter	core: fix handling of switch statements with unreachable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	bail out earlier if functions get too difficult Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	include static functions in list of functions which... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-07	Dan Carpenter	new freeing_null: calling free for a variable that... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	equiv: call remove_from_equiv() on assignment Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	math: prevent divide by zero bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-05	Dan Carpenter	check_lock: add more locks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-02	Dan Carpenter	new: check_proc_create() check for world writable proc... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	math: teach smatch to understand const values Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	check_overflow: fix theoretical memory leak Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	core: fix problem in handling select statement / ORing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	cleanup: rename sm_states to "sm" instead of "state". Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	get_variable_from_expr(): if it involves a number it... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-04-01	Dan Carpenter	debug: print more useful information about conditions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	locking: handle spin_trylock_irq() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	locking: handle spin_lock_irqsave_nested() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	locking: handle raw_spin_unlock_irqrestore() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	locking: make "sometimes locked" messages depend on... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	Merge branch 'devel' into devel_equiv	commit \| commitdiff \| tree
2010-03-31	Dan Carpenter	equiv: if a variable is only equivalent to itself set... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-30	Dan Carpenter	extra: use the fake assignments instead of the initializer Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-30	Dan Carpenter	equiv: never set SMATCH_EXTRA values directly Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-30	Dan Carpenter	equiv: eliminate bogus call to set_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-30	Dan Carpenter	introduce __smatch_debug_on() and __smatch_debug_off() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-29	Dan Carpenter	locking: make spinlock_irqsave() work for my config Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-29	Dan Carpenter	locking: white space fixes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-29	Dan Carpenter	locking: add more standard locks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-28	Dan Carpenter	check_locking: clean up list of kernel locks Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-27	Dan Carpenter	handle select assigns: foo = a ? b : c; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-27	Dan Carpenter	core: fake cur_slist more completely Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-27	Dan Carpenter	core: rewrite select statement handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-26	Dan Carpenter	states: verify that the stacks are empty at the end... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-26	Dan Carpenter	Rename functions: __pop_foo() => __discard_foo() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-26	Dan Carpenter	smatch_states: rename some functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-26	Dan Carpenter	release_resource: Doh. It's looking for the wrong... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-26	Dan Carpenter	fix select statement handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-25	Dan Carpenter	core: cleanup. delete fake condition stack code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-25	Dan Carpenter	core: make fake cur_slists stackable Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-25	Dan Carpenter	slist: make set_state_stack() return the new sm_state Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-25	Dan Carpenter	new check_release_resource.c: check that we release... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-24	Dan Carpenter	flow: split asm clobbers, inputs and outputs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-23	Dan Carpenter	white_spaceonly: allow header files Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-22	Dan Carpenter	new strip_whitespace.pl: removes all the whitespace... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-22	Dan Carpenter	new check_resource_size(): prod people to use resource_size() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-21	Dan Carpenter	extra: assume impossible things are impossible Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-20	Dan Carpenter	err_ptr: fix btrfs false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-20	Dan Carpenter	err_ptr: handle when an err_ptr is reassigned Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	new check_db_info.c prints out stuff that will be... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	cleanup: move stuff from smatch_extra.c to smatch_math.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	whitespace changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	equiv: fix crashing bug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	check_overflow: malloc() => __alloc_smatch_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	smatch.c: don't leak those 10 bytes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-19	Dan Carpenter	assigned_expr: fix memory leak Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-17	Dan Carpenter	kernel: free_area() doesn't call kfree() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-17	Dan Carpenter	new check_return.c: complain if you don't check the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: make get_implied_value() work for pointers better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: cleanup: create separate _get_implied_value(... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: handle modulus '%' operations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: handle EXPR_POSTOP Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: cleanup: make handling binops a switch() statement Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: cleanup create separate handle_binop() function Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: cleanup. use cast_to_type() instead of re-implimenting it Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-16	Dan Carpenter	math: cleanup. separate handle_preop() into it's own... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	equiv: fix crashing bug introduced in 8c358883a Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	Create separate smatch_math.c file Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	update smatch_data/ for 2.6.34-rc1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	implied: clean up make a separate handle_zero_comparison... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	equiv: handle comparisons with zero Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	equiv: cleanup separate set_extra_true_false() into... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-15	Dan Carpenter	equiv, implied: fix handling borrowed implications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-14	Dan Carpenter	implied: don't update the equivelent states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-14	Dan Carpenter	rm validation/smatch_closet/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-14	Dan Carpenter	equiv: don't overwrite the implication information Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-13	Dan Carpenter	rename __set_state() => __set_sm() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-13	Dan Carpenter	rename clone_state() => clone_sm() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom