?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
address: return unknown if we can't figure out the offset
2019-02-04 Dan Carpenteraddress: return unknown if we can't figure out the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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-11 John LevonRemove -Wempty-character-constant
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 John LevonAdd illumos projects
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-06 John LevonConvert some sm_msg() into more specific reporting...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-06 John LevonConvert sm_msg() with an error: prefix into sm_error()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-06 John LevonConvert all sm_msg("warn:.." into sm_warning()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-12-06 John LevonRegularise error reporting
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-27 John LevonLook across the entire compile line for smatch arguments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: add -Wempty-character-constant
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: add -Wbig-constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: add -Wno-non-ansi-function-declaration
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: correctly handle "-D foo" and "-U foo"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 Luc Van Oostenryckfix: spaces in macro definition on the command line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John LevonIntroduce skipped_functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John LevonFix escape_newlines()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: lib.c should handle being built 32-bit, compiling...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John Levonsparse: define __x86_64; some software checks for this...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-11-27 John LevonAllow additional CFLAGS to be specified, e.g. "CFLAGS...
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 John Levonclock() is already defined on illumos, so rename the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-31 John LevonIgnore "#ident" as found in some old sources.
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-10-31 John LevonUse $(CFLAGS) when compiling smatch.c itself.
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
next
Static analysis for C