?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
slist: make sm->children a smaller type
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
2018-09-06 Dan Carpenterflow: fake an assign statement for global initializers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpenterflow: tweak how function timeouts happen
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpenterdb: fix a type bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpentersmatch_flow: don't parse inline functions after we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-31 Dan Carpentermtag: add string information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-31 Dan Carpenterflow: handle __builtin_mul_overflow()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-29 Dan Carpenterkernel_printf: silence "specifier is cast from pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-28 Dan Carpenternospec: turn off speculation at rmb(), smb_rmb() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-28 Dan Carpentercheck_signed: ignore fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-25 Dan Carpentermtag_data: clear cache at start of function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-25 Dan Carpenternospec: fix uninitialized pointer crash
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpenterhelper: fake calls are not equivalent to anything
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: handle comparisons: if ((foo = frob(...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: improve "foo = min(...);" assignment handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: hack around some type bugs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentermtag_data: remove duplicate mtag_data and random small...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercontainer_of: fix a bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercheck_check_deref: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-18 Dan Carpenternospec: store functions that return nospec indexes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-15 Dan Carpenternospec: handle CALL_NOSPEC
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-14 Dan Carpenterdb: introduce the --db-file=/path/to/smatch_db.sqlite...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-13 Dan Carpenteruser_data2: use function returns in points_to_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-13 Dan Carpenterfiles: check for schema files relative to the bin_dir
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C