| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| TaintManager.h | 32 typedef llvm::ImmutableMap<SymbolRef, TaintTagType> TaintMapImpl;
|
| ConstraintManager.h | 108 SymbolRef sym) const {
124 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
|
| SymbolManager.h | 98 typedef const SymExpr* SymbolRef;
99 typedef SmallVector<SymbolRef, 2> SymbolRefSmallVectorTy;
201 SymbolRef parentSymbol;
205 SymbolDerived(SymbolID sym, SymbolRef parent, const TypedValueRegion *r)
208 SymbolRef getParentSymbol() const { return parentSymbol; }
215 static void Profile(llvm::FoldingSetNodeID& profile, SymbolRef parent,
471 typedef llvm::DenseMap<SymbolRef, SymbolRefSmallVectorTy*> SymbolDependTy;
508 const SymbolDerived *getDerivedSymbol(SymbolRef parentSymbol,
546 void addSymbolDependency(const SymbolRef Primary, const SymbolRef Dependent)
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.h | 56 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
60 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
64 virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
68 virtual ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
72 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
76 virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
97 SymbolRef Sym,
|
| ConstraintManager.cpp | 22 SymbolRef Sym) {
29 SymbolRef Sym) {
|
| RangeConstraintManager.cpp | 281 CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef,
286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
291 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
299 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
303 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
307 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
311 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
315 const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const;
316 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym)
[all...] |
| SVals.cpp | 34 SymbolRef sym = SV->getSymbol();
42 SymbolRef sym = SR->getSymbol();
63 /// return that SymbolRef. Otherwise return 0.
67 SymbolRef SVal::getAsLocSymbol() const {
68 // FIXME: should we consider SymbolRef wrapped in CodeTextRegion?
81 SymbolRef SVal::getLocSymbolInBase() const {
101 /// \brief If this SVal wraps a symbol return that SymbolRef.
103 SymbolRef SVal::getAsSymbol() const {
104 // FIXME: should we consider SymbolRef wrapped in CodeTextRegion?
|
| SimpleConstraintManager.cpp | 140 SymbolRef Sym, bool Assumption) {
163 SymbolRef sym = Cond.getAsSymExpr();
175 SymbolRef sym = SV.getSymbol();
217 static void computeAdjustment(SymbolRef &Sym, llvm::APSInt &Adjustment) {
252 SymbolRef Sym = LHS;
|
| /external/llvm/tools/llvm-readobj/ |
| llvm-readobj.cpp | 60 static const char *getTypeStr(SymbolRef::Type Type) {
62 case SymbolRef::ST_Unknown: return "?";
63 case SymbolRef::ST_Data: return "DATA";
64 case SymbolRef::ST_Debug: return "DBG";
65 case SymbolRef::ST_File: return "FILE";
66 case SymbolRef::ST_Function: return "FUNC";
67 case SymbolRef::ST_Other: return "-";
74 if (Flags & SymbolRef::SF_Undefined)
76 if (Flags & SymbolRef::SF_Global)
78 if (Flags & SymbolRef::SF_Weak
[all...] |
| /external/llvm/include/llvm/Object/ |
| ObjectFile.h | 91 class SymbolRef;
110 error_code getSymbol(SymbolRef &Result) const;
137 friend class SymbolRef;
168 error_code containsSymbol(SymbolRef S, bool &Result) const;
177 /// SymbolRef - This is a value type class that represents a single symbol in
179 class SymbolRef {
185 SymbolRef() : OwningObject(NULL) { }
208 SymbolRef(DataRefImpl SymbolP, const ObjectFile *Owner);
210 bool operator==(const SymbolRef &Other) const;
211 bool operator<(const SymbolRef &Other) const
[all...] |
| /external/llvm/lib/Target/ARM/MCTargetDesc/ |
| ARMMCExpr.cpp | 30 if (Expr->getKind() != MCExpr::SymbolRef)
33 if (Expr->getKind() != MCExpr::SymbolRef)
60 case MCExpr::SymbolRef:
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| SimpleStreamChecker.cpp | 28 typedef SmallVector<SymbolRef, 2> SymbolVector;
62 void reportDoubleClose(SymbolRef FileDescSym,
93 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState)
102 bool VisitSymbol(SymbolRef sym) {
132 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
156 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
173 static bool isLeaked(SymbolRef Sym, const StreamState &SS,
192 SymbolRef Sym = I->first;
208 void SimpleStreamChecker::reportDoubleClose(SymbolRef FileDescSym,
230 for (SmallVector<SymbolRef, 2>::iterato
[all...] |
| ObjCContainersChecker.cpp | 40 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
42 SymbolRef ArraySym = ArrayRef.getAsSymbol();
59 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
71 SymbolRef ArraySym = ArrayRef.getAsSymbol();
115 SymbolRef ArraySym = getArraySym(ArrayExpr, C);
|
| MacOSKeychainAPIChecker.cpp | 40 SymbolRef Region;
42 AllocationState(const Expr *E, unsigned int Idx, SymbolRef R) :
62 typedef std::pair<SymbolRef, const AllocationState*> AllocationPair;
102 const ExplodedNode *getAllocationNode(const ExplodedNode *N, SymbolRef Sym,
110 bool definitelyReturnedError(SymbolRef RetSym,
116 bool definitelyDidnotReturnError(SymbolRef RetSym,
135 SymbolRef Sym;
138 SecKeychainBugVisitor(SymbolRef S) : Sym(S) {}
159 SymbolRef,
215 static SymbolRef getAsPointeeSymbol(const Expr *Expr
[all...] |
| MallocChecker.cpp | 101 SymbolRef ReallocatedSym;
104 ReallocPair(SymbolRef S, ReallocPairKind K) :
217 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
219 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
237 SymbolRef Sym) const;
239 SymbolRef Sym, SymbolRef PrevSym) const;
243 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
246 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
259 SymbolRef Sym
[all...] |
| TaintTesterChecker.cpp | 30 SymbolRef getPointedToSymbol(CheckerContext &C,
|
| /external/llvm/include/llvm/ExecutionEngine/ |
| ObjectImage.h | 48 virtual void updateSymbolAddress(const object::SymbolRef &Sym,
|
| /external/llvm/lib/Target/Mips/MCTargetDesc/ |
| MipsBaseInfo.h | 140 if ((LHS->getKind() != MCExpr::SymbolRef) || !CE)
146 if (Kind != MCExpr::SymbolRef)
|
| /external/llvm/tools/llvm-symbolizer/ |
| LLVMSymbolize.cpp | 54 SymbolRef::Type SymbolType;
57 if (SymbolType != SymbolRef::ST_Function &&
58 SymbolType != SymbolRef::ST_Data)
72 SymbolMapTy &M = SymbolType == SymbolRef::ST_Function ? Functions : Objects;
78 bool ModuleInfo::getNameFromSymbolTable(SymbolRef::Type Type, uint64_t Address,
81 const SymbolMapTy &M = Type == SymbolRef::ST_Function ? Functions : Objects;
105 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset,
132 if (getNameFromSymbolTable(SymbolRef::ST_Function, ModuleOffset,
146 return getNameFromSymbolTable(SymbolRef::ST_Data, ModuleOffset, Name, Start,
|
| /external/llvm/lib/ExecutionEngine/RuntimeDyld/ |
| ObjectImageCommon.h | 67 virtual void updateSymbolAddress(const object::SymbolRef &Sym, uint64_t Addr)
|
| RuntimeDyldELF.h | 77 unsigned getCommonSymbolAlignment(const SymbolRef &Sym);
|
| /external/llvm/lib/Target/AArch64/MCTargetDesc/ |
| AArch64MCExpr.cpp | 72 if (Expr->getKind() != MCExpr::SymbolRef)
75 if (Expr->getKind() != MCExpr::SymbolRef)
100 case MCExpr::SymbolRef: {
166 case MCExpr::SymbolRef:
|
| /external/llvm/lib/Object/ |
| MachOObjectFile.cpp | 113 SymbolRef &Result) const {
116 Result = SymbolRef(DRI, this);
185 uint32_t flags = SymbolRef::SF_None;
187 if (flags & SymbolRef::SF_Common)
213 uint32_t flags = SymbolRef::SF_None;
215 if (flags & SymbolRef::SF_Common)
298 Result = SymbolRef::SF_None;
301 Result |= SymbolRef::SF_Undefined;
304 Result |= SymbolRef::SF_FormatSpecific;
307 Result |= SymbolRef::SF_Global
[all...] |
| COFFObjectFile.cpp | 93 SymbolRef &Result) const {
97 Result = SymbolRef(Symb, this);
144 SymbolRef::Type &Result) const {
146 Result = SymbolRef::ST_Other;
149 Result = SymbolRef::ST_Unknown;
152 Result = SymbolRef::ST_Function;
158 Result = SymbolRef::ST_Data;
168 Result = SymbolRef::SF_None;
174 Result |= SymbolRef::SF_Undefined;
178 Result |= SymbolRef::SF_Global
[all...] |
| /external/llvm/lib/MC/ |
| MCSymbol.cpp | 46 if (Value->getKind() != MCExpr::SymbolRef)
|
