?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
math: don't break the build
2017-08-28 Dan Carpentermath: don't break the build
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-28 Dan Carpentercomparison: store comparisons against functions as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-28 Dan Carpenterranges: fix type bug in filter_by_comparison_call()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpenterdata_source: rename a variable "tmp" => "arg"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpentermath: handle function pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpentercheck_assigned_expr: use alloc_state_expr() instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpenterkernel.return_fixes: add fls() and fls64()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpenterranges: add a sanity check in str_to_rl_helper()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpenterconditions: uninitialized variables creating fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-23 Dan Carpentermath: uninitialized variable handling bitwise ANDs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-21 Dan Carpenterbuf_size: use type_bytes() instead of array_bytes()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-17 Dan Carpenterkernel_printf: stop complaining about every %p0 format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpenterdb/kernel.return_fixes: add dma_fence_wait_timeout()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpenterdb/fixup_kernel.sh: hack handling of _parse_integer()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpenterdb/fixup_kernel.sh: ignore more __vfs_read/write()...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpentergen_sizeof_param.sh: save the return type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpenterkernel.sizeof_param.remove: ignore skb_pull()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpentersmatch_data: fix parsing of <project>.sizeof_param
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpenterextra: do more simple algebra
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpentermath: fix handling of "(char *)&foo->bar - (char *...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpentersmatch_data: acquire_group() doesn't return NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-15 Dan Carpentersigned_integer_overflow_check: if (foo + bar < foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-10 Dan Carpenterextra: don't save unneeded states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-10 Dan Carpentermath: let user_data handle binops if it wants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-10 Dan Carpentermath: handle this (<too complicated math> & 0xff)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-10 Dan Carpentermath: use comparisons to handle subtraction better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-10 Dan Carpentermath: handle offset calculation better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-03 Dan Carpenterconditions: introduce get_conditions()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-03 Dan Carpentercomparison: fix match_inc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-03 Dan Carpentercomparison: fix merge_comparison() for &undefined
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-03 Dan Carpenterextra: don't call create new states for unknown values...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-08-01 Dan Carpenterdb/kernel.return_fixes: add a couple to_errno() functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-07-28 Dan Carpenterfreeing_devm: passing devm_ allocated memory to kfree...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-07-28 Dan Carpenterkernel_printf: add support for %pOF
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-07-25 Dan Carpenterdb: don't split NULL/non-NULL returns for reason
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterdb: fix some uninitialized variable bugs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterflow: store __next/cur/prev_stmt before parsing inline...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterflow: cleanup state backup for inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpentermath: tweak how impossible states are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterranges: make sval_too_big() more accurate
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterkernel: ERR_PTR() basically only returns negatives...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-23 Dan Carpenterextra: don't overwrite the implications for useless...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-19 Dan Carpenterdb: fix a type issue
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-18 Dan Carpentertype_val: cast assignments to the correct type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-17 Dan Carpenterhelper: fix get_member_name() handling of unions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-17 Dan Carpenterreturn_to_param: long to short should never return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-17 Dan Carpenterslist: reverse the slist order in a way that no one...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-16 Dan Carpenterextra: make set_extra_mod_helper() void and static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-16 Dan Carpenterextra: make set_extra_mod() a void function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-16 Dan Carpenterextra: make set_extra_expr_mod() a void function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-16 Dan Carpentergeneric_data: fix up some project related things for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-16 Dan Carpentersmdb.py: fix summary (it was totally broken before)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-15 Dan Carpenterlinks, var_sym: allocate fewer states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-15 Dan Carpentermodification_hooks: don't save so much data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-11 Dan Carpenterreturn_to_param: don't modify memory on the stack
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-11 Dan Carpenterextra: handle integer overflows better for "int_foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpenterbuild_generic_data: several improvements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpentertest_generic.sh: like test_kernel.sh but for generic...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpentergeneric_data: rename to match build_kernel_data.sh
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpentergeneric_info: allow people to build a specific directory
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpenterunreachable: don't complain about static declarations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpenterindex_overflow: silence some glibc false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpenterproject: create a way to generate smatch_data for a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-10 Dan Carpentercore: improve Function too hairy calculation
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterhelper: don't crash so much on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpentercomparison: fix some memory leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterdb/build_early_index: build another index on parameter_name
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterdb/kernel.return_fixes: atomic_read() returns the value...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterdebug.c: add some new (not very useful) features
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterbuf_comparison: fix build and add make new code functional
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterfree: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpentererr_ptr_deref: make err_ptr_min/max static
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterfree: don't complain when people do frob(&freed_variable)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterkernel_printf: fix %pG test
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterlogical_instead_of_bitwise: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterunused_ret: make warning messages consistent with everyone...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenteruser_data2: tag all union members as untrusted
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenteruser_data2: if users can only specify a single value...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterextra: use long to short mappings for PARAM_LIMIT and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenteruser_data2: handle "if (untrusted != trusted) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterbuf_comparison: clear array <-> size links better on...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterbuf_comparison: record if we pass an ARRAY_SIZE to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-08 Dan Carpenterreturn_to_param (mappings): map regular assignments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-04 Dan Carpenteruser_data2: handle inlines better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-04 Dan Carpentermath: prefer real absolutes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-04 Dan Carpentermodification_hooks: use long to short mappings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-04 Dan Carpenterreturn_to_param: handle "return get_foo(bar);"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-02 Dan Carpenterexpression: fix expr_get_parent_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-05-02 Dan Carpenterfunction_hooks: only add comparisons when needed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpenterflow: fix some parent transition fallout
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpenterflow: set parent statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpentercore: add expr_get/set_parent_stmt() accessor functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpenterflow: create an accessor method expr_get_parent_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpenterflow: rename set_parent_stmt() => stmt_set_parent_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-27 Dan Carpenterflow: rename set_parent_expr() => expr_set_parent_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-26 Dan Carpenterreturn_to_param: Use the DB return strings like "[...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-21 Dan Carpentersmdb.py: translate more parameter names
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-21 Dan Carpentersmdb.py: guess the parameter names even if the file...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-21 Dan Carpentersmdb: don't crash if the parameter names aren't known
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-20 Dan Carpenterflow: fix fake env
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C