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 |
2013-01-17 |
Dan Carpenter | smatch_comparison: store how two variables compare... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-15 |
Dan Carpenter | slist: fix alignment in alloc_sname() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-15 |
Dan Carpenter | validation: update a couple scripts with missing break... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-15 |
Dan Carpenter | Makefile: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-15 |
Dan Carpenter | equiv: get rid of the ->op member Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-15 |
Dan Carpenter | equiv: update some comments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-14 |
Dan Carpenter | constraints: equiv: rename smatch_constraints.c to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-14 |
Dan Carpenter | ranges: rename show_ranges() to show_rl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-11 |
Dan Carpenter | smatch: introduce expr_to_str_complex() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-11 |
Dan Carpenter | smatch: introduce expr_to_str() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-11 |
Dan Carpenter | smatch: 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 Carpenter | smatch: rename get_variable_from_expr_complex() to... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-11 |
Dan Carpenter | extra: shuffle smatch_extra.h around some more Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |
2013-01-11 |
Dan Carpenter | estate: rename filter_range() to estate_filter_range() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
|
commit | commitdiff | tree |