- 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
- 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
- ca80453 [analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*. by Ted Kremenek · 13 years ago
- 5290c80 Revert "Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620." by Ted Kremenek · 13 years ago
- a809447 Fix crash in CFGBuilder involving implicit destructor calls and gotos jumping after an object was declared. Fixes PR 10620. by Ted Kremenek · 13 years ago
- de091ae Fix another -Wuninitialized assertion failure (this one involving bit casts) resulting from the recent -Wuninitialized changes. by Ted Kremenek · 13 years ago
- f91a5b0 [analyzer] Simplify logic for ExprEngine::VisitUnaryExprOrTypeTraitExpr to avoid recursion to subexpression. by Ted Kremenek · 13 years ago
- 57fb591 Fix assertion failure in -Wuninitialized involving no-op casts. Fixes PR 10577. by Ted Kremenek · 13 years ago
- 39997fc Make helper functions static. by Benjamin Kramer · 13 years ago
- 8829989 [analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs. by Ted Kremenek · 13 years ago
- 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
- d837c0d Move duplicate uninitialized warning suppression into the by Chandler Carruth · 13 years ago
- bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
- dd4286b Fix -Wuninitialized regression involving functions invalidating parameters passed by reference. by Ted Kremenek · 13 years ago
- 62d126e Fix false negative in -Wuninitialized involving a () wrapping an lvalue-to-rvalue conversion in a DeclStmt. by Ted Kremenek · 13 years ago
- d626ec4 Fix assertion failure in UninitializedValues.cpp where an lvalue to rvalue conversion is wrapped in a parenthesis. by Ted Kremenek · 13 years ago
- 0c8e5a0 Reduce -Wuninitialized time by 22% (on sqlite) by removing the recursive AST crawl. by Ted Kremenek · 13 years ago
- 74fb1a4 Add hooks into the CFG builder to force that specific expressions are always CFGElements. by Ted Kremenek · 13 years ago
- 8435069 Revert r135217, which wasn't the correct fix for PR10358. With this by Chandler Carruth · 13 years ago
- 797a7be [analyzer] Per discussions with the Cocoa team, extend CF naming conventions to extend to camel case functions instead of just title case functions. Fixes <rdar://problem/9732321>. by Ted Kremenek · 13 years ago
- 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
- 05bcade Fix false negative reported in PR 10358 by using 'Unknown' in -Wuninitialized to avoid cascading warnings. Patch by Kaelyn Uhrain. by Ted Kremenek · 13 years ago
- 1ad35be Revert r135147 and r135075. The consensus was that this wasn't the right thing to do. by Ted Kremenek · 13 years ago
- 9dbe16e Add extra sanity checking in FormatString::matchesType() that we are comparing integers to integers. This happens not to be an issue now, but the extra check helps future proof in case of future refactorings. by Ted Kremenek · 13 years ago
- 826d5b4 Reapply r135075, but modify format-strings.c and format-strings-fixit.c test cases to be more portable with an explicit target triple. by Ted Kremenek · 13 years ago
- 13d99bf Revert r135075, "format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using" by NAKAMURA Takumi · 13 years ago
- 8da9316 format string checking: long and int have the same widths on 32-bit, so we shouldn't warn about using by Ted Kremenek · 13 years ago
- dc00d81 Re-relax conversion specifier checking for printf format strings and conversion specifiers. My recent change was a mistake. by Ted Kremenek · 13 years ago
- 45eb702 Fix inversion in argument type checking for format strings with conversion specifiers for character types. by Ted Kremenek · 13 years ago
- 8052050 Make the worklist in the uninitialized values checker actually a queue. by Chandler Carruth · 13 years ago
- 5d98994 Build up statistics about the work done for analysis based warnings. by Chandler Carruth · 13 years ago
- 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
- 170579f Added a missing case label. by Fariborz Jahanian · 13 years ago
- d6a4d18 Revert r133024, "[format strings] correctly suggest correct type for '%@' by Daniel Dunbar · 13 years ago
- 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
- 6970155 Finish 2 sentences. by Francois Pichet · 13 years ago
- f85e193 Automatic Reference Counting. by John McCall · 13 years ago
- 84862f6 [format strings] correctly suggest correct type for '%@' specifiers. Fixes <rdar://problem/9607158>. by Ted Kremenek · 14 years ago
- 926df6c Implement Objective-C Related Result Type semantics. by Douglas Gregor · 14 years ago
- ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 14 years ago
- 7fead31 [analyzer] Ignore parentheses around block-level expressions when computing liveness. Fixes the other half of PR8962. by Jordy Rose · 14 years ago
- 049f6d0 Utilize PackedVector, introduced with llvm commit r132325. by Argyrios Kyrtzidis · 14 years ago
- 29c9e62 Add explicit CFG support for ignoring static_asserts. by Ted Kremenek · 14 years ago
- 8cad304 Refactoring of constant expression evaluator by Peter Collingbourne · 14 years ago
- 1de8533 Teach CFG building how to deal with CXXMemberCallExprs and BoundMemberTy, by John McCall · 14 years ago