?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
math: tweak how impossible states are handled
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
2017-04-20 Dan Carpenterbalanced: delete this check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-20 Dan Carpenterflow: add init_fake_env()/end_fake_env()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-19 Dan Carpenterstored_conditions: store as expression pointers instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-19 Dan Carpenterflow, db: fix how inline function assignments are handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-12 Dan Carpenterflow: remove some buggy unused code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-12 Dan Carpenterflow: fix initialization of nested structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-12 Dan Carpenterdb: build an index on the parameter names
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-12 Dan Carpentermath: improve MOD handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpenterparameter_names: store parameter names in the DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpentersmdb.py: reformat call_info output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan CarpenterMakefile: use quiet link to link smatch
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpenterstates: fix handling switches inside conditions (fake_cur_stree)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpenterstates: split update_fake_stree_with_merged() and add...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpentertype_val: small tweak for arrays and complicated lvalues
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-04-11 Dan Carpenterextra: handle indirection like "p = &foo; *p = 42;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-29 Dan Carpenterextra: handle MOD conditions like "if (a % 4) {" better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-29 Dan Carpentermodification_hooks: remove unused indirect modification...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-17 Dan Carpentervalidation/skb3: delete some accidental debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-16 Dan Carpenteruser_data2: don't set parameters to user_data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-16 Dan Carpenteruser_data2: handle skb->data math a little better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-16 Dan Carpenteruser_data2: re-work handling of skb->data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterparse_call_math: work around for loops
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterleaks: don't complain if we overwrite NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterfree: ignore impossible code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpentershift_to_zero: make the error message more informative
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpentertest_bit: add test_and_clear_bit()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpentersmdb.py: print the return_implies value
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterdb/fixup_kernel.sh: ignore do_loop_readv_writev()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterextra: set hard max if a function is called with a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterextra: fix handling of known conditions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterparam_limit: don't set some unchanged limits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterdb: prevent slow downs splitting returns apart
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-03-15 Dan Carpenterdb: set parse_error if the SQL fails
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-02-16 Dan Carpenterparam_set: handle if the parent was set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-02-10 Dan Carpenterbuf_size: fix type_bytes()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-02-10 Dan Carpenterdb: filter pointer calls by function signatures
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterimplied: revert "tiny speed up"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterassign_vs_compare: warn about "if (foo = &bar) "
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C