Public Git Hosting - smatch.git/search

2011-08-20	Christopher Li	Sparse 0.4.4-rc1 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-14	Christopher Li	Fix inlining switch statement. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-14	Christopher Li	validation: inline switch statement Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-12	Christopher Li	inspect: Add switch statement and more Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-05-31	Christopher Li	Remove set but not used variable Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-05-31	Christopher Li	Ignore attribute vector_size Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-26	Christopher Li	Allow overwrite CFLAGS from command line Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-11-08	Christopher Li	inspect: adding function arugument list Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-09-03	Christopher Li	sparse 0.4.3 finial Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-09-15	Christopher Li	Fixup and cleanup modifier_string() function. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-22	Christopher Li	inspect: cast expression Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-13	Christopher	inspect: add some expression inspection Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-13	Christopher Li	inspect: Add test-inspect program Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-13	Christopher Li	inspect: add some example inspect for symbol and statement Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-13	Christopher Li	inspect: add custom ast treeview model Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-07-13	Christopher	Add test case for builtin_unreachable() Signed-off-by: Christopher <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-06-18	Christopher Li	Adding asm goto label test case Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-06-18	Christopher Li	Parsing wide char string Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-04-08	Christopher Li	Allow parsing L'\0' Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher	evaluate: check for NULL type inside typeof Signed-off-by: Christopher <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Adding test case for "x && y && z" . Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Simplify Makefile using static pattern rules Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Declare ignored attributres into a list of string. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Christopher Li	Move noreturn attribute out of ignore attr area Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-10-16	Christopher Li	Make MOD_NORETURN fits into 32 bit Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-10-11	Christopher Li	Sparse 0.4.2 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-19	Christopher Li	move extern inline function to file scope Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Christopher Li	Add validation for restrict and attribute warning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-17	Christopher Li	Update the validation check for ftabstop= Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Clean up Makefile long lines Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Makefile automatic header dependency Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-29	Christopher Li	Warn about explicit usage of sizeof(void) Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-25	Christopher Li	Teach classify_type to handle typeof Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-18	Christopher Li	Add enum member list to the parent Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2008-12-14	Christopher Li	Evaluate iterator symbols Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-10-21	Christopher Li	Perform local label lookup Singed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-05-02	Christopher Li	Pass a bitmask of keywords to handle_attributes Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-05-02	Christopher Li	combinations string clean up Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-04-20	Christopher Li	handle label attributes Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2007-04-20	Christopher Li	Fix the annotated inline call position Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-03-09	Christopher Li	Introduce keyword driven attribute parsing Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-03-02	Christopher Li	Add annotation for inline function call. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-28	Christopher Li	Disable liveness "dead" instruction by default. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-28	Christopher Li	Introduce expression_error Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-26	Christopher Li	Fix core dump on huge switch Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-25	Christopher Li	Adding debug option for showing the linearized instruction. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-25	Christopher Li	Fix a bug that match_idents forget to end with NULL Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-23	Christopher Li	Fix core dump on anonymous symbol. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-23	Christopher Li	Make the ptrlist using the sparse allocator. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-23	Christopher Li	Fix double semicolon in struct declaration	commit \| commitdiff \| tree
2007-02-23	Christopher Li	Fix the segfault when initializer has unknown symbol Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-21	Christopher Li	Handle structure attributes between the structure keyword... Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-02-13	Christopher Li	Bug fix in pointer modifier inheritance at function... Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-27	Christopher Li	Marking anonymous string. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-27	Christopher Li	Another attempt to fix the attribute parsing. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-27	Christopher Li	Enhance debug information. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-27	Christopher Li	Allow more than one command line include file. Signed-off-by: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-17	Christopher Li	Update usage chain for dead branch instruction. Signed-Off-By: Christopher Li<sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-17	Christopher Li	Update usage chain for dead instructions Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-17	Christopher Li	Add instruction to pseudo user tracking. Singed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-17	Christopher Li	Change the symbol access list to a pseudo list Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2007-01-17	Christopher Li	Sparse-based Ctags implementation Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2006-12-05	Christopher Li	cleanup write to argument array hack Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2006-12-05	Christopher Li	delay removing file scope Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2006-11-28	Christopher Li	Fix warning on self check. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2006-11-28	Christopher Li	trivial fix for seg fault. Signed-Off-By: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] static declear	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] using 0 as NULL in sparse	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] linearize bitfield initializer	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] Linearize initializer	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] trivial ansi-c declear	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] make preprocesser command a symbol	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] Use more simple/fast iterators	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] more on fixing dependency	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] avoid matching idents with string compares	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] Avoid recursive inline function expansion	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] Fix "return" target handling	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] linearization bug fix and bitfield handling	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] linearize conditional expressions	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] More linearizion fun	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] pack basic blocks	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] make sparse recognise assembler naming (register...	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] more op-codes	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] condition branch simplification	commit \| commitdiff \| tree
2005-04-08	Christopher Li	[PATCH] PATCH: remove dead while loop	commit \| commitdiff \| tree

Static analysis for C

RSS Atom