pvm3.4.6 : pvm3.4.6 analysis 2 : Null Pointer Dereference at cmds.c:497
|
|
|||||||||||||||||||||||||||||
| 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 | Show LegendHide Legend | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||
| Preconditions | ||||||||||||
num >= 1 |
||||||||||||
| Postconditions | ||||||||||||
ap' = &$heap_443385 errno' != 0 bytes_after(&$heap_443385)' = 24 $heap_443385' is allocated by malloc $heap_443385' is allocated bytes_before(&$heap_443385)' = 0 ((char*)&$heap_443385)[16]' = 0 ((char*)&$heap_443385)[8]' = &$heap_443386 ((char*)&$heap_443385)[12]' = num $heap_443386' = *name bytes_after(&$heap_443386)' = strlen(name) + 1 $heap_443386' is allocated by malloc $heap_443386' is allocated bytes_before(&$heap_443386)' = 0 strlen(&$heap_443386)' = strlen(name) tocttou($heap_443386)' = tocttou(*name) $heap_443387' = $unknown_12208240 bytes_after(&$heap_443387)' = strlen(&$unknown_12208239) + 1 $heap_443387' is allocated by malloc $heap_443387' is allocated bytes_before(&$heap_443387)' = 0 strlen(&$heap_443387)' = strlen(&$unknown_12208240) tocttou($heap_443387)' = tocttou($unknown_12208240) num' = num - 1 |
||||||||||||
