-
Notifications
You must be signed in to change notification settings - Fork 156
Closed
Labels
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomers
Description
- I have searched open and closed issues for duplicates
- I made sure that I am not using an old project version (DO: pull Phasar, update git submodules, rebuild the project and check if the bug is still there)
Bug description
Dear developers,
In lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IDESecureHeapPropagation.cpp Line 88
The return value of getCalledFunction() is not checked for null, which may cause a crash if it is an inline assembly call or a function pointer call.

Could you have a look, thanks!
Context (Environment)
The commit I use is lattest default.
- *development[57dd51a]
Possible solution
Change the Line 89 to:
llvm::StringLiteral FName = "";
if(CS->getCalledFunction()) {
FName = CS->getCalledFunction()->getName();
}
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workinggood first issueGood for newcomersGood for newcomers