?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
core: add expr_get/set_parent_stmt() accessor functions
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
2017-01-27 Dan Carpentertype: fix type_bits() for arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpentershift_to_zero: do a small clean up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpentersmatch.c: remove a blank line
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterdb: split return states by null vs non-null parameter
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterextra: filter PARAM_VALUEs with both extra and real_absolute
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpentermath: handle -foo better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterhelper: introduce get struct and member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterimplied: tiny speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterimplied: small cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterranges: handle bitwise AND operations better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenterreal_absolute: introduce get_real_absolute_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpenteravl: add a short cut for when there are no states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-27 Dan Carpentertype_val: handle |= type assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-23 Dan Carpenterdb: rename "function_type_info" table to "function_type"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenteruser_data2: if a user_data is equal to non-user data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterpre-process: try find any include that looks like it...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpentercomparison: remove some local_debug information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterdb/fixup_kernel.sh: write to the temporary DB instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterextra: fix type issue handling ++= and --= operations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpentermath: remove uncommitted function call
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpentermath: fix handling of sizeof() __le16 types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpentermath: handle real_absolute variables more accurately
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterreal_absolute: ignore iterator pre statements
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterhelper: In expr_to_str() remove extra parenthesis around...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterdb: introduce sql_insert_data_info_var_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenterdb: use "extern" instead of the file name for globals...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpentersparse: introduce parse_error variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-20 Dan Carpenteruser_data2: handle functions that merely return passed...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-19 Dan Carpenterhooks: introduce ASSIGNMENT_HOOK_AFTER
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-19 Dan Carpenterdb: give up handling function pointers if there are...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-18 Dan Carpenteruser_data2: remove some debug printfs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-18 Dan Carpenteruser_data2: don't set the function itself to user_data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-18 Dan Carpenteruser_data2: improve handling when we return user data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-17 Dan Carpenterfunction_hooks: don't mark it as impossible if a function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-14 Dan Carpentercomparison: modify the links at at start of an assignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-13 Dan Carpenterdb: cleanup get_row_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterimplied: rename a function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterestate: add an estate_is_empty() function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterdb/kernel.no_inline: don't parse the bite swap functions...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterkernel: parse ATOMIC_SET() manually
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterdb/kernel.return_fixes: add some more fixes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterdb/fixup_kernel.sh: handle __kernel_write() a bit better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpentervim_db: handle older versions of vim
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-12 Dan Carpenterdb/fixup_kernel: handle __builtin_bswap64()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterfunction_hooks: change order of how db verse implied...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterparam_limit: don't insert empty states into the db
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterranges: use a hack around so when merging ranges of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpentertype_val: fix a memory leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterfunction_hooks, db: handle PARAM_LIMIT for struct members
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterimplied: fix a bug handling parameter implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-10 Dan Carpenterimplied: add more debug information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-05 Dan Carpenterdb: sort return_states by file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-04 Dan Carpenterflow: tiny cleanup handling assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C