smatch.git
4 days ago Dan Carpenterimplied: we have to make the false states match as... master
4 days ago Dan Carpentererr_ptr: use the actual values to silence false positives
5 days ago Dan Carpentercomparison: fix an oops
5 days ago Dan Carpenterfixup_kernel.sh: track kmalloced() vs .text data better
5 days ago Dan Carpenterextra: don't try to record the state for literals
5 days ago Dan Carpenterflow: add a ->parent member to statement structs
5 days ago Dan Carpenterranges: don't allow so many inverted ranges
5 days ago Dan Carpentertype: improve get_member_type_from_key()
5 days ago Dan Carpenterextra: handle arrays better using the chunk code
5 days ago Dan Carpentertype: make type_to_str() handle arrays better
5 days ago Dan Carpenterhelper: tiny cleanup in get_complication_score()
6 days ago Dan Carpenterimplied: fix bug handling unmatched implications
7 days ago Dan Carpenterextra: fix chunk handling a bit
7 days ago Dan Carpentervalidation: fix a test a bit
7 days ago Dan Carpenterderef_check: silence some false positives
7 days ago Dan Carpenterderef_check: remove unnecessary call to getting_address()
7 days ago Dan Carpenterfixup_kernel.sh: fix the rtlwifi hack
9 days ago Dan Carpenterunconstant_macros: add MAP_UNINITIALIZED
12 days ago Dan Carpenterptrlist: reading deleted items in NEXT_PTR_LIST()
2015-07-16 Dan Carpenterranges: fix how some ranges are joined together
2015-07-16 Dan Carpenterranges: avoid a possible integer overflow problem
2015-07-16 Dan Carpenterpointer_math: ALIGN is not bytes, but offsetof() and...
2015-07-16 Dan Carpenterpointer_math: don't complain if a pointer math operatio...
2015-07-16 Dan Carpenterpointer_math: silence false a ton of false positives
2015-07-14 Dan Carpenterchunk: improve expr_to_chunk_sym_vsl()
2015-07-14 Dan Carpenterhelper: improve get_complication_score()
2015-07-14 Dan Carpenterhelper: export get_complication_score()
2015-07-11 Dan Carpentertype: export is_local_variable()
2015-07-11 Dan Carpenterchunk: change the API a bit
2015-07-10 Dan Carpenterextra: start tracking "chunks" instead of just variables
2015-07-09 Dan Carpentermath: give up if calculating a value is too complicated
2015-07-08 Dan Carpenterimplied: turn off debug messages
2015-07-07 Dan Carpentercheck_list.h: move stored_condition_links next to store...
2015-07-07 Dan Carpenterflow: ignore arrays with over a 1000 elements
2015-07-06 Dan Carpenterdb/fixup_kernel.sh: hack around slow rtlwifi tests
2015-07-01 Dan Carpentercapped: use FOR_EACH_MY_SM()
2015-07-01 Dan Carpenteruser_data2: add skb_network_header()
2015-07-01 Dan Carpenteruser_data2: handle pointers to user data better
2015-07-01 Dan Carpenteruser_data: add kmap_atomic()
2015-07-01 Dan Carpenteruser_data: s/kmemdup_user/memdup_user/
2015-07-01 Dan Carpentertest_bit: add set_bit() and clear_bit() functions
2015-07-01 Dan Carpentercheck_deref: remove call to getting_address()
2015-06-30 Dan Carpenterestate: make clone_estate() take a NULL pointer
2015-06-30 Dan Carpenterwhitespace: change some spaces to tabs
2015-06-29 Dan Carpenterdebug: add some tools for developing the db parser...
2015-06-29 Dan Carpenterbuf_size: improve resizable struct handling
2015-06-29 Rasmus Villemoeseliminate some cats
2015-06-26 Dan Carpenterdb: fix a bug in split returns
2015-06-26 Dan Carpenterextra: introduce get_extra_state()
2015-06-26 Dan Carpentersmatch: change all remaining references from warns...
2015-06-26 Rasmus Villemoesprefix smatch generated files by smatch_
2015-06-26 Rasmus Villemoestest_kernel.sh: clean up .c.smatch files after cat
2015-06-26 Rasmus VillemoesDocumentation: make me less confused
2015-06-26 Rasmus Villemoestrace_params.pl: fix hash/hash reference confusion
2015-06-23 Dan Carpenterkernel.ignored_macros: add SNIC_BUG_ON()
2015-06-10 Dan Carpenterunreachable: ignore list_for_each_entry_continue
2015-06-10 Dan Carpenterextra: handle x = (u8)y; correctly
2015-06-09 Dan Carpenterimplied: fix a leak
2015-06-09 Dan Carpentertype: handle typeof()
2015-06-09 Dan Carpentermath: handle __smatch_implied(&foo->bar) a little better
2015-06-09 Dan Carpenterassigned_expr: store it late
2015-06-09 Dan Carpenterfunction_hooks: fix validation/sm_compare15.c handling
2015-06-07 Dan Carpenterlocking: add new down_timeout() function
2015-06-07 Dan Carpentersmatch_address: fix compile
2015-06-07 Dan Carpenterfixup_kernel.sh: ignore some __vfs_write() calls
2015-06-07 Dan Carpenterfixup_kernel: update types
2015-06-05 Firo YangMakefile: eliminate a llvm-config build warning
2015-05-26 Dan Carpenterdebug: improve __smatch_states() output
2015-05-22 Dan Carpenterflow: ignore parenthesis in prev_expression_is_getting_...
2015-05-20 Dan Carpenterunreachable: ignore netdev_for_each_lower_dev()
2015-05-18 Dan Carpenterflow: cleanup prev_expression_is_getting_address()...
2015-05-15 Dan Carpenterflow: "&foo->bar" is not a dereference
2015-05-15 Dan Carpentersmatch_address: separate things out into .bss and ...
2015-05-13 Dan Carpenter*new* check_test_bit: check for test_bit(BIT(0), &foo)
2015-05-04 Dan Carpentertype: speed up get_type()
2015-05-04 Dan Carpentertype: improve get_binop_type()
2015-05-01 Dan Carpenterflow: add a new expr->parent struct member
2015-04-27 Dan Carpenterfixup_kernel: hard code __spi_sync() returns.
2015-04-27 Dan Carpenterfixup_kernel: kmalloc() can allocate more data. Let...
2015-04-27 Oleg Drokincheck_locking.c: Fix annoying invisible read_unlock
2015-04-24 Dan Carpentersmatch_address: sort pointers into different ranges
2015-04-23 Dan Carpenterextra: remove some unused functions
2015-04-23 Dan Carpentersmatch.h: add the comparison hook
2015-04-22 Dan Carpentertype_to_str: fix a crashing bug
2015-04-22 Firo Yangsmatch.h: add estate_get_single_value() declaration
2015-04-13 Dan Carpenterignore_side_effects: get_child_rcu() double evaluates...
2015-04-09 Dan Carpenterimplied: use comparison information for implications
2015-04-09 Dan Carpentersmatch.h: move stree_stack declaration from smatch_slis...
2015-04-07 Dan Carpenterrosenberg: add __builtin_memset/memcpy()
2015-03-30 Dan Carpenteruser_data2: handle returned struct members
2015-03-30 Dan Carpentercomparison: update a comment
2015-03-30 Dan Carpentersmdb.py: update to reflect LIMIT/FILTER changes
2015-03-30 Dan Carpenterunwind: add some null checks
2015-03-30 Dan Carpentertype: include smatch_slist.h to prevent a segfault
2015-03-30 Dan Carpenterextra: don't set states to unknown at the beginning...
2015-03-30 Dan Carpenterextra: don't set true false states if they are the...
2015-03-30 Dan Carpenterfunction_hooks: add a hack around in compare_db_return_...
2015-03-30 Dan Carpenterlist: add a comment about register_implications
2015-03-30 Dan Carpenterparam_limit: handle struct members
2015-03-30 Dan Carpenterstates: white space fix
next