Develop #31
Develop #31
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: printme could be null (last assigned on line 7) and is dereferenced.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
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.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
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: printme could be null (last assigned on line 7) and is dereferenced.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
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.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
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: printme could be null (last assigned on line 7) and is dereferenced.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
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.
ℹ️ Learn about @sonatype-lift commands
You can reply with the following commands. For example, reply with @sonatype-lift ignoreall to leave out all findings.
| Command | Usage |
|---|---|
@sonatype-lift ignore |
Leave out the above finding from this PR |
@sonatype-lift ignoreall |
Leave out all the existing findings from this PR |
@sonatype-lift exclude <file|issue|path|tool> |
Exclude specified file|issue|path|tool from Lift findings by updating your config.toml file |
Note: When talking to LiftBot, you need to refresh the page to see its response.
Click here to add LiftBot to another repo.
Was this a good recommendation?
[ 🙁 Not relevant ] - [ 😕 Won't fix ] - [ 😑 Not critical, will fix ] - [ 🙂 Critical, will fix ] - [ 😊 Critical, fixing now ]
No description provided.