Home
last modified time | relevance | path

Searched refs:getKnownValue (Results 1 – 6 of 6) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp45 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
367 if (const llvm::APSInt *KnownRHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()
480 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) { in evalBinOpNN()
526 if (const llvm::APSInt *RHSValue = getKnownValue(state, rhs)) in evalBinOpNN()
929 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue() function in SimpleSValBuilder
DRegionStore.cpp1305 const llvm::APSInt *SizeInt = svalBuilder.getKnownValue(state, Size); in getSizeInElements()
/external/clang/lib/StaticAnalyzer/Checkers/
DCastSizeChecker.cpp117 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent); in checkPreStmt()
DCStringChecker.cpp1847 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { in evalStrcmpCommon()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h109 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
/external/owasp/sanitizer/tools/findbugs/lib/
Dfindbugs.jarMETA-INF/ META-INF/MANIFEST.MF default.xsl edu/ edu/umd ...