Public Git Hosting - smatch.git/search

2010-01-19	Dan Carpenter	check_memory: eliminate some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	get_value(): the return value was getting cut off Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	check_signed: clarify error message Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	wine_filehandles: if the file handle gets reassigned... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	Help kchecker and wine_checker.sh find the smatch binary Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-19	Dan Carpenter	get_variable_from_expr(): fix array display (even... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	delete_state(): fix a bug calling delete state inside... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	get_variable_from_expr(): use [] for arrays. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-18	Dan Carpenter	fix "make install" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	fix bug in printing file names Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	get_array_name(): return the stripped value. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-17	Dan Carpenter	wine: pp_internal_error() doesn't return Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	unused return: warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	precedence: make test stricter Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	__USE_ISOC99: silence a gcc warning. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-16	Dan Carpenter	check_dev_queue_xmit: make valid_use() static Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	check_signed: change some error: messages to warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	check_signed: fix and turn on by default Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_type(): fix cast handling Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_value(): add initial support for handling casts Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	whitespace: "switch(" => "switch (" Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	get_type(): don't ignore casts! Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-15	Dan Carpenter	eliminate all the "x can't fit into 0" false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	fix getting_address() functions vs parens Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	add check_dev_queue_xmit.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	add --rare option for rare bugs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-14	Dan Carpenter	introduce: add_modification_hook_expr() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move pool_in_pools() and is_checked() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename: get_eq_neq() => separate_and_filter() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: separate do_compare into its own... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move get_implications() lower in the... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: 1 => LEFT Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: clean handle_comparison() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename state => sm Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move check for !is_merged() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename left => lr Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: rename some sm_states: state => sm Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move some functions around Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: comments Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: create print_once() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: get rid of some curly braces Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	implied cleanup: move variable declarations Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-13	Dan Carpenter	Add validation/sm_array_overflow.c Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-12	Dan Carpenter	cleanup remove false_only_stack Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-12	Dan Carpenter	Fix bug in handling for loops Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-10	Dan Carpenter	foo(&bar) means bar is modified. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	check_memory: add_modification_hook isfree => unfree Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	move modification hook to the front of the hook list Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-09	Dan Carpenter	clean up: move everything to get_dinfo() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	introduce: get_dinfo() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: handle addresses differently Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_extra: clean up. state can never be &merged... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: ignore the last member of structs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_extra: I don't like empty ranges Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	add smatch_scripts/gen_array_bounds.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	smatch_data/kernel.array_bounds.remove Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-08	Dan Carpenter	check_overflow: an an "error: " prefix to a printf. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	smatch_scripts/show_unreachable.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	new script: show_ifs.sh Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	introduce getting_address() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	update smatch_scripts/ because of --info format changes Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check offset after use: ignore foo = &array[bar]; Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	check_overflow: move some more stuff under the --info... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	clean up output: warning: => warn: Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-07	Dan Carpenter	modification_hook: -- and ++ are modifications Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-06	Dan Carpenter	It makes sense to check an array offset if it has been... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	check_overflow: separate the two types of states Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-05	Dan Carpenter	Fix precedence/crashing bug check_overflow Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	check_overflow: check for limiting offset after using it Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	introduce alloc_state_num() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-03	Dan Carpenter	cleanup: rename alloc_state() => alloc_sm_state() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	introduce get_fuzzy_max() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	call_tree.pl: make it an interactive program Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	create get_implied_range_list() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-02	Dan Carpenter	sm_info: fix formatting Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2010-01-01	Dan Carpenter	call tree: initial upload Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-31	Dan Carpenter	dma on stack: move data to smatch_data/ Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-31	Dan Carpenter	trace_params.pl: rewrote so it's faster Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add --param-mapper back. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup up option parsing a little Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add option: --info Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	redo how options are parsed. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup: debug_implied_states => option_debug_implied Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	cleanup: debug_states => option_debug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	param_mapper: add --param-mapper option Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	dma on stack: eliminate some false positives Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	Add dma functions that map to usb_control_msg() Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	add smatch_scripts/trace_params.pl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	param_mapper: initial commit Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-30	Dan Carpenter	dma_on_stack: &foo means it's an error too Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	update smatch_data to 2.6.33-rc1 Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	check_overflow: fix crashing bug (divide by zero) Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-27	Dan Carpenter	check_overflow: fix crashing bug Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-25	Dan Carpenter	add a check for passing stack variables to dma functions Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-25	Dan Carpenter	check_used_returns: ignore inb, inw, and inl Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	update validation tests Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	check_overflow: handle arrays inside structs Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-23	Dan Carpenter	Fix crashing bug: func(a & b); Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-22	Dan Carpenter	warn about if(x); type code. Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
2009-12-22	Dan Carpenter	precedence: warn about: if (!a & b) {... Signed-off-by: Dan Carpenter <error27@gmail.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom