Public Git Hosting - smatch.git/search

2006-07-08	Linus Torvalds	Fix dropped type information in "add_pseudo()". Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2006-06-10	Linus Torvalds	Fix NULL ptr dereference with bad type Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2006-05-09	Linus Torvalds	Merge branch 'init-braces-fix' of git://git.kernel...	commit \| commitdiff \| tree
2006-01-08	Linus Torvalds	Fix incorrect cast simplification around '~' operation Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-12-31	Linus Torvalds	Make local declarations be statements of their own Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-23	Linus Torvalds	example: OP_COPY must destroy any old pseudo state Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-23	Linus Torvalds	Make the "example" compiler use the new unssa() phase Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-22	Linus Torvalds	When taking the address of a symbol, fix up the pointer... Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-20	Linus Torvalds	Simplify some more instructions	commit \| commitdiff \| tree
2005-11-20	Linus Torvalds	Remove totally bogus phi-source liveness thing. Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-19	Linus Torvalds	Evaluate expressions fully when doing type comparisons... Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-17	Linus Torvalds	Fix up stupid thinko in K&R parameter parsing. Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-16	Linus Torvalds	Re-name "error()" function to "sparse_error()" Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-16	Linus Torvalds	Fix K&R argument scoping Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-16	Linus Torvalds	Integer promotion: leave sufficiently large integer... Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-04	Linus Torvalds	Make switch/case statements check type compatibility Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-03	Linus Torvalds	Cast all enum values to the final type Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-03	Linus Torvalds	Make sure we keep enum values in a sufficiently large... Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-11-02	Linus Torvalds	Add ".gitignore" file	commit \| commitdiff \| tree
2005-11-02	Linus Torvalds	Handle symbols from "-include" file too Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-09-30	Linus Torvalds	Make sure to be more careful about marking symbols...	commit \| commitdiff \| tree
2005-09-27	Linus Torvalds	Simplify constant array (or structure) dereferences...	commit \| commitdiff \| tree
2005-09-27	Linus Torvalds	Teach dereference expansion to look into constant array...	commit \| commitdiff \| tree
2005-09-24	Linus Torvalds	Do stupid and crappy CSE on casts.	commit \| commitdiff \| tree
2005-09-22	Linus Torvalds	Turn the "incorrect type" error back into a warning Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-09-15	Linus Torvalds	Add various declarations for more builtin functions Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-09-15	Linus Torvalds	Make sure that when we define __OPTIMIZE[_SIZE]_ we...	commit \| commitdiff \| tree
2005-09-09	Linus Torvalds	Warn about undefined preprocessor symbols at expansion... Signed-off-by: Linus Torvalds <torvalds@osdl.org>	commit \| commitdiff \| tree
2005-08-15	Linus Torvalds	Make 'cgcc' work at least half-way better	commit \| commitdiff \| tree
2005-08-15	Linus Torvalds	Fix parsing of top-level asm statements	commit \| commitdiff \| tree
2005-08-15	Linus Torvalds	Add __OPTIMIZE[_SIZE]__ predefines	commit \| commitdiff \| tree
2005-08-15	Linus Torvalds	Clean up iterator handling	commit \| commitdiff \| tree
2005-08-11	Linus Torvalds	Make delete_last_instruction() use the new undo_ptr_list_las...	commit \| commitdiff \| tree
2005-08-11	Linus Torvalds	Add 'undo_ptr_list_last()' helper function	commit \| commitdiff \| tree
2005-08-06	Linus Torvalds	Have more bits for "stream number" in "struct pos"	commit \| commitdiff \| tree
2005-08-04	Linus Torvalds	Don't overwrite built-in macros when redefining them.	commit \| commitdiff \| tree
2005-08-04	Linus Torvalds	Update the calling interface to "sparse()".	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Get closer to parsing multiple files correctly.	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Add function to "protect" allocations from being dropped...	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Don't free expressions after preprocessing	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Add DEBUG mode, which enables various expensive debug...	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Make types have file scope, not global scope	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Make "sparse()" handle multiple input files on the...	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	Make macros have file scope	commit \| commitdiff \| tree
2005-08-03	Linus Torvalds	When dropping all allocations, clear the freelist too	commit \| commitdiff \| tree
2005-08-02	Linus Torvalds	Start work on proper scoping with multiple files	commit \| commitdiff \| tree
2005-07-11	Linus Torvalds	Don't warn about "nocast" warnings that only change...	commit \| commitdiff \| tree
2005-07-03	Linus Torvalds	Add "__builtin_offsetof()" to work with newer gcc's	commit \| commitdiff \| tree
2005-06-21	Linus Torvalds	Be more careful about linearizing conditionals	commit \| commitdiff \| tree
2005-06-20	Linus Torvalds	Initial cut at __builtin_expect() implementation	commit \| commitdiff \| tree
2005-06-20	Linus Torvalds	Default to reporting the same GNU C version as the...	commit \| commitdiff \| tree
2005-06-20	Linus Torvalds	Fix assignment and conditional expression parsing with...	commit \| commitdiff \| tree
2005-06-20	Linus Torvalds	Fix SIGSEGV on assignment to bad left side.	commit \| commitdiff \| tree
2005-06-17	Linus Torvalds	Fix up a few missing base type evaluations	commit \| commitdiff \| tree
2005-06-17	Linus Torvalds	Fix up type examination.	commit \| commitdiff \| tree
2005-05-19	Linus Torvalds	Don't warn about undeclared "main()" function.	commit \| commitdiff \| tree
2005-05-19	Linus Torvalds	Fix position reporting on unterminated preprocessor...	commit \| commitdiff \| tree
2005-05-17	Linus Torvalds	Fix SIGSEGV on non-ANSI function-line declarations...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Give function name in non-ANSI declaration warning.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make enum symbols be regular symbols with constant...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Warn about implicit casts to/from "nocast" types	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Move the ptrlist macros out of the sparse "lib.[ch...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Handle bad enum expression types gracefully.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Add support for context checking functions.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Name static library "libsparse.a" to match shared library...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Don't warn about zero-sized "sizeof"	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Warn about undeclared identifiers.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Support building sparse as a shared library.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Warn about sizeof of zero size.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Be more careful about removing implicit casts.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make sure to re-examine a struct/union/enum type after	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make "check" (aka sparse) check arguments to some functions.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Fix typo (duplicate src2 should be src3) in simplify_range	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Remove old stale pointer dereference type mess, that	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Export "is_ptr_type()" helper function to others.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Avoid SIGSEGV when linearizing bad expressions.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Don't drop modifier bits from a member dereference.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Use the new per-instruction position information for...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make each instruction have a position of its own.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make range check code a bit more readable (and more...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Add compile-time "range-check" infrastructure to sparse	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make sure we evaluate pointer comparisons as unsigned.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Shut up informational messages once we've hit the maximum	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make "check" (aka "sparse") check data-dropping casts.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make simplification remove casts that change neither...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Split OP_CAST into signed, unsigned and FP casts.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Simplify OP_CAST of OP_AND.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Don't optimize away casts too early.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Duh. When a function returns VOID, we should _not_...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Fix code generation confusion between OP_ADDR and the	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make the example code generator do something half-way...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make constant instruction simplification take the sign...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Split the binops where signedness matters into unsigned...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make linearizer able to handle assignment ops where the	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Evaluate asm outputs as assignments.	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	We didn't mark symbols with their address taken as...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Make expression type enums start at one..	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	inlining: don't copy an initializer expression for...	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Linearize EXPR_POS initializers more carefully: they can	commit \| commitdiff \| tree
2005-04-08	Linus Torvalds	Add option "-Wptr-subtraction-blows" to warn about...	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom