?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
return_to_param: fix a crashing bug
2018-03-06 Dan Carpenterreturn_to_param: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpenterstruct_assignment/assigned_expression: save some more...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpenterexpressions: free allocated expressions after the end...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-05 Dan Carpenterrosenberg: check the correct alignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-01 Dan CarpenterMerge git://git.kernel.org/pub/scm/devel/sparse/sparse...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-27 Dan Carpentermtag: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-22 Dan Carpenterhelper: fix segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentertype_val: dev_get_drvdata() doesn't set the types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenteror_vs_and: white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterconditions: pass SELECT_HOOK for select assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterestate: white space clean up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterconstraints: allow binop constraints
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentersmatch_comparison: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentercheck_kernel: handle fls()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: tight parameter values a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: handle "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: don't set true/false states if it's the same...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterimplied: use assume() even if there are no implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentermath: silence hard max false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterslist: don't pass stuff to pre_merge_hooks that isn...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentermtag: kill an endless loop in up coming code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentercall_math: initialize some strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterfn_arg_link: fix an endless loop
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-20 Dan Carpenterdb: fix a segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
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
next
Static analysis for C