| 2013-03-06 |
Dan Carpenter | function_ptrs: track parameters as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-06 |
Dan Carpenter | function_ptrs: separate into its own file
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-03-01 |
Dan Carpenter | data: add snprintf to kernel.sizeof_param.remove
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-28 |
Dan Carpenter | buf_size: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-28 |
Dan Carpenter | kernel: remove some unneeded code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | buf_size: handle empty arrays on the end of structs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | buf_size: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | local_values: store possible values of static data
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-26 |
Dan Carpenter | flow: more inline fall out
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | db: export mem_sql() so checks can use it
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | no_return: another problem with inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | ranges: fix casting of invalid range lists
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-22 |
Dan Carpenter | extra, function_hooks: fix handling of casted function...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | Revert "db: don't create unused tables in the in-memory...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: don't use function pointers for caller info on...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: use "distinct" to avoid duplicate function pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: load global function pointers into the db properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: remove duplicate struct pointers to functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: fix call_implies for the in-memory database
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db, function_hooks: query the db after processing the...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: store the value of "x" when you call frob(&x);
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: pass pointed at values to called functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 2013-02-21 |
Dan Carpenter | db: reset the in-memory database after every function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
| 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 |
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 |
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 |
