- 4027853 Mechanically rename SourceManager::getInstantiationLoc and by Chandler Carruth · 13 years ago
- 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
- 6c2c250 In Objective-C, pull arbitrary attributes from overridden by John McCall · 13 years ago
- 4fed22c Move AnalysisManager constructor out of line. No functionality change (yet). by Ted Kremenek · 13 years ago
- bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. 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
- 5b5402b Add tests for CFRefReport's path notes, and fix a few typos and non-standard terminology ('+0 retain counts') caught by the tests. by Jordy Rose · 13 years ago
- 8f08426 [analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372. by Jordy Rose · 13 years ago
- 91a5755 Create a new expression node, SubstNonTypeTemplateParmExpr, by John McCall · 13 years ago
- 7e5e5f4 In ARC, reclaim all return values of retainable type, not just those by John McCall · 13 years ago
- 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
- eda3687 [analyzer] Use UnknownVal when default-initializing arrays whose element types we don't model, to distinguish them from uninitialized arrays (PR10163). by Jordy Rose · 13 years ago
- 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
- 71c482c Initialize a couple of variables to shut GCC up. by John McCall · 13 years ago
- f85e193 Automatic Reference Counting. by John McCall · 13 years ago
- a9af8e7 [analyzer] When performing a binary operation on symbolic operands, we convert the symbol values to a common type. But in a relational operation, the result is an 'int' or 'bool', which may not be the appropriate type to convert the operands to. In these cases, use the left-hand operand's type as the conversion type. by Jordy Rose · 13 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 · 13 years ago
- 22043b5 [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. by Jordy Rose · 13 years ago
- 61eee0c Add support for builtin astype: by Tanya Lattner · 13 years ago
- f136546 Tighen analyzer diagnostics w.r.t ObjC/CF leaks. by Ted Kremenek · 13 years ago
- e5cfd52 static analyzer: when conservatively evaluating functions, don't invalidate the values of globals when the called function is strlen. by Ted Kremenek · 13 years ago
- d1e015e Teach analyzer about cf_returns_not_retained for C functions. by Ted Kremenek · 13 years ago
- d368d71 Enhance retain/release checker to flag warnings when functions returning CG types do not follow the Core Foundation naming conventions. by Ted Kremenek · 13 years ago
- 5e9ebb3 A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups. by Douglas Gregor · 13 years ago
- ce30688 Fix regression in static analyzer's handling of prefix '--' operator. It was being treated as postfix '--' in C mode. by Ted Kremenek · 13 years ago
- 575a1c9 Introduce Type::isSignedIntegerOrEnumerationType() and by Douglas Gregor · 13 years ago
- c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 13 years ago
- 10620eb Modify some deleted function methods to better reflect reality: by Sean Hunt · 13 years ago
- 9be6e7c Add Checker callback for running a checker at the end of processing an entire TranslationUnit. Patch by Lei Zhang. by Ted Kremenek · 13 years ago
- 9ca2851 Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations. by Ted Kremenek · 13 years ago
- 35bdbf4 Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. by Ted Kremenek · 13 years ago
- 28bbe4b Parsing/AST support for Structured Exception Handling by John Wiegley · 13 years ago
- 21ff2e5 Implementation of Embarcadero array type traits by John Wiegley · 13 years ago
- 6b4f567 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without by Ted Kremenek · 13 years ago
- 5526220 t/clang/expr-traits by John Wiegley · 13 years ago
- c69a505 Remove unused STL header includes. by Jay Foad · 13 years ago
- e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
- fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
- f111d93 C1X: implement generic selections by Peter Collingbourne · 13 years ago
- ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 13 years ago
- 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 13 years ago
- 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 13 years ago
- bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 13 years ago
- 755d849 After some discussion with Doug, we decided that it made a lot more sense by John McCall · 13 years ago
- 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 13 years ago
- 379b515 More __unknown_anytype work. by John McCall · 13 years ago
- 575b374 Remove CK_DynamicToNull. by Anders Carlsson · 13 years ago
- 7d99bc3 As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which by Anders Carlsson · 13 years ago
- 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 13 years ago
- 1de4d4e Basic, untested implementation for an "unknown any" type requested by LLDB. by John McCall · 13 years ago
- 98b8f16 When updating the retain summary based on {cf,ns}_consumed attributes, by John McCall · 13 years ago
- d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 13 years ago
- 8083414 static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge. by Ted Kremenek · 13 years ago
- 45fa623 Fix RegionStore bug when doing a field load whose parent is also a field assigned a LazyCompoundValue. Fixes <rdar://problem/9163742> and PR 9522. by Ted Kremenek · 13 years ago
- 422ab7a Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. by Ted Kremenek · 13 years ago
- 66750fa static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that a given CFGBlock was analyzed too many times. by Ted Kremenek · 13 years ago
- 94ae8fd Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead, by Ted Kremenek · 13 years ago
- 41c5f49 Teach static analyzer about the basics of handling new[]. We still don't simulate constructors, but at least the analyzer doesn't think the return value is uninitialized. by Ted Kremenek · 13 years ago
- b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 13 years ago
- 65b427f Don't add a symbolic region for 'this' if the member function is static. by Anders Carlsson · 13 years ago
- 6137441 Tweak RegionStore's handling of lazy compound values to use the 'Default' versus 'Direct' binding key, thus allowing specific elements of an array/struct to be overwritten without by Ted Kremenek · 14 years ago
- a5ce275 Sort by Joerg Sonnenberger · 14 years ago
- e75f4c6 Fix comments, and force auto progagation in VisitAggExpr. by Ted Kremenek · 14 years ago
- 46fc3fa static analyzer: Handle 'ExprWithCleanups' in ExprEngine by essentially ignoring them. by Ted Kremenek · 14 years ago
- f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
- 2c0af35 #include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor. by Ted Kremenek · 14 years ago
- cf33333 static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects. by Ted Kremenek · 14 years ago
- 85f3d76 Move some of the logic about classifying Objective-C methods into by John McCall · 14 years ago
- e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
- 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
- 25a792b [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted! by Argyrios Kyrtzidis · 14 years ago
- 7636d88 [analyzer] Move lib/StaticAnalyzer/Checkers/ExprEngine.cpp -> lib/StaticAnalyzer/Core by Argyrios Kyrtzidis · 14 years ago
- ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
- d26a475 [analyzer] Remove Checker V1. by Argyrios Kyrtzidis · 14 years ago
- eb48bd1 [analyzer] Remove checker V1 registration and running from ExprEngine. by Argyrios Kyrtzidis · 14 years ago
- 9f8862a Improves the coding style in SValBuilder. This patch: by Zhanyong Wan · 14 years ago
- d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
- deb6447 [analyzer] Introduce "event" mechanism in CheckerManager. by Argyrios Kyrtzidis · 14 years ago
- d3bf3c0 [analyzer] Introduce SVal::getAsVarDecl(). by Argyrios Kyrtzidis · 14 years ago
- 73c498a [analyzer] ExprEngine should not depend on checkers for not crashing. by Argyrios Kyrtzidis · 14 years ago
- cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 9c0d689 [analyzer] Don't pass a GRState to CheckerManager::runCheckersForLocation, terrible mistake. by Argyrios Kyrtzidis · 14 years ago
- f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
- 64be137 [analyzer] Remove unused functions from CheckerManager. by Argyrios Kyrtzidis · 14 years ago
- 183ff98 [analyzer] Migrate CStringChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- af5800a [analyzer] Migrate StackAddrLeakChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 14 years ago
- cd50e13 [analyzer] const goodness. by Argyrios Kyrtzidis · 14 years ago
- c2e0db8 [analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers. by Argyrios Kyrtzidis · 14 years ago
- e1bfb7a [analyzer] Migrate ChrootChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 30726c6 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- 3f82127 [analyzer] Fix CheckerManager::runCheckersForObjCMessage. by Argyrios Kyrtzidis · 14 years ago
- 404fc3a [analyzer] Refactor BugTypes and their ownership model. by Argyrios Kyrtzidis · 14 years ago
- 769ce3e [analyzer] Start moving the path-sensitive checkers to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
- b14175a [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- 09fe4a5 Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState back by one pointer. by Ted Kremenek · 14 years ago
- 370e6e9 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
- 77a4d56 Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control of Store objects. by Ted Kremenek · 14 years ago
- 7ff07dc [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago