?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
comparison: improve handling of "if (foo + 1 > limit) "
2018-02-19 Dan Carpentercomparison: improve handling of "if (foo + 1 > limit) "
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterdb/comparison: Use mask information to get comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpentercomparison: handle __smatch_compare(foo, bar - 1)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterextra: cleanup handle_AND_op()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterextra: cleanup handling "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenteruser_data: silence some false positives with divides
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenteruser_data2: silence some false positives handling ntohl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenterconditions: hack around "if (foo | bar) {" (bitwise OR)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-09 Dan Carpenterdata/kernel.ignore_macro_indenting: ignore tcp_skb_tsorted_r...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterdb/smdb.py: change some formatting
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterdb/smdb.py: fix the PARAM_COMPARE/LIMIT types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterrosenberg: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenteruser_data2: do a hack around in the pre_merge_hook()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterconstraints: handle conditions like "if (8 < x) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterexpr_to_chunk_helper: set *sym when there is only one...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterslist: allow show_sm() to accept NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterflow: don't fake an impossible default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpentertype_val: record fewer "unknown" assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterflow: set loop_count to zero when parsing inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpentercore: silence some false positives from parsing invalid...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-19 Dan Carpenterimplied: use a time based timeout instead of counting...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-19 Dan Carpenterextra: handle loops like: while (--i >= 0) {
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-18 Dan Carpenterfunction_hooks: fake an assignment when functions return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-18 Dan Carpentercheck_free_strict: New stricter cross function use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-17 Dan Carpentercheck_atomic_inc_dec: track atomic_inc() and atomic_dec()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-17 Dan Carpenterassigned_expr: handle fake assignments better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-17 Dan Carpenterassigned_expr: remove debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-16 Dan Carpenterkernel_printf: %px is valid
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-16 Dan Carpenterstree: debugging: print the number of states in __print_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-12 Dan Carpentermtag: commit all mtag related code to date
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-12 Dan Carpentersmdb.py: fix some crashing bugs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-12 Dan Carpentercontainer_of: handle function calls like foo->bar(foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-12 Dan Carpentersmatch: get the smatch bin dir correctly when it's...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenteruser_data2: empty states are not user data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterconstraints_required: improve handling of assigned...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterdb: don't split by NULL vs non-NULL when there are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterflow: store a backup of the start time when parsing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterhelper: change some nonsense values to other nonsense...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan CarpenterDB: introduce a timeout handling caller info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenteraddress: fix handling of &foo->bar
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpentercontstraints: use caller info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterconstraints: move print_return_implies_constrained()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterconstraints: cleanup unmet_constraint()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-11 Dan Carpenterconstraints: fix add_constraint()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-09 Dan Carpentermtag: introduce create_mtag_alias()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpentermtag: fix get_mtag() for recorded states and for arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpenterlinks: no need to record links outside a function call
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpentertype_val: cache DB info as a speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpenterstring_list: prevent a use after free
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-14 Dan Carpentermtag: rename from mtags plural to mtag singular
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterhelper: keep a small cache of recently used variable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: pass expression pointer to mod/nomod hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: write infrastructure to pass expr to no_mod...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterdb/build_early_index.sh: set up more mtag indexes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterexpressions: initialize ->member_offset() in member_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterfunction_hooks: set path impossible if we cull everything
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpentermtags: remove the & pre-op
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterscripts/gen_allocation_list.sh: add __alloc_skb()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterdb/fixup_kernel.sh: snprintf() returns aren't really...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: pass the modified expression to extra_mod_hooks...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: store values for expressions like "foo[3].bar"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenteraddress: don't segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterignore: re-write and add _expr() versions of functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterparam_set/filter: PARAM_SET instead of PARAM_ADD
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterparse_call_math: use assigned values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpentersval: improve sval_binop_overflows()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterextra: don't modify const parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenteraddress/type: make some function parameters const
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: remove an duplicate NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: don't double parse ulong assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb/mtags: add mtag_data and mtag_map tables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb/fn_ptr_data_link: don't store duplicate records
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb: allow SQL statements to be run later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb: introduce get_mtag_name_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: handle non struct, pointer assignments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: fix handling of non_struct_assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: split handle_non_struct_assigments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: make all messages "error:" instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: small cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-22 Dan Carpentermtag: introduce memory tags
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-22 Dan Carpenterimplications: set_state() should trump implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-21 Dan Carpenterbuf_comparison: copy the code from smatch_constraints.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-15 Dan Carpenterimplied: improve the "too hairy" message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-14 Dan Carpentercomparison: store the expressions involved (if it's...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-14 Dan Carpentercomparison: rename var1 to left_var and var2 to right_var
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints_required: detect a bunch of new types of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints: allow function constraints
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints: don't store signed vs unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-04 Dan Carpenterkernel_printf: don't segfault on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpenteruser_data: fix compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpentertype_val: use smatch_container_of() information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpenteruser_data: this file is replaced by check_user_data2...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterimplied: add a timeout in smatch_implied.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterflow: delete out of scope variables for compound statement...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterscope: move a check for STMT_COMPOUND earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentervalidation/sm_casts.c: update to not use an unintialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterrevert "smatch_type.c: comparison expressions always...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentervalidation/sm_buf_size6.c: update format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C