smatch.git
8 days ago Dan Carpenterdb: fix a bug in split returnsmaster
8 days ago Dan Carpenterextra: introduce get_extra_state()
8 days ago Dan Carpentersmatch: change all remaining references from warns...
8 days ago Rasmus Villemoesprefix smatch generated files by smatch_
8 days ago Rasmus Villemoestest_kernel.sh: clean up .c.smatch files after cat
8 days ago Rasmus VillemoesDocumentation: make me less confused
8 days ago Rasmus Villemoestrace_params.pl: fix hash/hash reference confusion
11 days ago 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
2015-03-30 Dan Carpenterconditions: ignore known/implied conditions
2015-03-30 Dan Carpenterstrings: record string assignments
2015-03-30 Dan Carpenterstruct_assignment: save a lot more information
2015-03-30 Dan Carpenterparam_limit/filter: fix a type bug
2015-03-30 Silvan Jegendb: Avoid dereferencing null pointer
2015-03-26 Dan Carpentercomparison: handle canonical for loops with variable...
2015-03-26 Dan Carpentercomparison: unsigned can not be less than zero
2015-03-26 Dan Carpenterflow: set __cur_stmt and __prev_stmt inside for loops
2015-03-26 Dan Carpentercomparison: merging equivalent states is not undefined
2015-03-26 Dan Carpentercomparison: fix an indent
2015-03-20 Dan Carpenterfunction_hooks: fix up db_compare_callback()
2015-03-20 Dan Carpenterfunction_hooks, debug: print impossible returns if...
2015-03-20 Dan Carpenterhelper: don't strip casting in get_array_offset()
2015-03-20 Dan Carpenterlinks: export merge_link_states()
2015-03-20 Dan Carpenterhelper: make expr_to_str() print forced casts
2015-03-20 Dan Carpentertype: make type_to_str() return a sname() buffer
2015-03-20 Dan Carpentermodification_hooks: set a variable as modified when...
2015-03-20 Dan Carpenteruser_data2: tag it if a function sets parameters to...
2015-03-20 Dan Carpenterstack: cleanup a function prototype
2015-03-20 Dan Carpenterderef_check: ignore arrays
2015-03-18 Dan Carpentertype: make sval_type_max() default to "long long"
2015-03-18 Dan Carpentertype: don't return SYM_NODE types from get_real_base_type()
2015-03-15 Dan Carpenterside_effects: the iterate_all_kinds() macro has side...
2015-03-15 Dan Carpenterunreachable: don't complain about iterate_all_kinds()
2015-03-13 Dan Carpenterflow: fix "foo += !bar;" assignments
2015-03-11 Dan Carpenterlib: handle -funsigned-char option
2015-03-10 Dan Carpenterkernel.ignore_side_effects: add some macros
2015-03-10 Dan Carpenterindenting: allow "break; case XXX:"
2015-03-05 Dan Carpenteruser_data2: mark sscanf() output as user data
2015-03-05 Dan Carpentermath, rl: fix handing division involving negative numbers
2015-03-05 Dan Carpentersval: fix sval_binop_overflows()
2015-03-05 Dan Carpenterprecedence: complain about "foo << bar - baz"
2015-03-04 Dan Carpenterflow: handle struct initialization better
2015-03-03 Dan Carpenterestate: add a NULL check in estates_equiv()
2015-03-03 Dan Carpenterparam_used: store when a parameter is used so we don...
2015-03-02 Dan Carpenterextra: ignore more __in_fake_assign data
2015-03-02 Dan Carpentercomparison: fix a crashing bug
2015-03-02 Dan Carpentertype: add an expr_signed() function that matches expr_u...
2015-02-26 Dan Carpentersmdb.py: add functions to show functions implementing...
2015-02-26 Dan Carpenterextra: handle temporary shorthand pointers better
2015-02-26 Dan Carpenterdereferences_param: look for pointers used as an array
2015-02-26 Dan Carpentercheck_indenting: warn about missing curly braces and...
2015-02-24 Dan Carpenterparam_cleared: add a comment
2015-02-24 Dan Carpentervalidation: correct some output
2015-02-24 Aaro Koskinenbuild: allow use of PKG_CONFIG to override pkg-config
2015-02-23 Dan Carpenterdb: build indexes faster
2015-02-23 Dan Carpenterslist: fix compile breakage
next