smatch.git
2013-02-08 Dan Carpentersilence bogus "unreachable code" warnings1.571.58
2013-02-07 Dan Carpenterparam_limit: handle functions where the parameter is...
2013-02-07 Dan Carpenterdb: take static vs global into consideration wit functi...
2013-02-07 Dan Carpentermath: handle MOD operation better
2013-02-06 Dan Carpenter*delete* bool_implications: this file is unused
2013-02-06 Dan Carpenterparam_(filter|limit|set): add some comments
2013-02-06 Dan Carpenterbuf_size: don't crash on invalid code
2013-02-06 Dan Carpenterparse_call_math: silence "internal bug: pop_val poppin...
2013-02-06 Bart Van AsscheAvoid triggering a division by zero in the overflow...
2013-02-06 Dan Carpenterpropagate: fall out from get_implied_min() changes
2013-02-06 Dan Carpenterextra: type bug handling empty states in reset_struct_m...
2013-02-06 Dan Carpenterranges: don't allow inverted ranges
2013-02-06 Dan Carpenterdb: don't get print info if the function has over 10000...
2013-02-05 Dan Carpentermath: don't return high values in get_fuzzy_max()
2013-02-04 Dan Carpenteroverflow: fix false positive allocating a void pointer
2013-02-04 Dan Carpenterbuf_size: fix bug caused by get_implied_max() returning...
2013-02-04 Dan Carpenterdb: print less --info for a few problematic functions
2013-02-04 Dan Carpentermath: get_implied_max() should be able to return s32max
2013-02-03 Dan Carpentersval: only print "s32max" if the value is actually...
2013-02-03 Dan Carpentermath: get_implied_min() should be able to return s32min
2013-02-03 Dan Carpentermath: tweak get_fuzzy_math()
2013-02-03 Dan Carpenterextra, db: handle passing chars to parameters which...
2013-02-01 Dan Carpentermath: use NOTIMPLIED instead of HARD_MIN in opposite_im...
2013-02-01 Dan Carpentermath: set the "undefined" flag on error in handle_mod()
2013-02-01 Dan Carpenteror_vs_and: handle conditions inside parenthesis
2013-02-01 Emil Tantilovsmatch: fix build error
2013-02-01 Dan Carpentertype: introduce is_void_pointer() and is_char_pointer()
2013-01-31 Dan Carpenterabsolute: delete smatch_absolute.c
2013-01-31 Dan Carpenter*new* check_string_len.c: look for sprintf() overflows
2013-01-28 Dan Carpenterextra, modification_hooks, db: move get_variable_from_k...
2013-01-28 Dan Carpenterexpressions: use more accurate positions for fake deref...
2013-01-28 Dan Carpentermodification_hooks: use modification info from the...
2013-01-28 Dan Carpenterextra, equiv: make call_extra_mod_hooks() global
2013-01-28 Dan Carpentermodification_hooks: split out call_modification_hooks_n...
2013-01-28 Dan Carpentertype: handle strings better
2013-01-28 Dan Carpenterequiv: call_extra_mod_hooks() inside set_equiv()
2013-01-28 Dan Carpenterbuf_size: don't call get_expression_value()
2013-01-28 Dan Carpentersmatch: create a local_debug() macro
2013-01-24 Dan Carpentersmatch.h, db: add numbers to the info_type enum
2013-01-24 Dan Carpenterderef: spelling: derefencing => dereferencing
2013-01-23 Dan Carpentermath: calculating the sizeof() used to modify the expre...
2013-01-23 Dan Carpentermath: use smatch_comparison.c for handling subtraction
2013-01-23 Dan Carpenterextra, modification_hooks: set "*p" to unknown if we...
2013-01-23 Dan Carpentersmatch_expressions: introduce deref_expression()
2013-01-23 Dan Carpentersmatch_expressions: rename deref_expression() to member...
2013-01-22 Dan Carpenterall: rename expr_to_str_complex() to expr_to_str()
2013-01-22 Dan Carpentersmatch: rename expr_to_str() to expr_to_var()
2013-01-22 Dan Carpentermissing break: only print one message per switch statement
2013-01-18 Dan Carpenterextra: get rid of data_type enum
2013-01-18 Dan Carpenterdebug: add __smatch_compare()
2013-01-17 Dan Carpentermath: improve get_implied_rl() if only the max is known...
2013-01-17 Dan Carpentersval: introduce sval_min/max()
2013-01-17 Dan Carpentersmatch_comparison: store how two variables compare...
2013-01-15 Dan Carpenterslist: fix alignment in alloc_sname()
2013-01-15 Dan Carpentervalidation: update a couple scripts with missing break...
2013-01-15 Dan CarpenterMakefile: fix build error
2013-01-15 Dan Carpenterequiv: get rid of the ->op member
2013-01-15 Dan Carpenterequiv: update some comments
2013-01-14 Dan Carpenterconstraints: equiv: rename smatch_constraints.c to...
2013-01-14 Dan Carpenterranges: rename show_ranges() to show_rl()
2013-01-11 Dan Carpentersmatch: introduce expr_to_str_complex()
2013-01-11 Dan Carpentersmatch: introduce expr_to_str()
2013-01-11 Dan Carpentersmatch: rename get_variable_from_expr() to expr_to_str_...
2013-01-11 Dan Carpentersmatch: rename get_variable_from_expr_complex() to...
2013-01-11 Dan Carpenterextra: shuffle smatch_extra.h around some more
2013-01-11 Dan Carpenterestate: rename filter_range() to estate_filter_range()
2013-01-11 Dan Carpenterestate: rename estate_ranges() to estate_rl()
2013-01-11 Dan Carpenterestate: rename is_whole_range() to estate_is_whole()
2013-01-11 Dan Carpenterestate: rename extra_undefined() to alloc_estate_whole()
2013-01-11 Dan Carpenterestate: rename alloc_estate_range_list() to alloc_estat...
2013-01-11 Dan Carpenterestate: rename alloc_estate() to alloc_estate_sval()
2013-01-11 Dan Carpenterestate: shuffle stuff around in the header file
2013-01-11 Dan Carpenterranges: rename free_range_list() to free_rl()
2013-01-11 Dan Carpenterranges: rename get_implied_range_list() to get_implied_rl()
2013-01-11 Dan Carpenterranges: rename push_range_list() and friends to push_rl()
2013-01-11 Dan Carpenterranges: rename range_lists_equiv() to rl_equiv()
2013-01-11 Dan Carpenterranges: rename possibly_true_range_lists() to possibly_...
2013-01-11 Dan Carpenterranges: shuffle smatch_extra.h around some more
2013-01-11 Dan Carpenterranges: rename true_comparison_range_lr() to true_compa...
2013-01-11 Dan Carpenterranges: rename parse_value_ranges_type() to str_to_rl()
2013-01-11 Dan Carpenterranges: rename alloc_range_list() and friends to alloc_rl()
2013-01-11 Dan Carpenterranges: shuffle stuff around in the header file and...
2013-01-11 Dan Carpenterranges: rename range_list_union() to rl_union()
2013-01-11 Dan Carpentermissing_break: fix a segfault
2013-01-11 Dan Carpentersizeof: sizeof(ptr * nr_ptrs)
2013-01-11 Dan Carpentersizeof: check for sizeof(sizeof())
2013-01-11 Dan Carpentersizeof: finish renaming process
2013-01-11 Dan Carpentersizeof: mv check_sizeof_pointer.c check_sizeof.c
2013-01-11 Dan Carpentertoken_store: split out first_token_from_line() into...
2013-01-11 Dan Carpenter*new* check_missing_break.c: check for fall through...
2013-01-10 Dan Carpentertype: get_member_type_from_key() should take an express...
2013-01-09 Dan Carpenterparam_limit: don't print empty states
2013-01-08 Dan Carpenterparse: add "__restrict__" keyword
2013-01-08 Dan Carpenterranges: small speed up in range_lists_equiv()
2013-01-08 Dan Carpenterdb: make type_schema a bit smaller
2013-01-08 Dan Carpentergen_paholes.sh: Don't do anything if the necessary...
2013-01-08 Dan Carpenterextra: don't over write cross function values from...
2013-01-08 Dan Carpenterdb: extra: param_limit/filter/set: redo value tracing...
2013-01-08 Dan Carpenterextra: create a callback for when smatch_extra changes...
2013-01-08 Dan Carpenterextra: create set_extra_nomod()
next