Public Git Hosting - smatch.git/search

2013-02-18	Dan Carpenter	smatch: fix sm_debug() to always print Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	db, flow: parse inline statements, load stuff into... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-18	Dan Carpenter	states: introduce helper functions to preserve and... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	validation: fix bogus tests so they don't cause segfaults Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	parse_call_math: fix segfault Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: make sql_insert_caller_info() take the call expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: initialize In-Memory database Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: move db stuff from smatch_scripts/db/ to smatch_data/db/ Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	db: everyone must have libsqlite3 installed (not optional) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-16	Dan Carpenter	files: make open_data_file() exported Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	flow: delete unused code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	helper: handle assignments in expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	new check_struct_type: if we allocate an unexpected... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	rosenberg: fix crash parsing different functions with... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move caller_info as close as possible to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: make member_info callbacks take 1 or 0 instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move type_size to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move call_implies to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move return_values to use raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: delete unused no_side_effects table (for now) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move function_ptr to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: move return_states to raw SQL Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-14	Dan Carpenter	db: tools for printing raw SQL instead of human readable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-08	Dan Carpenter	silence bogus "unreachable code" warnings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	param_limit: handle functions where the parameter is... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	db: take static vs global into consideration wit function... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-07	Dan Carpenter	math: handle MOD operation better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	delete bool_implications: this file is unused Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	param_(filter\|limit\|set): add some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	buf_size: don't crash on invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	parse_call_math: silence "internal bug: pop_val popping... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	propagate: fall out from get_implied_min() changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	extra: type bug handling empty states in reset_struct_members() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	ranges: don't allow inverted ranges Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-06	Dan Carpenter	db: don't get print info if the function has over 10000... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-05	Dan Carpenter	math: don't return high values in get_fuzzy_max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-04	Dan Carpenter	overflow: fix false positive allocating a void pointer Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-04	Dan Carpenter	buf_size: fix bug caused by get_implied_max() returning... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-04	Dan Carpenter	db: print less --info for a few problematic functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-04	Dan Carpenter	math: get_implied_max() should be able to return s32max Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	sval: only print "s32max" if the value is actually... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	math: get_implied_min() should be able to return s32min Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	math: tweak get_fuzzy_math() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-03	Dan Carpenter	extra, db: handle passing chars to parameters which... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	math: use NOTIMPLIED instead of HARD_MIN in opposite_implied() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	math: set the "undefined" flag on error in handle_mod() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	or_vs_and: handle conditions inside parenthesis Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-02-01	Dan Carpenter	type: introduce is_void_pointer() and is_char_pointer() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-31	Dan Carpenter	absolute: delete smatch_absolute.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-31	Dan Carpenter	new check_string_len.c: look for sprintf() overflows Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	extra, modification_hooks, db: move get_variable_from_key... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	expressions: use more accurate positions for fake dereferenc... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	modification_hooks: use modification info from the... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	extra, equiv: make call_extra_mod_hooks() global Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	modification_hooks: split out call_modification_hooks_name_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	type: handle strings better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	equiv: call_extra_mod_hooks() inside set_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	buf_size: don't call get_expression_value() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-28	Dan Carpenter	smatch: create a local_debug() macro Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-24	Dan Carpenter	smatch.h, db: add numbers to the info_type enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-24	Dan Carpenter	deref: spelling: derefencing => dereferencing Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	math: calculating the sizeof() used to modify the expression Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	math: use smatch_comparison.c for handling subtraction Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	extra, modification_hooks: set "*p" to unknown if we... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	smatch_expressions: introduce deref_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-23	Dan Carpenter	smatch_expressions: rename deref_expression() to member_expr... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	all: rename expr_to_str_complex() to expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	smatch: rename expr_to_str() to expr_to_var() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-22	Dan Carpenter	missing break: only print one message per switch statement Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-18	Dan Carpenter	extra: get rid of data_type enum Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-18	Dan Carpenter	debug: add __smatch_compare() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	math: improve get_implied_rl() if only the max is known... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	sval: introduce sval_min/max() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-17	Dan Carpenter	smatch_comparison: store how two variables compare... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	slist: fix alignment in alloc_sname() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	validation: update a couple scripts with missing break... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	Makefile: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	equiv: get rid of the ->op member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-15	Dan Carpenter	equiv: update some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-14	Dan Carpenter	constraints: equiv: rename smatch_constraints.c to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-14	Dan Carpenter	ranges: rename show_ranges() to show_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: introduce expr_to_str_complex() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: introduce expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: rename get_variable_from_expr() to expr_to_str_sym() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	smatch: rename get_variable_from_expr_complex() to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	extra: shuffle smatch_extra.h around some more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename filter_range() to estate_filter_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename estate_ranges() to estate_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename is_whole_range() to estate_is_whole() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename extra_undefined() to alloc_estate_whole() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename alloc_estate_range_list() to alloc_estate_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: rename alloc_estate() to alloc_estate_sval() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	estate: shuffle stuff around in the header file Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename free_range_list() to free_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename get_implied_range_list() to get_implied_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename push_range_list() and friends to push_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename range_lists_equiv() to rl_equiv() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename possibly_true_range_lists() to possibly_true_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: shuffle smatch_extra.h around some more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2013-01-11	Dan Carpenter	ranges: rename true_comparison_range_lr() to true_comparison... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom