- df11989 Make addStmt always add stmt. Delegate other cases to Visit() directly. by Zhongxing Xu · 14 years ago
- fc61d94 CFG: add all LHS of assingments as lvalue. This improves support for C++ reference. Patch by Jordy. by Zhongxing Xu · 14 years ago
- 9a55591 Convert DeclNodes to use TableGen. by Sean Hunt · 14 years ago
- 3f64a0e Fix crash in CFG construction for 'break' statements appearing in statement expressions by Ted Kremenek · 14 years ago
- fadebba Don't add a null successor to a CFGBlock when the contents of an @synchronized statement is empty. by Ted Kremenek · 14 years ago
- 71b1d0e Unbreak CMake build. by Douglas Gregor · 14 years ago
- f42e337 Add null check in CFGBuilder::VisitStmt() to make CFG construction by Ted Kremenek · 14 years ago
- 862b24f Fix CFG crasher involving statement expressions reported in PR 6938. by Ted Kremenek · 14 years ago
- 21f6d6e Use direct assignment instead of user defined conversion. by Zhongxing Xu · 14 years ago
- c5354a2 CFGBuilder: always add C++ member call expr as block-level expr. by Zhongxing Xu · 14 years ago
- 115c1b9 Fix CFG bug where bases of member expressions were not always evaluated in a lvalue context. Fixes <rdar://problem/7813989>. by Ted Kremenek · 14 years ago
- 431ac2d Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be treated as indicating an lvalue. by Ted Kremenek · 14 years ago
- 7ea2136 Sort visitor methods. No functionality change. by Ted Kremenek · 14 years ago
- 264ba48 the big refactoring bits of PR3782. by Rafael Espindola · 14 years ago
- 802c66e Be a bit more consistent in using operator-> by Rafael Espindola · 14 years ago
- fdb703a Fix '+=' accumulation error when parsing numeric amounts in a format string. by Ted Kremenek · 14 years ago
- d064fdc Only perform CFG-based warnings on 'static inline' functions that by Ted Kremenek · 14 years ago
- 3352406 Allow users to set CPPFLAGS and CXXFLAGS on the make command line. by Jeffrey Yasskin · 15 years ago
- 2cfe28b When computing in AnalysisContext the variables referenced by Ted Kremenek · 15 years ago
- 792bea9 Simplify code a bit and remove unneeded semicolons. by Benjamin Kramer · 15 years ago
- ead78fd Fix an algorithmic bug in LiveVariables pointed out by Zhongxing. by Ted Kremenek · 15 years ago
- 5ba290a [CFG] by Ted Kremenek · 15 years ago
- 15f6b42 Register all parameters even if they didn't occur in the function body. by Zhongxing Xu · 15 years ago
- d49d877 Allow a '0' precision in format strings (as the man page says it is okay). by Ted Kremenek · 15 years ago
- efaff19 For printf format string checking, add support for positional format strings. by Ted Kremenek · 15 years ago
- 7f70dc8 For printf format string checking, move the tracking of the data argument index out of by Ted Kremenek · 15 years ago
- 9107166 Always add CallExpr as block-level expression. Inline-based interprocedural by Zhongxing Xu · 15 years ago
- 87260c7 Add support for '%C' and '%S' printf conversion specifiers. by Ted Kremenek · 15 years ago
- 72919a3 Move the rest of the unreachable code analysis from libSema by Ted Kremenek · 15 years ago
- 3d2eed8 Start moving some of the logic for the unreachable code analysis out of libSema by Ted Kremenek · 15 years ago
- c3daac5 Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out to by Daniel Dunbar · 15 years ago
- 8414a8c Simplify code: Succ is guaranteed to be not NULL. by Zhongxing Xu · 15 years ago
- 8ddf7ce Add a utility method. by Zhongxing Xu · 15 years ago
- 4e4b30e Refactor the logic for printf argument type-checking into analyze_printf::ArgTypeResult. by Ted Kremenek · 15 years ago
- df17f9d Convert tabs to spaces. by Ted Kremenek · 15 years ago
- 8524873 Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks. by Ted Kremenek · 15 years ago
- 74d56a1 Move ParseFormatString() and FormatStringHandler back into the analyze_printf namespace. by Ted Kremenek · 15 years ago
- f911eba Add format string type checking support for 'long double'. by Ted Kremenek · 15 years ago
- 01aefc6 Recognize 'q' as a format length modifier (from BSD). by Daniel Dunbar · 15 years ago
- c9a89fe Add format string checking of 'double' arguments. Fixes <rdar://problem/6931734>. by Ted Kremenek · 15 years ago
- 40888ad Fix spacing. by Ted Kremenek · 15 years ago
- 33567d2 Per a suggestion from Cristian Draghici, add a method to FormatSpecifier that returns the expected type of the matching data argument. It isn't complete, but should handle several of the important cases. by Ted Kremenek · 15 years ago
- 4dcb18f Enhancements to the alternate (WIP) format string checking: by Ted Kremenek · 15 years ago
- 808015a Alternate format string checking: issue warnings for incomplete format specifiers. by Ted Kremenek · 15 years ago
- 26ac2e0 Alternate format string checking: issue a warning for invalid conversion specifiers. by Ted Kremenek · 15 years ago
- 4b220fa Yet another attempt to make the Linux buildbots happy. Apparently there are differences on how nested namespaces are handled... by Ted Kremenek · 15 years ago
- d7a3f01 Move definition of FormatStringHandler::~FormatStringHandler() within namespace directives. Hopefully this will make the Linux buildbots happy. by Ted Kremenek · 15 years ago
- 0d27735 Add precision/field width checking to AlternateCheckPrintfString(). by Ted Kremenek · 15 years ago
- e729acb Fix off-by-one error in ParseFormatSpecifier() when reporting the location of a null character. by Ted Kremenek · 15 years ago
- a8d8fec Add position of conversion specifier character to 'ConversionSpecifier'. by Ted Kremenek · 15 years ago
- d2dcece Rename namespace clang::printf to clang::analyze_printf to avoid problems where the reference to 'printf' is ambiguous. by Ted Kremenek · 15 years ago
- d5f2096 Allow HandleFormatSpecifier() to indicate that no more processing of the format string is desired. by Ted Kremenek · 15 years ago
- c7cbb9b Add '@' conversion specifier. by Ted Kremenek · 15 years ago
- f291976 Remove invalid conversion specifiers from format string checking. by Ted Kremenek · 15 years ago
- c7ae51a Add a few more conversion specifiers to ParseFormatSpecifier (these appear in SemaChecking). by Ted Kremenek · 15 years ago
- 8f0a1c7 Add skeleton for a more structured way to analyzing pring format by Ted Kremenek · 15 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago
- 0bb46d2 -fno-rtti is now the default. by Chris Lattner · 15 years ago
- b79b117 Process cast according to the cast kind. Prepare for more specific cast by Zhongxing Xu · 15 years ago
- 55f988e Improve unreachable code warnings with respect to dead binary and by Mike Stump · 15 years ago
- 4c45aa1 Speed up compilation by avoiding generating exceptional edges from by Mike Stump · 15 years ago
- b978a44 Add infrastructure to add base initializers and member initializers to by Mike Stump · 15 years ago
- 3689791 Correct comments. by Zhongxing Xu · 15 years ago
- f00cca5 Wire up the EH context for the catch clauses to the outer EH context. WIP. by Mike Stump · 15 years ago
- a1f9363 Add an exceptional edge from the try terminated block to the outer EH by Mike Stump · 15 years ago
- 079bd72 Add CFG support for the start and end of scopes and infrastructure for by Mike Stump · 15 years ago
- 3fa1e4b Tighten code and rework indentation of some if() branches (for readability). No functionality change. by Ted Kremenek · 15 years ago
- 6db0ad3 Remove extra space in uses of 'assert()'. by Ted Kremenek · 15 years ago
- 021c8af Re-alphabetize cases in switch statement. by Ted Kremenek · 15 years ago
- c39b2bd Fix a serious bug: Tmp3 is the wrong destination set. We should create a new by Zhongxing Xu · 15 years ago
- 5d1d202 Add try/catch CFG support. Also improve throw CFG support. WIP. by Mike Stump · 15 years ago
- 3ed04d3 Add support for computing size in elements for symbolic regions obtained from by Zhongxing Xu · 15 years ago
- 7e3cda9 If the symbol has not been tracked, do not free it. This is possible when free by Zhongxing Xu · 15 years ago
- 88c8bc8 Don't suggest the developer use 'arc4random' instead of 'rand' when that function is not available. Fixes PR 6012. by Ted Kremenek · 15 years ago
- c213b48 Teach BugReporter to "escape" the occurance of '%' characters in diagnostic messages when emitted results to the standard Diagnostics output. Fixes PR 6033. by Ted Kremenek · 15 years ago
- 8b93171 Convert a few more uses of std::string& to llvm::StringRef. by Ted Kremenek · 15 years ago
- 7b81e8f Fix pr6035. by Zhongxing Xu · 15 years ago
- fa6ef18 Add an unreachable code checker. by Mike Stump · 15 years ago
- c027e54 Fix pasto. by Benjamin Kramer · 15 years ago
- e45c149 Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). by Benjamin Kramer · 15 years ago
- 199c3d6 Roll out ASTContext::getTypeSizeInChars(), replacing instances of by Ken Dyck · 15 years ago
- 951b334 Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. by Zhongxing Xu · 15 years ago
- 604848a Enhance SVals::getAsRegion: get the region that is converted to an integer. by Zhongxing Xu · 15 years ago
- c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
- 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 15 years ago
- 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
- 7960ec3 Fix broken diagnostic when returning the address of a stack-allocated array. by Ted Kremenek · 15 years ago
- bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
- 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
- 5ea95fc Revert r92318. Instead fix the analyzer: do not call by Zhongxing Xu · 15 years ago
- de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
- 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
- b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
- 84eaeff Simplify code by using an equivalent template class. by Zhongxing Xu · 15 years ago
- 54d76db Remove some dead variables clang-analyzer found. by Benjamin Kramer · 15 years ago
- 9c825c3 Fix typo spotted by MSVC. by Benjamin Kramer · 15 years ago
- 62d399e As Ted suggested, record the callsite information with the StackFrameContext. by Zhongxing Xu · 15 years ago
- bfbcefb Enhance dataflow analyses to recognize branch statements in the CFG used as hooks for the initialization of condition variables. by Ted Kremenek · 15 years ago
- 598278b Inter-procedural analysis: now we can return from the callee. by Zhongxing Xu · 15 years ago
- 919f066 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago