?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
sval: fix sval_is_a_min/max() for smaller types
2018-07-24 Dan Carpentersval: fix sval_is_a_min/max() for smaller types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersval: introduce sval_is_ptr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterdb: Use extra sm->possible to decide if splitting the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterextra: introduce get_extra_sm_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterconditions: set the parent expressions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterimplied: set in_fake_env when we do an assume()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterslist: do a small clean up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterstored_conditions: store more conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpenterstruct_assignment: handle memcpy for pointer math better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: silence some if (array[user_controlled_offset...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: change output format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-19 Dan Carpenterspectre: remove is_read/write() checks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterdb: fix get_db_state_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterhelper: clean up get_complication_score()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterhelper: sizeof() is not complicated
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterconditions: split the zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-06 Dan Carpenterconditions: delete unused function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-03 Dan Carpentercheck_user_data: mark kvm_register_read() as returning...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpenternospec: if it's called with trusted data that's the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpenteruser_data: don't pass *$ as user data if the struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-28 Dan Carpentercheck_user_data: some user data was lost at the call...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdb: fix build breakage by adding the type_info schema
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdb: rename call_implies to return_implies
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-25 Dan Carpenterdebug: improve buf size debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_signed: silence some false positives copying...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_shift_to_zero: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercheck_sizeof: fix a typo in the warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterbuf_size: fix recording global sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterbuf_comparison: don't save links to literal sizes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentercomparison: add some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: don't split NULL and non-NULL unnecessarily
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: set the CACHE_PAGES size
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: introduce the cache_db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterdb: clean up the code and export some more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterextra: use PARAM_LIMIT to limit binops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpenterflow: nest some inline statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-22 Dan Carpentermodification_hooks: don't allow multiple modification...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-21 Dan Carpentercomparison: don't save comparisons to oneself
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-18 Dan Carpentercomparison: add some parenthesis
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-18 Dan Carpentervalidation: fix up some failures
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-14 Dan Carpentercomparison: fix filter_by_comparison == for ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-14 Dan Carpenterextra: just set sval assignments directly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpentercheck_spectre: ignore masked off data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenterspectre: use the new is_user_rl() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: silence some more ntohl(foo[i]); false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: silence some sscanf() false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: introduce is_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-13 Dan Carpenteruser_data: cleanup get_user_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-07 Dan Carpentercomparison: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-07 Dan Carpentercomparison: fix validation tests and add a new test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpenterextra: remove an unneeded __set_sm() in db_param_limit_filter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpenterhelper: strip out the byte swaps in strip_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpentervalidation/sm_locking3: fix function declarations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpenterunknown_value: clear the ->parent pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpenterranges: improve str_to_comparison_arg_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpentercomparison: use smatch_extra data in get_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpentercomparison: improve handling of "if (++j == limit)"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpentercomparison: handle j++ var sym lists better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-06-06 Dan Carpenterequiv: type and implication fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-30 Dan Carpenterranges: fix == and != comparisons... (0_0)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-25 Dan Carpenterreturn_to_param: fix parsing calls
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-23 Dan Carpentervalidation: update tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-15 Dan Carpenterdb: make call_implies rows unique
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterflow: remove the call_split_expr() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterextra: handle comparisons to expression statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterdb/fill_db_caller_info.pl: don't perma-ban functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterdb/fixup_kernel.sh: commit all my stuff
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterfunction_ptrs: record local pointer scope correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterreal_absolute: don't save single value assigns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpentersval: fix a bug in sval_too_low()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterdb: introduce db_ignore_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterdb/untracked_param: mark parameters untracked if we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-05-14 Dan Carpenterflow: don't parse inline functions which aren't interesting
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-23 Dan Carpenterdb/constraints_required.schema: add missing semi-colon
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-20 Dan Carpenterflow/expressions/function_hooks: re-fix is_assigned_call()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-20 Dan Carpenterkernel: handle __read_once_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-20 Dan Carpentermath: fix a get_value() bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-19 Dan Carpenterexpressions: make assign_expression() take an op argument
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-18 Dan Carpenterspectre: warn about potential spectre vulnerabilities
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-18 Dan Carpenterexpressions: don't set the ->parent to a fake expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-17 Dan Carpenterexpressions: just allocate zero_expr() fresh every...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-16 Dan Carpenterexpression/smatch_expressions: move expr_set/get_parent...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-12 Dan Carpenteror_vs_and: tidy up whitespace
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-12 Dan Carpenteror_vs_and: min_t() uses the new min() code as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-11 Dan Carpentercheck_or_vs_and: ignore the kernel's min/max macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-11 Dan Carpenterflow/math: handle __builtin_choose_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-10 Dan Carpentervalidation/overflow: change "warn:" to "error:"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-10 Dan Carpenterabout_fn_ptr_arg: don't get into a recursive loop
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterhelper: add get_last_statement_from_expression_stmt...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentermem_tracker: add a --mem option to debug memory use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterexpressions: remove some unnecessary gotos
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterhelper: improve is_error_return(). In the kernel all...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/smatch.common_functions: add some common...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignored_macros: add AA_BUG()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignore_uninitialized params: add...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignore_side_effects add recent macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: handle expression statements better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: remove some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: introduce impossibly_high_comparison()...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C