• Home
  • Raw
  • Download

Lines Matching refs:MallocMemAux

282   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
286 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
742 return MallocMemAux(C, CE, CE->getArg(0), ZeroVal, TrueState); in performKernelMalloc()
767 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
776 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
784 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
788 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State); in checkPostStmt()
808 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
818 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
823 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State, in checkPostStmt()
834 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State, in checkPostStmt()
1063 return MallocMemAux(C, CE, CE->getArg(*I), UndefinedVal(), State); in MallocMemReturnsAttr()
1065 return MallocMemAux(C, CE, UnknownVal(), UndefinedVal(), State); in MallocMemReturnsAttr()
1068 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux() function in MallocChecker
1076 return MallocMemAux(C, CE, State->getSVal(SizeEx, C.getLocationContext()), in MallocMemAux()
1080 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux() function in MallocChecker
1942 ProgramStateRef stateMalloc = MallocMemAux(C, CE, CE->getArg(1), in ReallocMem()
1975 ProgramStateRef stateRealloc = MallocMemAux(C, CE, CE->getArg(1), in ReallocMem()
2013 return MallocMemAux(C, CE, TotalSize, zeroVal, State); in CallocMem()