?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
implied: tweak some debug statements
2019-01-31 Dan Carpenterimplied: tweak some debug statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-28 Dan Carpenterexpressions: parse "$0->foo.bar" correctly.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-28 Dan Carpenterreturn_to_param: use ident->len instead of strlen()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-28 Dan Carpenterparam_set: handle mtag assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-28 Dan Carpenterassigned_expr: make it work for parameter assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-25 Dan Carpenterequiv: use DB information to set extra state in equiv...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-23 Dan Carpenterextra: improve get_other_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-23 Dan Carpenterextra: futz around with get_other_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-22 Dan Carpenterhelper: improve get_member_name() for anonymous structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-22 Dan Carpenterdb: escape new lines in save_cache_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-22 Dan Carpenterranges: constify call_results_to_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-22 Dan Carpenterextra: filter really long unused param value information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-22 Dan Carpenterextra: use ident->len instead of calling strlen(ident...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpenterdb: don't create new splits in split_positive_from_negative()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpenterextra: fix returned_struct_members()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpenterparam_used: fix handling of called functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpenterextra: export in_warn_on_macro()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpentertype: misc small cleanups
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpentertype: fix get_member_from_string()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpenterkpatch.sh: fix spelling s/ammend/amend/
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-16 Dan Carpentertype: add a short cut in get_real_base_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-14 Dan Carpenterimplied: Preserve ->hard_max for fake history states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-14 Dan Carpenterextra: preserve hard_max after comparisons to zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-08 Dan Carpenterslist: make sm->children a smaller type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-08 Dan Carpenterslist: rename variables in __merge_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-08 Dan Carpenterslist: handle the fast path in __merge_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-01-08 Dan Carpenterslist: simplify __merge_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-19 Dan Carpenternospec: don't record nospec parameter info which hasn...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-14 Dan Carpenterdma_mapping_error: update to only complain about legacy...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-07 Dan Carpentersmatch: add a --succeed option
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-06 Dan Carpenterdb: make escape_newlines() take a const pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-04 Dan Carpenterparse.h: create stmt_get_parent_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-04 Dan Carpenterconstraints: escape SQL statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-04 Dan Carpenterstatement_count: record how many statements there are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-30 Dan Carpenterextra/db: silence an invalid SQL warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-29 Dan Carpenterbuf_size: fix handling of 1 element arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-29 Dan Carpenterdb: sql debug mode was executing the SQL twice
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpentertest_bit: add test_and_set_bit()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterdebug: introduce __smatch_mem()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterdb: don't save struct members for integers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterimplied: remove an unnecessary NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenternul_terminator: export the is_nul_terminated() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterkpatch: use git instead of trying to create diffs by...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterstruct_assignment: handle unions as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpentermissing_break: turn it off by default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan Carpenterfree_strict: fix some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-28 Dan CarpenterRevert "Look across the entire compile line for smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-14 Dan Carpentertrinity: Proof of concept to auto-generate trinity...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-01 Dan Carpenteruser_data: rename to smatch_kernel_user_data.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-01 Dan Carpenterassigned_expr: rename to smatch_assigned_expr.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-31 Dan Carpentersmatch: make the --enable/disable options take strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-31 Dan Carpentersmatch_nul_terminated: fix compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-31 Dan Carpenteruntracked_param: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-30 Dan Carpenteruninitialized: fix a crashing bug parsing "return ...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-23 Dan Carpenternul_terminator: track when strings have a NUL terminator
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpenteruser_data2: fix a type issue in caller_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpenteruser_data: integers can't be dereferenced
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpentercomparison: make a buffer larger to make GCC happy
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpenterdata_source: track assignments better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpenterextra: prevent a divide by zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpentermodification_hooks: use the DB for frob(&foo);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-18 Dan Carpentersval: introduce sval_binop_overflows_no_sign()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-28 Dan Carpenterextra: undo bogus unop changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-27 Dan Carpenterarray_values: fix up and support two dimensional local...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-27 Dan Carpenterparam_set: don't record a param_set for p++ changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-27 Dan Carpenterfunction_hooks: re-hack around moving the fake parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-26 Dan Carpenterarray_values: store array values of struct member arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-26 Dan Carpenterfunction_hooks: hack around fallout from moving the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-24 Dan Carpentercomparison: don't return invalid params in get_mask_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterdb: don't print "failed to open" warnings...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_set: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpentermtag: temporarily disable generating mtag for kmalloc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterexpressions: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: fix a type bug in inserting info into caller_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterkernel: don't insist that the parameter is named "error"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: export is_impossible_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterflow: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterfunction_hooks: do the fake parameter assignment after...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_limit: fix generify_mtag_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: clear_pointed_at_state() is a nomod state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_set: handle when the stack variable was modified...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparse_call_math: don't say the return is equal to a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterscope: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpentersval: handle casting to bool
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterarray_values: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterno_spec: record when functions have a barrier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-14 Dan Carpenterextra/type: fix type of return PARAM_ADD/SET
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-14 Dan Carpenterparam_limit: make mtag limits more generic
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-12 Dan Carpenterparam_set: don't save if the parent is set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenteratomic_inc_dec: add a couple more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentersigned_integer_overflow: ignore this for the kernel
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentermath: handle conditionals like: "a = b?: c;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenternospec: don't fill the DB up with garbage
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentersizeof: fix NULL dereference parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenterstrings: truncating large strings causes SQL problems...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentertype_val: don't double record globals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentertarget: man ssize_t be unsigned long instead of unsigned...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenterextra: don't reset impossible states after a condition
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-10 Dan Carpenterarray: store possible array values for simple arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpentermtag: HACK: return false if the mtag is zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C