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 |
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 |