|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 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);
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);
1087 State = MaybeState.getValue();
1089 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1089 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1096 performKernelMalloc(CE, C, State);
1098 State = MaybeState.getValue();
1100 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
1100 State = MallocMemAux(C, CE, CE->getArg(0), UndefinedVal(), State);
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);
1105 State = ProcessZeroAllocCheck(C, CE, 0, State);
1109 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State);
1109 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State);
1110 State = ProcessZeroAllocCheck(C, CE, 1, State);
1110 State = ProcessZeroAllocCheck(C, CE, 1, State);
1112 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ true, State);
1112 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ true, State);
1113 State = ProcessZeroAllocCheck(C, CE, 1, State);
1113 State = ProcessZeroAllocCheck(C, CE, 1, State);
1115 State = CallocMem(C, CE, State);
1115 State = CallocMem(C, CE, State);
1116 State = ProcessZeroAllocCheck(C, CE, 0, State);
1116 State = ProcessZeroAllocCheck(C, CE, 0, State);
1117 State = ProcessZeroAllocCheck(C, CE, 1, State);
1117 State = ProcessZeroAllocCheck(C, CE, 1, State);
1124 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1124 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1129 State = MallocUpdateRefState(C, CE, State);
1129 State = MallocUpdateRefState(C, CE, State);
1131 State = MallocUpdateRefState(C, CE, State);
1131 State = MallocUpdateRefState(C, CE, State);
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);
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);
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);
1153 State = ProcessZeroAllocCheck(C, CE, 0, State);
1157 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1157 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1165 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State,
1165 State = MallocMemAux(C, CE, UnknownVal(), UnknownVal(), State,
1168 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
1168 State = FreeMemAux(C, CE, State, 0, false, IsKnownToBeAllocatedMemory);
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);
1176 State = ProcessZeroAllocCheck(C, CE, 0, State);
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);
1181 State = ProcessZeroAllocCheck(C, CE, 1, State);
1195 State = MallocMemAux(C, CE, TotalSize, Init, State);
1195 State = MallocMemAux(C, CE, TotalSize, Init, State);
1196 State = ProcessZeroAllocCheck(C, CE, 0, State);
1196 State = ProcessZeroAllocCheck(C, CE, 0, State);
1197 State = ProcessZeroAllocCheck(C, CE, 1, State);
1197 State = ProcessZeroAllocCheck(C, CE, 1, State);
1202 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State,
1202 State = ReallocMemAux(C, CE, /*ShouldFreeOnFail*/ false, State,
1204 State = ProcessZeroAllocCheck(C, CE, 1, State);
1204 State = ProcessZeroAllocCheck(C, CE, 1, State);
1205 State = ProcessZeroAllocCheck(C, CE, 2, State);
1205 State = ProcessZeroAllocCheck(C, CE, 2, State);
1217 State = MallocMemReturnsAttr(C, CE, I, State);
1217 State = MallocMemReturnsAttr(C, CE, I, State);
1221 State = FreeMemAttr(C, CE, I, State);
1221 State = FreeMemAttr(C, CE, I, State);
1226 C.addTransition(State);