|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1059 const FunctionDecl *FD = C.getCalleeDecl(CE);
1073 switch (CE->getNumArgs()) {
1077 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1077 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1078 State = ProcessZeroAllocCheck(C, CE, 0, State);
1081 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1081 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1085 performKernelMalloc(CE, C, State);
1089 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1089 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1093 if (CE->getNumArgs() < 1)
1096 performKernelMalloc(CE, C, State);
1100 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1100 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1102 if (CE->getNumArgs() < 1)
1104 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1104 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1105 State = ProcessZeroAllocCheck(C, CE, 0, State);
1109 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State);
1110 State = ProcessZeroAllocCheck(C, CE, 1, State);
1112 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ true, State);
1113 State = ProcessZeroAllocCheck(C, CE, 1, State);
1115 State = CallocMem(C, CE, State);
1116 State = ProcessZeroAllocCheck(C, CE, 0, State);
1117 State = ProcessZeroAllocCheck(C, CE, 1, State);
1121 if (suppressDeallocationsInSuspiciousContexts(CE, C))
1124 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1129 State = MallocUpdateRefState(C, CE, State);
1131 State = MallocUpdateRefState(C, CE, State);
1134 if (CE->getNumArgs() < 1)
1136 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1136 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1138 State = ProcessZeroAllocCheck(C, CE, 0, State);
1146 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1146 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1148 State = ProcessZeroAllocCheck(C, CE, 0, State);
1151 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1151 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State,
1153 State = ProcessZeroAllocCheck(C, CE, 0, State);
1157 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1165 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State,
1168 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1171 if (CE->getNumArgs() < 1)
1175 State = MallocMemAux(C, CE, CE->getArg(0), zeroVal, State);
1175 State = MallocMemAux(C, CE, CE->getArg(0), zeroVal, State);
1176 State = ProcessZeroAllocCheck(C, CE, 0, State);
1178 if (CE->getNumArgs() < 2)
1180 State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State);
1180 State = MallocMemAux(C, CE, CE->getArg(1), UndefinedVal(), State);
1181 State = ProcessZeroAllocCheck(C, CE, 1, State);
1186 if (CE->getNumArgs() < 2)
1194 SVal TotalSize = evalMulForBufferSize(C, CE->getArg(0), CE->getArg(1));
1194 SVal TotalSize = evalMulForBufferSize(C, CE->getArg(0), CE->getArg(1));
1195 State = MallocMemAux(C, CE, TotalSize, Init, State);
1196 State = ProcessZeroAllocCheck(C, CE, 0, State);
1197 State = ProcessZeroAllocCheck(C, CE, 1, State);
1200 if (CE->getNumArgs() < 3)
1202 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State,
1204 State = ProcessZeroAllocCheck(C, CE, 1, State);
1205 State = ProcessZeroAllocCheck(C, CE, 2, State);
1217 State = MallocMemReturnsAttr(C, CE, I, State);
1221 State = FreeMemAttr(C, CE, I, State);