Public Git Hosting - smatch.git/search

2011-11-21	Dan Carpenter	recognize binary constants Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-11-21	Christopher Li	Add test case for binary constants Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-29	Christopher Li	Sparse 0.4.4-rc2 Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-28	Linus Torvalds	Make 'linearize_return()' helper function Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-28	Linus Torvalds	Make 'linearize_switch()' helper function Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-28	Linus Torvalds	Make 'linearize_iterator()' helper function Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-28	Kamil Dudka	cse: update PHI users when throwing away an instruction Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-28	Kamil Dudka	cse: treat PHI-nodes as other instructions Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-26	Pekka Enberg	sparse: Fix __builtin_safe_p for pure and const functions Cc: Christopher Li <sparse@chrisli.org> Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-25	Pekka Enberg	Show expected vs. actual output on test failure Cc: Christopher Li <sparse@chrisli.org> Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-24	Pekka Enberg	sparse: Enable unhandled validation tests Cc: Christopher Li <sparse@chrisli.org> Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-23	Christopher Li	Fix parsing empty asm clobber Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-23	Christopher Li	Add test case for empty asm clobbers Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-23	Michael Stefaniuc	Ignore the ms_hook_prologue attribute. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-20	Jonathan Neuschäfer	fix common misspellings with codespell Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-08-20	Jonathan Neuschäfer	FAQ: fix a typo ("because or") Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
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-08-11	Jonathan Neuschäfer	fix a memory leak in compile-i386.c Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-06-29	Pekka Enberg	sparse: Add 'artifical' to ignore attributes 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-05-07	Ben Pfaff	evaluate: Allow sizeof(_Bool) to succeed. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-26	Jan Pokorný	parse.c: "if(" -> "if (" adjustment Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-26	Jan Pokorný	use ARRAY_SIZE() when possible (continued) 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
2011-04-19	Linus Torvalds	Teach 'already_tokenized()' to use the stream name... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-19	Linus Torvalds	Add new streams to a hash-list based on their names Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-18	Diego Elio Pettenò	Fix build with GCC 4.6 series. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-18	Diego Elio Pettenò	build: add an all-installable target that builds the... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-18	Diego Elio Pettenò	build: allow easy override of GCC_BASE Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-13	Jan Pokorný	flow.c: make comment for `dominates' reflect code Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-04-13	Jan Pokorný	remove unused "container" macro Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-03-11	Florian Fainelli	Makefile: warn user when libxml and/or libgtk2 are... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-01-03	Namhyung Kim	Update the validation check for escape sequences Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-01-03	Namhyung Kim	Fix tokenizer for octal escape sequences Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-01-03	Namhyung Kim	use ARRAY_SIZE() when possible Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2011-01-03	Nicolas Kaiser	memops.c: always true expression 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-10-08	Mike Frysinger	parser: add Blackfin gcc info 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-09-01	Dan Carpenter	add test-inspect to .gitignore Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-09-01	Bernd Petrovitsch	Fix a typo - "typdef" is neither C nor plain English 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-19	Morten Welinder	skip may_alias and declare builtin_fabs 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	Jiri Slaby	parser: define __builtin_unreachable Signed-off-by: Christopher <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-07-13	Jiri Slaby	parser: fix and simplify support of asm goto Signed-off-by: Christopher <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-06-18	Jiri Slaby	parser: add support for asm goto Signed-off-by: Christopher Li <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	Damien Lespiau	Ignore the may_alias GCC attribute 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	Pointer don't inherent the alignment from base type Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Joel Soete	possible fix to cgcc issue in sparse 0.4.2: Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Buesch	Ignore "naked" attribute Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Buesch	ignore attributes "externally_visible" and "signal" Signed-off-by: Christopher Li <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	Daniel De Graaf	Fix incorrect linearization of "x && y && z" Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Dan McGee	Makefile: fix permissions mixup on install Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Josh Triplett	New attribute designated_init: mark a struct as requiring... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Josh Triplett	Rename -Wall to Wsparse-all, so it doesn't get turned... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Stefaniuc	Handle __builtin_ms_va_list. 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	Michael Stefaniuc	Ignore the alloc_size attribute. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2010-03-29	Michael Stefaniuc	Ignore the ms_abi/sysv_abi attributes. 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-16	Kamil Dudka	do not ignore attribute 'noreturn'... 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-08-21	Pekka Enberg	sparse: Add GCC pre-defined macros for user-space Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-11	Kamil Dudka	make sparse headers self-compilable... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-11	Reinhard Tartler	show_token: handle TOKEN_UNTAINT and TOKEN_ARG_COUNT... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Kamil Dudka	unssa: track uses when replacing a phi node Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Blue Swirl	Define __LP64__ for x86_64 unless in 32 bit mode Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-02	Blue Swirl	Add support for TImode type (__int128_t) Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-29	Kamil Dudka	linearize.h: sanitize header Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-03	Blue Swirl	Add c{l,t}z{,l,ll}, ffsl{,l}, popcountll and floating... Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-08-03	Blue Swirl	Ignore attribute __bounded__, used by OpenBSD headers. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-27	Hannes Eder	test-suite: integrate unhandled proprocessor tests Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-22	Kamil Dudka	compile-i386: do not generate an infinite loop Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-20	Ramsay Jones	Makefile: suppress error message from pkg-config Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-19	Hannes Eder	test-suite: be more verbose on 'unhandled' and 'known... 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-18	Linus Torvalds	Avoid "attribute 'warning': unknown attribute" warning Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Linus Torvalds	Turn off '-Wtransparent-union' by default Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Linus Torvalds	Allow array declarators to have 'restrict' in them Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Samuel Bronson	Have Makefile import local.mk if it exists. Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Alberto Bertogli	Support the __thread storage class Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
2009-07-18	Martin Nagy	Print an error if typeof() lacks an argument Signed-off-by: Christopher Li <sparse@chrisli.org>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom