Public Git Hosting - smatch.git/search

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
2006-05-09	Al Viro	[PATCH] count_array_initializer() needs to know the... Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>	commit \| commitdiff \| tree

Static analysis for C