Develop2 #26
Develop2 #26
Conversation
Infer doesn't see the null pointer dereference on calls to library functions
![sonatype-lift[bot]](https://avatars.githubusercontent.com/in/9843?s=60&v=4){kind=small}
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULLPTR_DEREFERENCE: Pulse found a potential null pointer dereference on line 8.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULL_DEREFERENCE: pointer printme last assigned on line 7 could be null and is dereferenced at line 8, column 5.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
![staging-sonatype-lift[bot]](https://avatars.githubusercontent.com/in/32694?s=60&v=4){kind=small}
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULLPTR_DEREFERENCE: Pulse found a potential null pointer dereference on line 8.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULL_DEREFERENCE: pointer printme last assigned on line 7 could be null and is dereferenced at line 8, column 5.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
![dev1-sonatype-lift[bot]](https://avatars.githubusercontent.com/u/42072939?s=60&v=4){kind=small}
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULLPTR_DEREFERENCE: Pulse found a potential null pointer dereference on line 8.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
| @@ -4,6 +4,11 @@ static char text[] = "Hello Muse!"; | |||
|
|
|||
| int main() { | |||
| char * printme = text; | |||
| printme = NULL; | |||
| printme[0] = 'X'; | |||
There was a problem hiding this comment.
NULL_DEREFERENCE: pointer printme last assigned on line 7 could be null and is dereferenced at line 8, column 5.
Reply with "@sonatype-lift help" for info about LiftBot commands.
Reply with "@sonatype-lift ignore" to tell LiftBot to leave out the above finding from this PR.
Reply with "@sonatype-lift ignoreall" to tell LiftBot to leave out all the findings from this PR and from the status bar in Github.
When talking to LiftBot, you need to refresh the page to see its response. Click here to get to know more about LiftBot commands.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
No description provided.