| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ValistChecker.cpp | 138 bool Symbolic; in checkPreCall() local
141 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); in checkPreCall()
150 if (Symbolic) in checkPreCall()
190 bool Symbolic; in checkPreStmt() local
192 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C); in checkPreStmt()
195 if (Symbolic) in checkPreStmt()
309 bool Symbolic; in checkVAListStartCall() local
311 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); in checkVAListStartCall()
319 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); in checkVAListStartCall()
327 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) { in checkVAListStartCall()
[all …]
|
| /freebsd/tools/tools/net80211/wlaninject/ |
| H A D | README | 29 -W The WME AC to use for transmission. Symbolic names are used:
39 -t The 802.11 frame type. Symbolic names are:
45 will be calculated. Symbolic names are:
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Bitcode/ |
| H A D | BitcodeAnalyzer.h | 43 bool Symbolic = false; member
|
| /freebsd/contrib/file/magic/Magdir/ |
| H A D | sylk | 10 # by DROID "Microsoft Symbolic Link (SYLK) File"
|
| /freebsd/sys/fs/cd9660/ |
| H A D | TODO | 6 o Symbolic Link
|
| /freebsd/contrib/llvm-project/llvm/tools/llvm-bcanalyzer/ |
| H A D | llvm-bcanalyzer.cpp | 122 O.Symbolic = !NonSymbolic; in main()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/Xtensa/ |
| H A D | XtensaOperands.td | 168 // Symbolic address operands
|
| /freebsd/contrib/llvm-project/llvm/lib/Bitcode/Reader/ |
| H A D | BitcodeAnalyzer.cpp | 785 if (!O->Symbolic && BlockName) in parseBlock()
877 if (!O->Symbolic && CodeName) in parseBlock()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 74 static const int64_t Symbolic = std::numeric_limits<int64_t>::max();
82 bool hasSymbolicOffset() const { return Offset == Symbolic; } in hasSymbolicOffset()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RegionStore.cpp | 48 enum { Symbolic = 0x2 }; enumerator
56 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) { in BindingKey()
73 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } in hasSymbolicOffset()
|
| H A D | MemRegion.cpp | 1658 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic); in calculateOffset()
|
| /freebsd/contrib/llvm-project/llvm/lib/Target/SystemZ/ |
| H A D | SystemZOperands.td | 543 // Symbolic address operands
|
| /freebsd/contrib/one-true-awk/testdir/ |
| H A D | funstack.ok | 179 S. M. Swanson ACM Algorithm 377: Symbolic Expansion of
656 Anthony C. Hearn Applications of Symbolic Manipulation in
669 Joel Moses Symbolic Integration: The Stormy Decade 548--560
2450 James C. King Symbolic Execution and Program Testing 385--394
|
| H A D | funstack.in | 1112 title = "{ACM} Algorithm 377: Symbolic Expansion of Algebraic Expressions",
4698 title = "Applications of Symbolic Manipulation in Theoretical Physics",
4841 title = "Symbolic Integration: The Stormy Decade",
18592 title = "Symbolic Execution and Program Testing",
|
| /freebsd/contrib/atf/ |
| H A D | NEWS | 47 discoverability purposes. Symbolic links are provided for the time
|
| /freebsd/contrib/tcsh/ |
| H A D | Fixes | 1573 23. Symbolic key names for bindkey [arrow keys].
|
| /freebsd/contrib/llvm-project/clang/include/clang/Driver/ |
| H A D | Options.td | 6889 HelpText<"Source Code Analysis - Symbolic Constraint Engines">;
|
| /freebsd/contrib/sendmail/ |
| H A D | RELEASE_NOTES | 5817 Chrysalis Symbolic Designa and Alan Brown of Manawatu
|