Public Git Hosting - smatch.git/search

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-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
2010-03-04	Dan Carpenter	improve implied_condition_true() for pre and post ops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	while countdown loops: handle loops where the start... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	handle for loops where we don't know the upper limit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-04	Dan Carpenter	smatch_flow: handling pre loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	extra: comparing something to zero doesn't mean it... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	check_overflow: relax rules on if (ptr < &array[max... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-03-02	Dan Carpenter	extra: handle loops like while(i--) { ... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-27	Dan Carpenter	clean up: merge a couple function for handling for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-27	Dan Carpenter	fix handling of (2 <= x) comparisons where the variable... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-25	Dan Carpenter	check_signed: disable most of the new warnings Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-25	Dan Carpenter	get_type() fix crash on getting pointer types. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get_value() more int to long long mop up. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get_type() fix pointer handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	Fix get_value() for ((unsigned int) -1) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	type_max(): handle unsigned long long. (sort of) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	get rid of --rare option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	rename get_single_value_from_range() => get_single_value_fro... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-24	Dan Carpenter	for loops: add a special case for "for(i = 0; i <... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom