- 37969b7 scanf: parse the 'm' length modifier, and check that the right arguments by Hans Wennborg · 13 years ago
- 28058d1 scanf analysis: the 'a' length modifier is valid with a scanlist by Hans Wennborg · 13 years ago
- 6de0b48 scanf analysis: don't bail out after successful parse of scanlist by Hans Wennborg · 13 years ago
- 97a72c3 Add elidable CXXConstructExpr as block-level expr. It converts an lvalue to a rvalue, which is a useful step during AST evaluation. by Zhongxing Xu · 13 years ago
- b4fa418 Thread safety analysis: added support for trylock attribute. by DeLesley Hutchins · 13 years ago
- b37d2b5 Added LocalVariableMap by DeLesley Hutchins · 13 years ago
- 1c87980 Teach the static analyzer to not treat XPC types as CF types. by Ted Kremenek · 13 years ago
- df49782 Support for thread safety attributes on functions by DeLesley Hutchins · 13 years ago
- 5294c79 Support the 'a' scanf length modifier as an extension in C++. by Hans Wennborg · 13 years ago
- 72b20ff Enable the user to control whether CXXConstructExpr will be added as a by Zhongxing Xu · 13 years ago
- 682060c Colorize and condense CFG pretty-printing. by Ted Kremenek · 13 years ago
- 15ce164 Enhance AnalysisDeclContext::getReferencedBlockVars() to understand PseudoObjExprs. It turns out by Ted Kremenek · 13 years ago
- 280cf14 Fix regression in LiveVariables when reasoning about variables captured by blocks. by Ted Kremenek · 13 years ago
- 3b7a48f Improve CFG pretty-printing for CXXConstructExprs. by Ted Kremenek · 13 years ago
- 893d414 Improve CFG pretty-printing of CastExprs. by Ted Kremenek · 13 years ago
- 3ff53b3 Update the CMake build for r146959's new files. by Chandler Carruth · 13 years ago
- 99ba9e3 Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch by David Blaikie · 13 years ago
- 7723fec Keep track of all declarations of an Objective-C class (both forward by Douglas Gregor · 13 years ago
- d02deeb Support the 'a' length modifier in scanf format strings as a C90 extension. by Hans Wennborg · 13 years ago
- 6fcd932 Check that arguments to a scanf call match the format specifier, by Hans Wennborg · 13 years ago
- 6308218 Remove unnecessary braces from my previous commit. by Hans Wennborg · 13 years ago
- f4f0c60 Make printf warnings refer to wint_t and wchar_t by name by Hans Wennborg · 13 years ago
- b8ec3e3 Move definition of ConversionSpecifier::toString() to FormatString.cpp by Hans Wennborg · 13 years ago
- 117348c fix format specifier fixit for printf("%ld", "foo"); by Hans Wennborg · 13 years ago
- 1fa3c06 This patch extends thread safety analysis with support for the scoped_lockable attribute. by DeLesley Hutchins · 13 years ago
- a792aff Make printf warnings refer to intmax_t et al. by name by Hans Wennborg · 13 years ago
- 02f34c5 [analyzer] Rely on LLVM Dominators in Clang dominator computation. by Anna Zaks · 13 years ago
- 687b5df Revert r145697 and dependent patch r145702. It added a dependency from by Nick Lewycky · 13 years ago
- 377cc6e Make r145697 actually work. by Hans Wennborg · 13 years ago
- 5fdc1b9 Make conversion specifier warning refer to typedef if possible. by Hans Wennborg · 13 years ago
- 2d9eb21 Teach the CFG builder how to properly destroy temporaries who by Douglas Gregor · 13 years ago
- ccf1bfd [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture the 'self' variable of the enclosing ObjC method decl. Fixes <rdar://problem/10380300>. by Ted Kremenek · 13 years ago
- f3fb5c5 We don't add ExprWithCleanups to the CFG, and getSVal looks by John McCall · 13 years ago
- 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
- 6bbecd5 Tweak LookThroughStmt() in LiveVariables to properly look through alternativing ParenExprs and OpaqueValueExprs. Thanks to Anna and Argiris for iterating on this function. My original patch embarssingly didn't even pass the Clang tests. by Ted Kremenek · 13 years ago
- ef911a1 LookThroughStmt GM release. by Argyrios Kyrtzidis · 13 years ago
- 51e4e1e LookThroughStmt v4.6.3 by Argyrios Kyrtzidis · 13 years ago
- 74b5edd Simplify LookThroughStmt in LiveVariables.cpp by Argyrios Kyrtzidis · 13 years ago
- 38f0b5a Another correction to the LiveVariables commit (r143767, r143780). by Anna Zaks · 13 years ago
- 5112fc4 Fix infinite loop in LiveVariables due to a misplaced 'break' (it would break out of by Argyrios Kyrtzidis · 13 years ago
- ddaec0d Teach LiveVariables to look through OpaqueValueExprs for extending Stmt liveness. by Ted Kremenek · 13 years ago
- 6a9065a Per discussion with John McCall, don't add OpaqueValueExprs to the CFG. by Ted Kremenek · 13 years ago
- 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
- 29e97cb Teach format string analysis that "%zu" means size_t. by Hans Wennborg · 13 years ago
- 6ca4a9a Tweak printf format string parsing to accept 'hh' conversion specifier to accept any char, not just signed char. Fixes <rdar://problem/10303638>. by Ted Kremenek · 13 years ago
- 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
- 8e02604 Actually rename the file AnalysisContext.cpp -> AnalysisDeclContext.cpp by Chandler Carruth · 13 years ago
- 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
- b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
- 439ed16 Refactor ThreadSafety to use PostOrderCFGView instead of its own copy (of TopologicallySortedCFG). by Ted Kremenek · 13 years ago
- edb1863 Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView. by Ted Kremenek · 13 years ago
- 6db51f7 Added support for thread safety attributes on destructors. by DeLesley Hutchins · 13 years ago
- f1ac637 Thread safety analysis refactoring: invalid lock expressions. by DeLesley Hutchins · 13 years ago
- e0eaa85 Thread safety analysis: add support for attributes on constructors. by DeLesley Hutchins · 13 years ago
- a60448d Refactoring and code cleanup. by DeLesley Hutchins · 13 years ago
- 2dde35b More metaprogramming with builtin types. by John McCall · 13 years ago
- a7da215 Suggest %zu for size_t args to printf. by Hans Wennborg · 13 years ago
- 8121639 Substitute for arguments in method calls -- functionality by DeLesley Hutchins · 13 years ago
- 9f80a97 Substitute for arguments in method calls -- refactoring by DeLesley Hutchins · 13 years ago
- 0ddaeb9 Add a new placeholder type to represent "unbridged" casts in ARC. by John McCall · 13 years ago
- aa4a99b Provide half floating point support as a storage only type. by Anton Korobeynikov · 13 years ago
- 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
- 9e76172 Tweak -Wuninitialized's handling of 'int x = x' to report that as the root cause of an uninitialized variable IFF there are other uses of that uninitialized variable. Fixes <rdar://problem/9259237>. by Ted Kremenek · 13 years ago
- a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
- 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
- c5f740e Fix infinite loop in -Wuninitialized reported in PR 11069. by Ted Kremenek · 13 years ago
- c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
- 3c2b5f7 Fix another major performance regression in LiveVariables by not canonicalizing the underlying ImmutableSets on every analyzed statement (just at merges). Fixes <rdar://problem/10087538>. by Ted Kremenek · 13 years ago
- 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
- 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
- eb2d1f1 Removing a bunch of dead returns/breaks after llvm_unreachables. by David Blaikie · 13 years ago
- b219cfc Switch assert(0/false) llvm_unreachable. by David Blaikie · 13 years ago
- 9859ea0 Test commit by DeLesley Hutchins · 13 years ago
- a2d7e65 [analyzer] Constify a method. by Anna Zaks · 13 years ago
- 87aa125 Fix massive LiveVariables regression (due to LiveVariables rewrite) by addressing two performance problems: by Ted Kremenek · 13 years ago
- 1748b12 Thread safety: Adding FIXMEs and a couple cleanups by Caitlin Sadowski · 13 years ago
- cb96751 Thread safety: completeing the implementation of shared/exclusive locks required attributes by Caitlin Sadowski · 13 years ago
- 4e4bc75 Thread safety: refactoring various out of scope warnings to use the same inteface. This eliminates a lot of unnecessary duplicated code. by Caitlin Sadowski · 13 years ago
- 1990346 Thread safety: adding additional documentation to the main thread safety interface, and making the destructor for the thread safety handler pure virtual by Caitlin Sadowski · 13 years ago
- 194418f Thread safety: adding test cases for unparseable lock expressions and expanding the handling of these expressions by Caitlin Sadowski · 13 years ago
- 8375416 Add a bit to the CFGBlock to track when it contains a no-return by Chandler Carruth · 13 years ago
- dba3fb5 Consolidate the logic for building a no-return CFG block into a single by Chandler Carruth · 13 years ago
- c8cfc74 Enhance the CFG construction to detect no-return destructors for by Chandler Carruth · 13 years ago
- 7613c73 Thread safety: small formatting change by Caitlin Sadowski · 13 years ago
- afc5b15 Silence "end of non-void function" warnings with llvm_unreachable and add an assert. by Benjamin Kramer · 13 years ago
- a1364be Extend the Stmt AST to make it easier to look through label, default, by Chandler Carruth · 13 years ago
- d5b1605 Thread safety: removing unnecessary import and reordering import list by Caitlin Sadowski · 13 years ago
- 0fed26d Thread safety: removing unnecessary import by Caitlin Sadowski · 13 years ago
- 99107eb Thread safety: This patch deals with previously unhandled cases when building lock expressions. We now resolve this expressions, avoid crashing when encountering cast expressions, and have a diagnostic for unresolved lock expressions by Caitlin Sadowski · 13 years ago
- 402aa06 Thread Safety: Moving the analysis to a new file by Caitlin Sadowski · 13 years ago
- 6f27542 -Wuninitialized: fix insidious bug resulting from interplay of blocks and dead code. Fixes <rdar://problem/10060250>. by Ted Kremenek · 13 years ago
- 80cb6e6 Warn on missing [super finalize] calls. by Nico Weber · 13 years ago
- e7a2764 Teach -Wunreachable-code about dead code caused by macro expansions. This should suppress false positives resulting from 'assert' and friends. by Ted Kremenek · 13 years ago
- 0f3b4ca Start reworking -Wunreachable-code. The original analysis had serious flaws with how it by Ted Kremenek · 13 years ago
- f0e71ae CFG: record set of C++ 'try' dispatch blocks, which could be of interest to various analyses (e.g., reachability). by Ted Kremenek · 13 years ago
- f1d10d9 Constify the result of CFGStmt::getStmt(). by Ted Kremenek · 13 years ago
- 540dda6 Fix regression in -Wuninitialized involving VLAs. It turns out that we were modeling sizeof(VLAs) by Ted Kremenek · 13 years ago
- e0e2933 Remove dead code. by Ted Kremenek · 13 years ago
- 3060178 Fix else style. No functionality change intended. by Chad Rosier · 13 years ago
- 012614e Fix a handful of dead stores found by Clang's static analyzer. There's a bunch of others I haven't touched. by Ted Kremenek · 13 years ago