?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
db/vim_db: don't complain when the file is not found
2019-02-08 Dan Carpenterdb/vim_db: don't complain when the file is not found
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-08 Dan Carpenterdb/create_db.sh: don't complain when -p=<project> is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-08 Dan Carpenterdb/fixup_kernel.sh: fix up stuff from the unsigned...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-08 Dan Carpentervalidation: update a few tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-08 Dan Carpentertype: commit some missing pieces
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterextra: small speedup in set_param_hard_max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterhelper: fix expr_to_chunk_helper() for struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpentercomparison: print a "%s" string
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterconstraints: remove debugging and use the stripped...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterdb: improve recording comparisons to parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterimplied: remove some duplicate debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterreal_absolute: don't store data for arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpentersval: remove an extra space character
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpentertype: make pointers unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterextra: tighten canonical for loop handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-07 Dan Carpenterextra: fix function comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-05 Dan Carpenterranges: improve casting negatives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-05 Dan Carpenterimplied: don't use incomplete states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-05 Dan Carpenterimplications: remove a magic number
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-04 Dan Carpenterdb: show comparison strings for conditional returns
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-04 Dan Carpenterdb: don't store recursive struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-04 Dan Carpentertype: handle pointer type correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2019-02-04 Dan Carpenterextra/untracked_param: mark lost parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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
next
Static analysis for C