Public Git Hosting - smatch.git/search

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
2010-02-24	Dan Carpenter	check_signed: check int types as well Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	smatch.c: use strncpy() instead of strcpy() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	debug: rename __smatch_print_value() => __smatch_value() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	check_signed: expr->op is type int not char Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	Introduce get_fuzzy_min() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	precedence: cut down a few false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	new check_le16: print an error for double cpu_to_le16... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-23	Dan Carpenter	new check_mod_timer: print an warning if someone... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-22	Dan Carpenter	strip_expr(): remove force casts Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-22	Dan Carpenter	kpatch.sh: figure the email address out automatically Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	new smatch_scripts/kpatch.sh: script for mailing... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	Print fewer messages about unreached code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	smatch_conditions: small cleanups and add debug code Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-19	Dan Carpenter	fix WARN_ON handling some more Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	smatch_template: small changes to comments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	clean up the makefile a bit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-18	Dan Carpenter	handle assignments like: foo = x < 1; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch_states: white space changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch is supposed to be using "long long" types internally Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	new_bugs.sh: better filtering of smatch errors from... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	handle stuff like the kernel's WARN_ON() macro Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	smatch_extra: foo = !!x; does not modify x. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	handle assignments like: foo = !bar() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	check_overflow: check for memset() issues Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-17	Dan Carpenter	automatically generate the list of functions which... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-16	Dan Carpenter	new smatch_scripts/summarize_errs.sh: script for... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-16	Dan Carpenter	kernel: fix xfs false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: handle: "int *p = &array;" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix bug in get_array_size_bytes() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	push some more stuff on the big_expression_stack Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: handle casts like ((char *)array)... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix assigning arrays to pointers of... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: fix alignment bug in get_array_size_bytes() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-02-15	Dan Carpenter	check_overflow: prefer recent assignments over the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom