summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core
Commit message (Expand)AuthorAgeFilesLines
* Teach the static analyzer's interpretation of Cocoa conventions toDouglas Gregor2011-07-061-3/+3
* [analyzer] Use UnknownVal when default-initializing arrays whose element type...Jordy Rose2011-06-271-1/+6
* Introduce a new AST node describing reference binding to temporaries.Douglas Gregor2011-06-212-11/+16
* Initialize a couple of variables to shut GCC up.John McCall2011-06-171-1/+1
* Automatic Reference Counting.John McCall2011-06-152-24/+130
* [analyzer] When performing a binary operation on symbolic operands, we conver...Jordy Rose2011-06-151-4/+32
* [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expres...Jordy Rose2011-06-101-15/+0
* [analyzer] Look through __extension__ expressions in a GRState's Environment....Jordy Rose2011-06-081-6/+6
* Add support for builtin astype:Tanya Lattner2011-06-041-0/+1
* Tighen analyzer diagnostics w.r.t ObjC/CF leaks.Ted Kremenek2011-05-261-15/+14
* static analyzer: when conservatively evaluating functions, don't invalidate t...Ted Kremenek2011-05-253-5/+35
* Teach analyzer about cf_returns_not_retained for C functions.Ted Kremenek2011-05-251-0/+3
* Enhance retain/release checker to flag warnings when functions returning CG t...Ted Kremenek2011-05-251-51/+84
* A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups.Douglas Gregor2011-05-213-4/+8
* Fix regression in static analyzer's handling of prefix '--' operator. It was...Ted Kremenek2011-05-201-1/+1
* Introduce Type::isSignedIntegerOrEnumerationType() andDouglas Gregor2011-05-201-1/+1
* Teach RegionStore not to symbolic array values whose indices it cannot reason...Ted Kremenek2011-05-191-0/+5
* Modify some deleted function methods to better reflect reality:Alexis Hunt2011-05-061-2/+2
* Add Checker callback for running a checker at the end of processing an entire...Ted Kremenek2011-05-051-0/+14
* Tweak the retain/release checker to not stop tracking retained objects when c...Ted Kremenek2011-05-021-0/+7
* Augment retain/release checker to not warn about tracked objects passed as ar...Ted Kremenek2011-05-027-45/+94
* Parsing/AST support for Structured Exception HandlingJohn Wiegley2011-04-281-0/+3
* Implementation of Embarcadero array type traitsJohn Wiegley2011-04-281-0/+1
* Allow 'Environment::getSVal()' to allow an optional way for checkers to do a ...Ted Kremenek2011-04-271-1/+11
* t/clang/expr-traitsJohn Wiegley2011-04-251-0/+1
* Remove unused STL header includes.Jay Foad2011-04-231-2/+0
* Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II.Ted Kremenek2011-04-222-1/+4
* fix a bunch of comment typos found by codespell. Patch byChris Lattner2011-04-154-4/+4
* C1X: implement generic selectionsPeter Collingbourne2011-04-153-1/+8
* Add support for C++0x's range-based for loops, as specified by the C++11 draf...Richard Smith2011-04-141-0/+1
* static analyzer: invalidate by-ref arguments passed to constructors in a 'new...Ted Kremenek2011-04-121-3/+31
* Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '...Ted Kremenek2011-04-121-1/+2
* RegionStoreManager::invalidateRegions: treat classes the same as structs.Ted Kremenek2011-04-121-3/+3
* After some discussion with Doug, we decided that it made a lot more senseJohn McCall2011-04-121-2/+0
* C++ static analysis: also invalidate fields of objects that are the callees i...Ted Kremenek2011-04-112-1/+16
* More __unknown_anytype work.John McCall2011-04-111-0/+1
* Remove CK_DynamicToNull.Anders Carlsson2011-04-111-1/+0
* As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind whichAnders Carlsson2011-04-101-0/+1
* Start overhauling static analyzer support for C++ constructors. The inlining...Ted Kremenek2011-04-082-36/+110
* Basic, untested implementation for an "unknown any" type requested by LLDB.John McCall2011-04-071-1/+2
* When updating the retain summary based on {cf,ns}_consumed attributes,John McCall2011-04-061-1/+1
* Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numero...Ted Kremenek2011-04-041-51/+4
* static analyzer: Add a new ProgramPoint PostCondition to represent the post p...Ted Kremenek2011-04-031-0/+19
* Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek2011-04-031-11/+17
* Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn...Ted Kremenek2011-04-021-1/+2
* static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that ...Ted Kremenek2011-04-021-1/+1
* Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn...Ted Kremenek2011-03-311-97/+86
* Teach static analyzer about the basics of handling new[]. We still don't sim...Ted Kremenek2011-03-311-9/+12
* Begin reworking static analyzer support for C++ method calls. The current lo...Ted Kremenek2011-03-305-162/+161
* Don't add a symbolic region for 'this' if the member function is static.Anders Carlsson2011-03-261-6/+9
OpenPOWER on IntegriCloud