OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymbolicRegion
(Results
1 - 17
of
17
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
PointerSubChecker.cpp
60
if (isa<
SymbolicRegion
>(BaseLR) || isa<
SymbolicRegion
>(BaseRR))
CastSizeChecker.cpp
52
const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R);
MallocChecker.cpp
591
const
SymbolicRegion
*R =
592
dyn_cast_or_null<
SymbolicRegion
>(RetVal.getAsRegion());
738
const
SymbolicRegion
*SrBase = dyn_cast<
SymbolicRegion
>(R->getBaseRegion());
[
all
...]
GenericTaintChecker.cpp
582
const
SymbolicRegion
*SymReg = dyn_cast_or_null<
SymbolicRegion
>(MemReg);
RetainCountChecker.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
41
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R)) {
74
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(R))
90
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SR))
MemRegion.cpp
220
DefinedOrUnknownSVal
SymbolicRegion
::getExtent(SValBuilder &svalBuilder) const {
336
void
SymbolicRegion
::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
343
void
SymbolicRegion
::Profile(llvm::FoldingSetNodeID& ID) const {
344
SymbolicRegion
::ProfileRegion(ID, sym, getSuperRegion());
509
void
SymbolicRegion
::dumpToStream(raw_ostream &os) const {
874
const
SymbolicRegion
*MemRegionManager::getSymbolicRegion(SymbolRef sym) {
875
return getSubRegion<
SymbolicRegion
>(sym, getUnknownRegion());
878
const
SymbolicRegion
*MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
879
return getSubRegion<
SymbolicRegion
>(Sym, getHeapRegion());
[
all
...]
ProgramState.cpp
565
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R))
641
if (const
SymbolicRegion
*SR = dyn_cast_or_null<
SymbolicRegion
>(R))
684
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(Reg))
744
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(Reg)) {
SimpleConstraintManager.cpp
89
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SubR)) {
RegionStore.cpp
[
all
...]
SymbolManager.cpp
420
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(MR))
Store.cpp
86
if (isa<CodeTextRegion>(R) || isa<
SymbolicRegion
>(R))
SimpleSValBuilder.cpp
712
((!isa<
SymbolicRegion
>(LeftBase) && !isa<
SymbolicRegion
>(RightBase)) ||
[
all
...]
BugReporter.cpp
[
all
...]
BugReporterVisitors.cpp
897
if (isa<
SymbolicRegion
>(R)) {
945
if (RegionRVal && isa<
SymbolicRegion
>(RegionRVal))
[
all
...]
ExprEngine.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h
691
///
SymbolicRegion
- A special, "non-concrete" region. Unlike other region
692
/// clases,
SymbolicRegion
represents a region that serves as an alias for
696
class
SymbolicRegion
: public SubRegion {
701
SymbolicRegion
(const SymbolRef s, const MemRegion* sreg)
[
all
...]
Completed in 163 milliseconds