Public Git Hosting - smatch.git/search

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
2010-03-13	Dan Carpenter	equiv: preserve ->equiv across merges Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-13	Dan Carpenter	Use the equivalent variable code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-13	Dan Carpenter	remove trackers from ->equiv when they are no long... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-13	Dan Carpenter	Fix crashing bug caused by last commit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	store information in the new dinfo->equiv thing Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	introduce add_tracker_expr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	make set_state() and friends return the new sm_state Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	introduce clone_tracker_list() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	add "equiv" field to struct data_info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-12	Dan Carpenter	move the alloc_dinfo() functions to smatch_extra.c... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-11	Dan Carpenter	check_signed: warn about comparing (unsigned variable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	update validation/sm_casts2.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	new smatch_scripts/show_errs.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	new smatch_scripts/whitespase_only.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	add -no-lineno option to sparse Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	validation/sm_redundant_check.c now it's "info" not... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	check_precedence: print one warning message instead... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-10	Dan Carpenter	check_signed: handle unsigned 64 bit variables better Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-09	Dan Carpenter	get_value() handle some more math operations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-08	Dan Carpenter	make redundant null checks before kfree() an "info... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-08	Dan Carpenter	check_signed: Eliminate some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-08	Dan Carpenter	precedence: check for && vs & Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	implications: improve handling of comparisons with... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	use implications from POSTOPs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	conditions: parse EXPR_POSTOPs after evaluating the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	check_overflow: remove false positives caused by printk... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	flow: improve handling of while(i--) { loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	remove strange loop message Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	kpatch.sh: ask about alloc() failures specifically Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-07	Dan Carpenter	check_deref: handle __GFP_NOFAIL (remove false positives) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-06	Dan Carpenter	check_deref: handle pointers used as arrays Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	smatch_flow: clean up. merge common code in handle_pre_loop() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom