Text  |   XML   |   Visible Warnings:

irssi-0.8.14 : irssi-0.8.14 analysis 2 : Null Pointer Dereference  at textbuffer-view.c:595

Categories: LANG.MEM.NPD CWE:476
Warning ID: 7453.28540
Procedure: textbuffer_view_set_default_indent
Trace: view
Modified: Thu Nov 26 11:20:53 2009   show details
 
Priority: None
State: None
Finding: None
Owner: None
  edit properties

Legend [ X ]
Warning Location
Contributes
Parse Error
Other Warning
Two or More Loop Iterations
On Execution Path
Comment
Macro
Preprocessor
Include
Keyword
Preprocessed Away
Legend
Warning Location Contributes Parse Error
Other Warning Two or More Loop Iterations On Execution Path
Comment Macro Preprocessor
Include Keyword Preprocessed Away

Source  |  Language: C Hide Legend     
ProblemLineSource
   /kat0/fletcher/SATE/2010/irssi-0.8.14/src/fe-text/gui-windows.c
   Enter gui_window_init
 34 static GUI_WINDOW_REC *gui_window_init(WINDOW_REC *window,
 35                                        MAIN_WINDOW_REC *parent) 
 36 {
 37         GUI_WINDOW_REC *gui;
 38  
 39         window->width = parent->width;
 40         window->height = MAIN_WINDOW_TEXT_HEIGHT(parent);
 41  
 42         gui = g_new0(GUI_WINDOW_REC, 1);
 43         gui->parent = parent;
 44         gui->view = textbuffer_view_create(textbuffer_create(),
 45                                            window->width, window->height,
 46                                            settings_get_bool("scroll"),
true47                                            term_type == TERM_TYPE_UTF8);
 48         textbuffer_view_set_default_indent(gui->view,
 49                                            settings_get_int("indent"),
 50                                            !settings_get_bool("indent_always"),
gui->view <= 409551                                            get_default_indent_func());
     /kat0/fletcher/SATE/2010/irssi-0.8.14/src/fe-text/textbuffer-view.c
     Enter gui_window_init / textbuffer_view_set_default_indent
 589   void textbuffer_view_set_default_indent(TEXT_BUFFER_VIEW_REC *view,
 590                                           int default_indent,
 591                                           int longword_noindent,
 592                                           INDENT_FUNC indent_func) 
 593   {
 594           if (default_indent != -1)
view <= 4095595                   view->default_indent = default_indent;     /* Null Pointer Dereference */  /* Null Pointer Dereference (ID: 7408.28509) */
     Exit gui_window_init / textbuffer_view_set_default_indent
Preconditions 
&$unknown_2158713 != 0
((char*)default_indent)[20] <= 0
term_type = 1
Postconditions 
$unknown_2158710' = parent
((char*)&$unknown_2158710)[4]' = 0
((char*)&$unknown_2158711)[20]' = 1
((char*)&$unknown_2158711)[24]' = 16
((char*)&$unknown_2158711)[28]' = 48
default_indent' != -1
gui' = &$unknown_2158710
indent_func' = default_indent_func
longword_noindent' = 0
view' = 0



Change Warning 7453.28540 : Null Pointer Dereference

Priority:
State:
Finding:
Owner:
Note: