smatch.git
3 days ago Dan Carpentererr_ptr_deref: passing an ERR_PTR to kfree() is a bugmaster
3 days ago Dan Carpenterextra: handle merging NULL pointers better
4 days ago Dan Carpenterextra: addresses of arrays are non-NULL
5 days ago Dan Carpenterdb: remove bogus parameter information from hook type...
5 days ago Dan Carpenterdb: add a new table which hold parameter types
9 days ago Dan Carpentertype: introduce type_to_str()
11 days ago Dan Carpenterlocking: remove some duplicate "sometimes locked" warnings
2014-09-04 Dan Carpentergenerisize.pl: filter some more stuff
2014-09-04 Dan Carpentergeneresize.pl: cleanup indentation
2014-09-04 Dan Carpenterranges: a pointer to an array is just a pointer
2014-08-29 Dan Carpenterextra: record global declarations
2014-08-29 Dan Carpenterconditions: update some debug output.
2014-08-29 Dan Carpentercomparison: introduce possible_comparison()
2014-08-29 Dan Carpenterextra: update a debug statement
2014-08-29 Dan Carpenterfunction_ptrs: track functions which return a function...
2014-08-29 Dan Carpentershow_errs.sh: quote some strings properly
2014-08-29 Dan Carpenterslist: put get_sm_state_stree_stack() in the .h file
2014-08-29 Dan Carpenterstates: change the debug output format
2014-08-29 Dan Carpenterstruct_assignment: handle kzalloc() better
2014-08-29 Dan Carpenterslist: add the filename to some debug output
2014-08-29 Dan Carpenterflow: parse global variables before parsing functions
2014-08-29 Dan Carpenterslist: export the set_state_stree_perm() function to...
2014-08-29 Dan Carpentercomparison: a variable is always equal to itself
2014-08-25 Dan Carpenterremove null tests for arrays.
2014-08-25 Dan CarpenterMakefile: allow CC to be defined outside the makefile
2014-08-25 Dan Carpentersilence non-ANSI warnings
2014-08-05 Dan Carpenterhelper: prevent segfault in expr_to_var()
2014-07-25 Dan Carpenterextra: improve handling of "if (x * 4 > 12) {"
2014-07-18 Dan Carpentermissing_break: make a function static
2014-07-14 Dan Carpenterdb: fix runtime breakage
2014-07-11 Dan Carpenterdereferences_param: add more dereferenced variables
2014-06-20 Dan Carpenterranges: remove unneeded NULL check
2014-06-20 Dan Carpentertype_val: store fake assignments in a slightly differen...
2014-06-20 Dan Carpenterparam_set/filter: don't print less useless information
2014-06-19 Dan Carpenterdb: fixup after call_implies changes
2014-06-19 Dan Carpenterparam_cleared: handle direct assignments
2014-06-19 Dan Carpenterdb: make call_implies match caller_info with a key...
2014-06-18 Dan Carpentersmdb.py: fix test for if a datatype is known
2014-06-12 Dan Carpenterassigned_expression: get the assigned expression using...
2014-06-12 Dan Carpenterrosenberg: handle struct to struct assignments
2014-06-12 Dan Carpenterdata/kernel.sizeof_param.remove: add __dynamic_pr_debug()
2014-05-29 Dan Carpenterstruct_assignment: introduce get_faked_expression()
2014-05-29 Dan Carpenterstruct_assignment: handle memcpy(foo, ...) where foo...
2014-05-29 Dan Carpentermath: be more ambitious handling right shifts
2014-05-28 Dan Carpenteruser_data: kstrtoul() and friends should taint data...
2014-05-28 Dan Carpenterextra: more limits on which variables are equivalent
2014-05-27 Dan Carpenterdb: get return states from function pointers if possible
2014-05-23 Dan Carpenterpropagate: remove validation test because we removed...
2014-05-22 Dan Carpenterslist: introduce merge_fake_stree()
2014-05-22 Dan Carpenterunreachable: silence "not actually initialized" false...
2014-05-22 Dan Carpenterrosenberg: fix some false positives
2014-05-16 Dan Carpenterdebug: introduce __smatch_debug_check() to debug a...
2014-05-14 Dan Carpenter*new* check_no_if_block: sometimes the if block is...
2014-05-13 Dan Carpenterunconstant_macros: add VM_SOFTDIRTY
2014-05-07 Dan Carpentertype: introduce is_string()
2014-05-07 Dan Carpenteruser_data: introduce implied_user_data()
2014-05-07 Dan Carpenterrosenberg: refactor match_copy_to_user()
2014-05-07 Dan Carpenterrosenberg: check many more functions instead of just...
2014-05-07 Dan Carpenterrosenberg: add memzero() to clear functions
2014-05-06 Dan Carpenterparam_cleared: memzero() clears the parameter
2014-05-05 Dan Carpenterdb: split all boolean functions into one and zero strees
2014-05-05 Dan Carpenterclear_buffer: remove this code
2014-05-02 Dan Carpenterparam_cleared: this shouldn't depend on --info
2014-05-02 Dan Carpenterlocking: update validation to the new error formation
2014-05-02 Dan Carpenterlocking: update error format
2014-05-02 Dan Carpenterstruct_assignment: fix how smatch handles foo = NULL;
2014-05-02 Dan Carpenterrosenberg: prepare to check pointers to structs as...
2014-05-02 Dan Carpenterrosenberg: check for holes at the end of the struct
2014-05-02 Dan Carpenterrosenberg: this check is kernel specific
2014-04-25 Dan Carpenterunreachable: turn it on by default
2014-04-25 Dan Carpenterhelper: introduce get_prev_statement() (fix the build).
2014-04-25 Dan Carpenterunreachable: add watchdog() to kernel.no_return_funcs...
2014-04-25 Dan Carpenterunreachable: don't print a warning if we jump to the...
2014-04-25 Dan Carpenterunreachable: ignore unreachable code right after an...
2014-04-25 Dan Carpenterunreachable: turn off backward labeled warnings
2014-04-25 Dan Carpenterunreachable: add some more macros to the .ignore and...
2014-04-25 Dan Carpenterflow: merge continues before the iterator_post_statemen...
2014-04-25 Dan Carpenterflow: handle post op return statements like: return...
2014-04-25 Dan Carpenterunreachable: ignore some conditionally unreachable...
2014-04-25 Dan Carpenterunreachable: ignore common false positives caused by...
2014-04-25 Dan Carpenterunreachable: ignore unreachable code after BUG()
2014-04-25 Dan Carpenterunreachable: move it out of smatch_flow.c and smatch_st...
2014-04-24 Dan Carpenteravl: fix failing "stree->stree_id == 0" assert
2014-04-24 Dan Carpenteroverflow: don't warn if we overflow use buffers
2014-04-16 Dan Carpentersmatch_type: never refer to ->bit_size directly
2014-04-14 Dan Carpenterdb: function with too many pointers to it cause slow...
2014-04-11 Dan Carpenterdb: rename db_callback to caller_info_callback
2014-04-10 Dan Carpenterpropagate: delete this test
2014-04-10 Dan Carpenterstored_conditions: don't store constants
2014-04-10 Dan CarpenterMerge git://git./devel/sparse/chrisl/sparse into merge
2014-04-03 Linus TorvaldsFix error at anoymous unions
2014-04-03 Hans VerkuilAdd test case for the ioc type check
2014-04-03 Hans VerkuilAdd test case for anonymous union initializer
2014-04-03 Hans VerkuilAdd test case for extern array
2014-04-01 Linus TorvaldsUse any previous initializer to size a symbol
2014-04-01 Linus TorvaldsAdd warning about duplicate initializers
2014-04-01 John KeepingSupport GCC's transparent unions
2014-04-01 John Keepingevaluate: split out implementation of compatible_assign...
2014-04-01 John Keepingvalidation/sizeof-bool: fix broken test case
2014-03-07 Dan Carpenterstates: add another read_only check
next