Public Git Hosting - smatch.git/search

2009-07-18	Al Viro	Sanitize pointer() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Don't mix storage class bits with ctype->modifiers... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Simplify get_number_value() and ctype_integer() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix __label__ handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix declaration_specifiers() handling of typedef name... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Fix enumeration constants' scope beginning Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Restore __attribute__((mode)) handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-18	Al Viro	Pass decl_state down to ->attribute() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Pass decl_state down to ->declarator() and handle_attributes() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Clean up and split declaration_specifiers() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Have ->declarator() act directly on ctype being affected Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Rewrite and fix specifiers handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Saner type for __builtin_va_list Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Take the rest of specifiers to parse.c Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	preparations to ->declarator() cleanup - separate typedef... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix handling of typedefs with several declarators Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Take the rest of storage class keywords to parse.c Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix regression created by commit af30c6df74f01db10fa78ac0cbd... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Propagate decl_state to declaration_specifiers() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Separating ctype and parser state, part 1 Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Sanitize direct_declarator logics Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix braino in which_kind() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Don't mess with passing symbol to declarator/direct_declarator Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Leave applying attributes until we know whether it... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Apply attributes after ( to the right place Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Warn about non-empty identifier list outside of definition Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	more direct_declarator() sanitizing Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix attribute/asm handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	More nested declarator fixes Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Separate parsing of identifier-list (in K&R-style declarations) Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix handling of ident-less declarations Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	fun with declarations and definitions ...05, 2009 at 09:19:21PM +0000, Al Viro wrote: Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	Fix type_info_expression() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2009-07-17	Al Viro	fun with declarations and definitions Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2008-04-03	Al Viro	catch !x & y brainos Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2008-04-03	Al Viro	fix show_typename() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2008-04-03	Al Viro	saner warnings for restricted types Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] braino in conditional_expression() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] saner -Wtypesign Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] sanitize evaluate_postop() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] fix evaluate_compare() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] sanitize evaluate_ptr_add(), start checking... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] ...,array should degenerate Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-29	Al Viro	[PATCH] file and global scopes are the same for purposes... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-28	Al Viro	[PATCH] handling of typeof in evaluate_member_dereference() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-28	Al Viro	[PATCH] new helper: unfoul() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-28	Al Viro	[PATCH] no such thing as array of functions Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-28	Al Viro	[PATCH] add __builtin_strlen() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] deal correctly with qualifiers on arrays Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] rewrite type_difference() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] fix the sanity check in evaluate_ptr_sub() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] get compatible_assignment_types() deal with... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] start cleaning type_difference() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] integer_promotions() can't get SYM_NODE or... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] clean up evaluate_sign() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-14	Al Viro	[PATCH] saner show_type() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-10	Al Viro	fix handling of pointers in ?: Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-10	Al Viro	fix handling of address_space in casts and assignments Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-09	Al Viro	make size_t better approximate the reality Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-09	Al Viro	first pass at null pointer constants Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-07-09	Al Viro	fix the comma handling in integer constant expressions Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-26	Al Viro	[PATCH] fix handling of integer constant expressions Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-26	Al Viro	[PATCH] implement __builtin_offsetof() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] deal with enum members without excessive PITA Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] warn on return <void expression>; Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] in case of compound literal we want to delay... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] move degenerate() down into compatible_assignment_ty... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] fix default argument promotion Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] fix index conversions in evaluate_ptr_add() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] clean up usual_conversions(), kill evaluate_shift() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] clean up the typechecking in arithmetics Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] cleanup of evaluate_assign_op() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] remove useless argument in evaluate_ptr_sub() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] remove long-dead variable in evaluate_ptr_add() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] null pointer constants have no special meaning... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] mechanically split compatible_assignment_types() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] take cast_to() out of usual_conversions(),... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-25	Al Viro	[PATCH] missing NULL checks in initializer handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-18	Al Viro	[PATCH] fix handling of typeof on structs Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-18	Al Viro	[PATCH] rewrite of initializer handling Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-18	Al Viro	[PATCH] tie the fields of struct in simple list Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-06-18	Al Viro	[PATCH] make copying of EXPR_INDEX non-lazy Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	better recovery from bad operations on bitwise Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	fix interaction of typeof with bitwise types Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	fix alignment for _Bool Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	check for whitespace before object-like macro body Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	saner reporting of overlaps in initializers Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2007-05-27	Al Viro	handle __alignof as equivalent of __alignof__ Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-10-24	Al Viro	switch to hash-based get_one_special() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-10-24	Al Viro	added a bunch of gcc builtins Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] handle fouled-bitwise Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] saner recovery from endianness errors, part 1.	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] merged compatible_..._binop() into single function	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] beginning of SYM_RESTRICT rewrite: restricted_binop_...	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] evaluate_compare() can just use evaluate_arith...	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] introduce classify_type(), use it in obvious... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-10-01	Al Viro	[PATCH] casting null pointer constant to non-zero address... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-09-30	Al Viro	[PATCH] add support for __builtin_choose_expr() Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-09-30	Al Viro	[PATCH] fix duplicate initializer detection Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
2006-09-30	Al Viro	[PATCH] fix for switch(bad_type) {...} segfault Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom