?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
math: handle real_absolute variables more accurately
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
2017-01-04 Dan Carpenterflow: remove an unneeded condition
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-01-04 Dan Carpenterflow: rename a variable "tmp" -> "right"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-15 Dan Carpenterkernel.ignored_macros: add LASSERT() from lustre
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-13 Dan Carpenterfunction_hooks, db: use INTERNAL as the marker for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-13 Dan Carpenterdb: handle function pointers better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-12 Rasmus Villemoescheck_kernel_printf.c: %pj ended up being %pG
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-12 Rasmus Villemoescheck_kernel_printf.c: handle new definition of KERN_CONT
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-12-12 Rasmus Villemoescheck_kernel_printf: check that %pg gets a block_device
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-30 Dan Carpenteruser_data2: math: function calls should be handled...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-30 Dan Carpentermath: fix a type issue with MOD
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-28 Dan Carpenteruntracked_param: functions that are too hairy are untrackable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-25 Dan Carpenteraddress: simplify is_non_null_array()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-25 Dan Carpentertype_val: use the correct type in get_db_type_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-25 Dan Carpenterimplied: fix a bug with borrowed implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-09 Dan Carpenterflow: handled declared labels better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-11-09 Dan Carpenterranges: read u64max correctly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpentersmatch: remove tests to see if an array is NULL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterextra: handle "if (a + b < a) { "
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterslist: Silence a smatch warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterdebug: add the __smatch_absolute() hook
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterbuf_size: Using plain integer as NULL pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterdb: Using plain integer as NULL pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-18 Dan Carpenterast-model: Using plain integer as NULL pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdebug: add a __smatch_absolute()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenteruser_data: short circuit a bunch of code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdma_mapping_error: add pci_dma_mapping_error() to this...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentercontinue_vs_break: add it checklist.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch_address: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenter*new* continue_vs_break: complain if continue is used...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: reserve some db types for later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: shuffle some declarations around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch.h: silence a compile warning
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentercapped: set it to uncapped if it's modified
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/fixup_kernel.sh: work around for __to_fd()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/fixup_kernel.sh: work around for gfs2_ea_find()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdb/kernel.return_fixes: specify some functions that...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterimplied: add more information to the debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterdebug: print if you give a bad check name to __smatch_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentersmatch_data/wine: update wine data files
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterextra: add more parameter dereferences
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentermath: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenteruser_data2: skb->data is not user data, skb->data[0] is
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentertype_value: it doesn't make sense to talk about the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterextra: improve how "if (foo & ~0xF)" is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentermath: ignore byte swaps
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterflow: handle while (42) { ... } loops better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpentercomparison,function_hooks: remove impossible paths...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-16 Dan Carpenterparam_compare_limit: like param_limit but for comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: add a FIXME regarding a bug I noticed
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load/use return comparisons in the cross...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load struct member info into the caller_info...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-15 Dan Carpentercomparison: load the correct comparison information...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpenterflow: don't call scope hooks until after the END_FUNC_HOOKs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpentermodification_hooks: going out of scope is not a modification
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-12 Dan Carpenterdb/fixup_kernel.sh: update get_user_pages() to match...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpenterfunction_hooks: pull is_impossible_data() into its...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpentercomparison: cleanup handle_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-11 Dan Carpentercomparison: export some functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-09 Dan Carpenterstates: nullify_path() should do free the fake_cur_stree
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: handle comparisons that we know are true better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: mark some true false paths impossible based on...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterranges, db: if we can't filter by comparison then use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-08 Dan Carpenterdb: handle nested calls better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-04 Dan Carpenterextra: re-write handle_AND_condition()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: handle impossible paths from complicated switch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: get rid of the ->implied member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpenterimplied: get rid of a temporary variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2016-07-01 Dan Carpentersmatch_data/wine.no_return_funcs: add more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C