?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
absolute: delete smatch_absolute.c
2013-01-31 Dan Carpenterabsolute: delete smatch_absolute.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-31 Dan Carpenter*new* check_string_len.c: look for sprintf() overflows
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpenterextra, modification_hooks, db: move get_variable_from_key...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpenterexpressions: use more accurate positions for fake dereferenc...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpentermodification_hooks: use modification info from the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpenterextra, equiv: make call_extra_mod_hooks() global
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpentermodification_hooks: split out call_modification_hooks_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpentertype: handle strings better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpenterequiv: call_extra_mod_hooks() inside set_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpenterbuf_size: don't call get_expression_value()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-28 Dan Carpentersmatch: create a local_debug() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-24 Dan Carpentersmatch.h, db: add numbers to the info_type enum
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-24 Dan Carpenterderef: spelling: derefencing => dereferencing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-23 Dan Carpentermath: calculating the sizeof() used to modify the expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-23 Dan Carpentermath: use smatch_comparison.c for handling subtraction
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-23 Dan Carpenterextra, modification_hooks: set "*p" to unknown if we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-23 Dan Carpentersmatch_expressions: introduce deref_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-23 Dan Carpentersmatch_expressions: rename deref_expression() to member_expr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-22 Dan Carpenterall: rename expr_to_str_complex() to expr_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-22 Dan Carpentersmatch: rename expr_to_str() to expr_to_var()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-22 Dan Carpentermissing break: only print one message per switch statement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-18 Dan Carpenterextra: get rid of data_type enum
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-18 Dan Carpenterdebug: add __smatch_compare()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-17 Dan Carpentermath: improve get_implied_rl() if only the max is known...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-17 Dan Carpentersval: introduce sval_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-17 Dan Carpentersmatch_comparison: store how two variables compare...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-15 Dan Carpenterslist: fix alignment in alloc_sname()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-15 Dan Carpentervalidation: update a couple scripts with missing break...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-15 Dan CarpenterMakefile: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-15 Dan Carpenterequiv: get rid of the ->op member
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-15 Dan Carpenterequiv: update some comments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-14 Dan Carpenterconstraints: equiv: rename smatch_constraints.c to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-14 Dan Carpenterranges: rename show_ranges() to show_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersmatch: introduce expr_to_str_complex()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersmatch: introduce expr_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersmatch: rename get_variable_from_expr() to expr_to_str_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersmatch: rename get_variable_from_expr_complex() to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterextra: shuffle smatch_extra.h around some more
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename filter_range() to estate_filter_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename estate_ranges() to estate_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename is_whole_range() to estate_is_whole()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename extra_undefined() to alloc_estate_whole()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename alloc_estate_range_list() to alloc_estate_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: rename alloc_estate() to alloc_estate_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterestate: shuffle stuff around in the header file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename free_range_list() to free_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename get_implied_range_list() to get_implied_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename push_range_list() and friends to push_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename range_lists_equiv() to rl_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename possibly_true_range_lists() to possibly_true_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: shuffle smatch_extra.h around some more
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename true_comparison_range_lr() to true_comparison...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename parse_value_ranges_type() to str_to_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename alloc_range_list() and friends to alloc_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: shuffle stuff around in the header file and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenterranges: rename range_list_union() to rl_union()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentermissing_break: fix a segfault
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersizeof: sizeof(ptr * nr_ptrs)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersizeof: check for sizeof(sizeof())
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersizeof: finish renaming process
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentersizeof: mv check_sizeof_pointer.c check_sizeof.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpentertoken_store: split out first_token_from_line() into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-11 Dan Carpenter*new* check_missing_break.c: check for fall through...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-10 Dan Carpentertype: get_member_type_from_key() should take an expression...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-09 Dan Carpenterparam_limit: don't print empty states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterparse: add "__restrict__" keyword
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterranges: small speed up in range_lists_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterdb: make type_schema a bit smaller
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpentergen_paholes.sh: Don't do anything if the necessary...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterextra: don't over write cross function values from...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterdb: extra: param_limit/filter/set: redo value tracing...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterextra: create a callback for when smatch_extra changes...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-08 Dan Carpenterextra: create set_extra_nomod()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-07 Dan Carpenterdb: fixup printing return info for difficult to split...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2013-01-07 Dan Carpentermath: handle ORs better in handle_logical()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-19 Dan Carpenterextra: call set_extra_mod() from set_extr_expr_mod()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-18 Dan Carpenterdb: handle unchanged return_states better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-18 Dan Carpenterparam_limit: fix read beyond end of array (segfault)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-18 Dan Carpentersigned: handle it when the type is unknown
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-16 Dan Carpenterdb: make some varchar decalarations smaller
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-16 Dan Carpentersigned: remove some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-15 Dan Carpenterdb: make the size limit for the database larger
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-15 Dan Carpenterparam_limit: don't print unneeded information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterdb: remove return_implies table and related code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpentersmatch_param_limit: extra: store parameter implications...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterdb: print return_states information in a more detailed way
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterimplied: introduce overwrite_states_using_pool()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterstates: fix __set_sm() when a fake_cur_slist is being...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterfunction_hooks: add some calls to __unnullify_path()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterranges: introduce rl_invert(), rl_filter() and rl_intersection()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterextra: fix a bug in how pointers are set inside called...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterestate: introduce get_implied_estate()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterextra: estate: move merge_estate() from extra to estate
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterextra: parse asm and unops after everyone else is finished...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-14 Dan Carpenterpointer_math: check for (int *)p += sizeof(int);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-10 Dan Carpentertreewide: fix some memory leaks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-10 Dan CarpenterRevert "constraints: fix bug in remove_from_equiv()"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-08 Dan Carpenterslist: fix some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-08 Dan Carpenterslist: compile error in debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2012-12-08 Dan Carpenterconstraints: fix a memory leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C