?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
states: add an assert
2014-09-26 Dan Carpenterstates: add an assert
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterbuf_size: handle strlen() a bit better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterlocking: add ffs_mutex_lock
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterflow: the __in_pre_condition variable needs to be set...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentersmatch.h: store some dummy database types temporarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterdb: expose the data parameter so we can use data in...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterparse_call_math: change API to use range lists (mostly...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: fix parsing that I broke this afternoon
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: fix up filter_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: use the ranges stored in the database properly...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: fix crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterranges: simplify and robustify str_to_rl_helper() a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterparam_limit: save the comparison to the arguments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpenterfunction_hooks: fix how database comparisons are done
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: pass the ignore field to range_comparison_to_par...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-26 Dan Carpentercomparison: take previous comparisons into account
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-25 Dan Carpenterdb: prefer literals to parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-25 Dan Carpenterdb: re-add some missing [] characters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterassigned_expr: undefine on modification
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterdb: fix how parameter math works
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterassigned_expr: add reverse links
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-24 Dan Carpenterlinks: create a smatch_links.c file with functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterparse_call_math: fix left overs from the format change
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterparam_set: write struct members in terms of parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterextra: write certain returned struct members in terms...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterdb: pass the return expression to the returned_member_callback
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterextra: save return values in terms of parameter math
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpenterdb: unify how parameter descriptions are saved
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-22 Dan Carpentercomparison: add an ignore parameter to expr_equal_to_param()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpenterunreachable: ignore the unreachable() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpentererr_ptr_deref: passing an ERR_PTR to kfree() is a bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-17 Dan Carpenterextra: handle merging NULL pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-16 Dan Carpenterextra: addresses of arrays are non-NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-15 Dan Carpenterdb: remove bogus parameter information from hook type...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-15 Dan Carpenterdb: add a new table which hold parameter types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-11 Dan Carpentertype: introduce type_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-09 Dan Carpenterlocking: remove some duplicate "sometimes locked" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpentergenerisize.pl: filter some more stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpentergeneresize.pl: cleanup indentation
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-09-04 Dan Carpenterranges: a pointer to an array is just a pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterextra: record global declarations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterconditions: update some debug output.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpentercomparison: introduce possible_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterextra: update a debug statement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterfunction_ptrs: track functions which return a function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpentershow_errs.sh: quote some strings properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: put get_sm_state_stree_stack() in the .h file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterstates: change the debug output format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterstruct_assignment: handle kzalloc() better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: add the filename to some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterflow: parse global variables before parsing functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpenterslist: export the set_state_stree_perm() function to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-29 Dan Carpentercomparison: a variable is always equal to itself
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-25 Dan Carpenterremove null tests for arrays.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-25 Dan CarpenterMakefile: allow CC to be defined outside the makefile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-25 Dan Carpentersilence non-ANSI warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-08-05 Dan Carpenterhelper: prevent segfault in expr_to_var()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-07-25 Dan Carpenterextra: improve handling of "if (x * 4 > 12) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-07-18 Dan Carpentermissing_break: make a function static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-07-14 Dan Carpenterdb: fix runtime breakage
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-07-11 Dan Carpenterdereferences_param: add more dereferenced variables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-20 Dan Carpenterranges: remove unneeded NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-20 Dan Carpentertype_val: store fake assignments in a slightly different...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-20 Dan Carpenterparam_set/filter: don't print less useless information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-19 Dan Carpenterdb: fixup after call_implies changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-19 Dan Carpenterparam_cleared: handle direct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-19 Dan Carpenterdb: make call_implies match caller_info with a key...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-18 Dan Carpentersmdb.py: fix test for if a datatype is known
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-12 Dan Carpenterassigned_expression: get the assigned expression using...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-12 Dan Carpenterrosenberg: handle struct to struct assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-06-12 Dan Carpenterdata/kernel.sizeof_param.remove: add __dynamic_pr_debug()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-29 Dan Carpenterstruct_assignment: introduce get_faked_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-29 Dan Carpenterstruct_assignment: handle memcpy(foo, ...) where foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-29 Dan Carpentermath: be more ambitious handling right shifts
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-28 Dan Carpenteruser_data: kstrtoul() and friends should taint data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-28 Dan Carpenterextra: more limits on which variables are equivalent
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-27 Dan Carpenterdb: get return states from function pointers if possible
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-23 Dan Carpenterpropagate: remove validation test because we removed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterslist: introduce merge_fake_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterunreachable: silence "not actually initialized" false...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-22 Dan Carpenterrosenberg: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-16 Dan Carpenterdebug: introduce __smatch_debug_check() to debug a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-14 Dan Carpenter*new* check_no_if_block: sometimes the if block is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-13 Dan Carpenterunconstant_macros: add VM_SOFTDIRTY
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpentertype: introduce is_string()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenteruser_data: introduce implied_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: refactor match_copy_to_user()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: check many more functions instead of just...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-07 Dan Carpenterrosenberg: add memzero() to clear functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-06 Dan Carpenterparam_cleared: memzero() clears the parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-05 Dan Carpenterdb: split all boolean functions into one and zero strees
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-05 Dan Carpenterclear_buffer: remove this code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterparam_cleared: this shouldn't depend on --info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterlocking: update validation to the new error formation
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterlocking: update error format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterstruct_assignment: fix how smatch handles foo = NULL;
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: prepare to check pointers to structs as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: check for holes at the end of the struct
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-05-02 Dan Carpenterrosenberg: this check is kernel specific
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2014-04-25 Dan Carpenterunreachable: turn it on by default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C