| 2013-02-21 |
Dan Carpenter | db: add some debug statements for inserts into the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use call_id for the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: add call_id to call_implies, return_states and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: rename function_id in the caller_info table to...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't create unused tables in the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't print caller info for __builtin functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use correct variable in mem_sql()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | extra: improve unsigned comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | ranges: don't do unneeded allocations in cast_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | ranges: introduce rl_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db: use in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db: move an option_no_db check to run_sql()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | flow, db: rename should_inline() to inlinable() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | returns: add a check for __inline_fn
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-20 |
Dan Carpenter | db, flow: make __inline_fn a pointer to the function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: SQL formatting bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: save caller_info for inline function properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: silence a compile warning on 32 bit (use %zd for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_call_implies()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: only allow functions to be saved to one function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_caller_info()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_return_values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-19 |
Dan Carpenter | db: introduce sql_select_return_states()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | ranges: fix "trouble parsing empty" messages
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | param_limit, param_filter: silence some debug output
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | smatch: fix sm_debug() to always print
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | db, flow: parse inline statements, load stuff into...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-18 |
Dan Carpenter | states: introduce helper functions to preserve and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | validation: fix bogus tests so they don't cause segfaults
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | parse_call_math: fix segfault
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | db: make sql_insert_caller_info() take the call expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | db: initialize In-Memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | db: move db stuff from smatch_scripts/db/ to smatch_data/db/
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | db: everyone must have libsqlite3 installed (not optional)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-16 |
Dan Carpenter | files: make open_data_file() exported
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | flow: delete unused code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | helper: handle assignments in expr_to_str()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | *new* check_struct_type: if we allocate an unexpected...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | rosenberg: fix crash parsing different functions with...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move caller_info as close as possible to raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: make member_info callbacks take 1 or 0 instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move type_size to use raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move call_implies to use raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move return_values to use raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: delete unused no_side_effects table (for now)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move function_ptr to raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: move return_states to raw SQL
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-14 |
Dan Carpenter | db: tools for printing raw SQL instead of human readable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-08 |
Dan Carpenter | silence bogus "unreachable code" warnings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-07 |
Dan Carpenter | param_limit: handle functions where the parameter is...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-07 |
Dan Carpenter | db: take static vs global into consideration wit function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-07 |
Dan Carpenter | math: handle MOD operation better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | *delete* bool_implications: this file is unused
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | param_(filter|limit|set): add some comments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | buf_size: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | parse_call_math: silence "internal bug: pop_val popping...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Bart Van Assche | Avoid triggering a division by zero in the overflow...
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | propagate: fall out from get_implied_min() changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | extra: type bug handling empty states in reset_struct_members()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | ranges: don't allow inverted ranges
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-06 |
Dan Carpenter | db: don't get print info if the function has over 10000...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-05 |
Dan Carpenter | math: don't return high values in get_fuzzy_max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-04 |
Dan Carpenter | overflow: fix false positive allocating a void pointer
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-04 |
Dan Carpenter | buf_size: fix bug caused by get_implied_max() returning...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-04 |
Dan Carpenter | db: print less --info for a few problematic functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-04 |
Dan Carpenter | math: get_implied_max() should be able to return s32max
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-03 |
Dan Carpenter | sval: only print "s32max" if the value is actually...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-03 |
Dan Carpenter | math: get_implied_min() should be able to return s32min
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-03 |
Dan Carpenter | math: tweak get_fuzzy_math()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-03 |
Dan Carpenter | extra, db: handle passing chars to parameters which...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-01 |
Dan Carpenter | math: use NOTIMPLIED instead of HARD_MIN in opposite_implied()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-01 |
Dan Carpenter | math: set the "undefined" flag on error in handle_mod()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-01 |
Dan Carpenter | or_vs_and: handle conditions inside parenthesis
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-01 |
Emil Tantilov | smatch: fix build error
|
commit | commitdiff | tree |
| 2013-02-01 |
Dan Carpenter | type: introduce is_void_pointer() and is_char_pointer()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-31 |
Dan Carpenter | absolute: 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 Carpenter | extra, modification_hooks, db: move get_variable_from_key...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | expressions: use more accurate positions for fake dereferenc...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | modification_hooks: use modification info from the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | extra, equiv: make call_extra_mod_hooks() global
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | modification_hooks: split out call_modification_hooks_name_sym()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | type: handle strings better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | equiv: call_extra_mod_hooks() inside set_equiv()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | buf_size: don't call get_expression_value()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-28 |
Dan Carpenter | smatch: create a local_debug() macro
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-24 |
Dan Carpenter | smatch.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 Carpenter | deref: spelling: derefencing => dereferencing
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-23 |
Dan Carpenter | math: calculating the sizeof() used to modify the expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-23 |
Dan Carpenter | math: use smatch_comparison.c for handling subtraction
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-23 |
Dan Carpenter | extra, modification_hooks: set "*p" to unknown if we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-23 |
Dan Carpenter | smatch_expressions: introduce deref_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-23 |
Dan Carpenter | smatch_expressions: rename deref_expression() to member_expr...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-22 |
Dan Carpenter | all: 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 Carpenter | smatch: rename expr_to_str() to expr_to_var()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-22 |
Dan Carpenter | missing break: only print one message per switch statement
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-18 |
Dan Carpenter | extra: get rid of data_type enum
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-18 |
Dan Carpenter | debug: add __smatch_compare()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-01-17 |
Dan Carpenter | math: 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 Carpenter | sval: introduce sval_min/max()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
