| /external/clang/lib/StaticAnalyzer/Core/ |
| SValBuilder.cpp | 27 // Basic SVal creation.
76 SVal SValBuilder::convertToArrayIndex(SVal val) {
227 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) {
272 Optional<SVal> ArrayVal = getConstantVal(CE->getSubExpr());
302 SVal SValBuilder::makeSymExprValNN(ProgramStateRef State,
331 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
332 SVal lhs, SVal rhs, QualType type) {
397 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy)
[all...] |
| ExprEngine.cpp | 118 SVal V = state->getSVal(loc::MemRegionVal(R));
119 SVal Constraint_untested = evalBinOp(state, BO_GT, V,
141 SVal V = state->getSVal(loc::MemRegionVal(R));
158 SVal V = state->getSVal(L);
175 SVal V = State->getSVal(Ex, LC);
224 SVal Reg = loc::MemRegionVal(TR);
249 SVal cond, bool assumption) {
453 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
456 SVal FieldLoc;
473 SVal InitVal
[all...] |
| CheckerManager.cpp | 265 SVal Loc;
275 SVal loc, bool isLoad, const Stmt *NodeEx,
299 SVal location, bool isLoad,
312 SVal Loc;
313 SVal Val;
322 SVal loc, SVal val, const Stmt *s, ExprEngine &eng,
339 SVal location, SVal val,
511 SVal Cond, bool Assumption)
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| DereferenceChecker.cpp | 39 void checkLocation(SVal location, bool isLoad, const Stmt* S,
41 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
177 void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S,
225 void DereferenceChecker::checkBind(SVal L, SVal V, const Stmt *S,
|
| ArrayBoundChecker.cpp | 30 void checkLocation(SVal l, bool isLoad, const Stmt* S,
35 void ArrayBoundChecker::checkLocation(SVal l, bool isLoad, const Stmt* LoadS,
|
| BuiltinFunctionChecker.cpp | 52 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
64 // SVal of the argument directly. If we save the extent in bits, we
|
| CallAndMessageChecker.cpp | 51 static bool PreVisitProcessArg(CheckerContext &C, SVal V,
113 SVal V, SourceRange argRange,
168 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
229 SVal L = State->getSVal(Callee, LCtx);
260 SVal V = CC->getCXXThisVal();
332 SVal recVal = msg.getReceiverSVal();
439 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
477 SVal V = C.getSValBuilder().makeZeroVal(RetTy);
|
| PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| VLASizeChecker.cpp | 94 SVal sizeV = state->getSVal(SE, C.getLocationContext());
138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy);
141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
|
| MallocChecker.cpp | 192 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
194 void checkLocation(SVal l, bool isLoad, const Stmt *S,
241 const Expr *SizeEx, SVal Init,
250 SVal SizeEx, SVal Init,
310 static bool SummarizeValue(raw_ostream &os, SVal V);
312 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
317 void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
747 SVal Size, SVal Init
[all...] |
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| /external/bison/examples/calc++/ |
| calc++-scanner.ll | 61 yylval->sval = new std::string (yytext);
|
| /external/antlr/antlr-3.4/runtime/CSharp2/Sources/Antlr3.Runtime/Antlr.Runtime.Tree/ |
| TreePatternParser.cs | 102 label = tokenizer.sval.ToString();
126 string tokenName = tokenizer.sval.ToString();
135 arg = tokenizer.sval.ToString();
|
| /external/antlr/antlr-3.4/runtime/CSharp3/Sources/Antlr3.Runtime/Tree/ |
| TreePatternParser.cs | 120 label = tokenizer.sval.ToString();
148 string tokenName = tokenizer.sval.ToString();
159 arg = tokenizer.sval.ToString();
|
| /external/antlr/antlr-3.4/runtime/Java/src/main/java/org/antlr/runtime/tree/ |
| TreePatternParser.java | 101 label = tokenizer.sval.toString();
125 String tokenName = tokenizer.sval.toString();
134 arg = tokenizer.sval.toString();
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 140 /// all SVal values. This method returns true if the ConstraintManager can
141 /// reasonably handle a given SVal value. This is typically queried by
144 virtual bool canReasonAbout(SVal X) const = 0;
|
| SubEngine.h | 106 SVal cond, bool assumption) = 0;
129 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) = 0;
|
| /libcore/luni/src/main/java/java/io/ |
| StreamTokenizer.java | 40 public String sval; field in class:StreamTokenizer
237 * are stored in {@code sval}.
240 * {@code true} if {@code sval} should be converted to lower
250 * information may be stored in the {@code nval} or {@code sval} fields.
263 sval = null; // Always reset sval to null
351 sval = word.toString();
353 sval = sval.toLowerCase(Locale.getDefault());
428 sval = quoteString.toString()
[all...] |
| /ndk/sources/host-tools/nawk-20071023/ |
| parse.c | 194 xfree(cp->sval);
195 cp->sval = (char *) makesymtab(NSYMTAB);
248 v->sval = (char *) st;
|
| /external/chromium_org/third_party/yasm/source/patched-yasm/tools/genperf/ |
| genperf.c | 37 typedef STAILQ_HEAD(slist, sval) slist;
38 typedef struct sval { struct
39 STAILQ_ENTRY(sval) link;
41 } sval; typedef in typeref:struct:sval
270 sval *sv;
334 sv = yasm_xmalloc(sizeof(sval));
350 sv = yasm_xmalloc(sizeof(sval));
379 sv = yasm_xmalloc(sizeof(sval));
388 sv = yasm_xmalloc(sizeof(sval));
500 sv = yasm_xmalloc(sizeof(sval));
[all...] |
| /external/antlr/antlr-3.4/runtime/Python/antlr3/ |
| treewizard.py | 81 self.sval = None
94 self.sval = ""
101 self.sval += self.c
104 self.sval += self.c
135 self.sval += '\\'
137 self.sval += self.c
140 self.sval += self.c
222 label = self.tokenizer.sval
242 tokenName = self.tokenizer.sval
252 arg = self.tokenizer.sval
[all...] |
| /frameworks/base/core/java/com/android/internal/util/ |
| TypedProperties.java | 163 final int type = interpretType(st.sval);
167 st.sval = null;
182 final String propertyName = st.sval;
186 st.sval = null;
241 if ("true".equals(st.sval)) {
243 } else if ("false".equals(st.sval)) {
259 value = Long.decode(st.sval);
306 value = Double.parseDouble(st.sval);
328 return st.sval;
329 } else if (token == StreamTokenizer.TT_WORD && "null".equals(st.sval)) {
[all...] |
| /external/antlr/antlr-3.4/runtime/Python/unittests/ |
| testtreewizard.py | 42 self.failUnlessEqual(lexer.sval, '')
52 self.failUnlessEqual(lexer.sval, '')
62 self.failUnlessEqual(lexer.sval, '')
72 self.failUnlessEqual(lexer.sval, '')
82 self.failUnlessEqual(lexer.sval, '')
92 self.failUnlessEqual(lexer.sval, '')
102 self.failUnlessEqual(lexer.sval, '_foo12_bar')
112 self.failUnlessEqual(lexer.sval, ' ]bla\\n')
122 self.failUnlessEqual(lexer.sval, '')
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 39 class SVal;
290 SVal location,
299 SVal location, SVal val,
380 SVal Cond, bool Assumption);
432 typedef CheckerFn<void (const SVal &location, bool isLoad,
437 typedef CheckerFn<void (const SVal &location, const SVal &val,
472 const SVal &cond, bool assumption)>
|
