summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Remove GRStateManager::BindLoc() and GRStateManager::Unbind().Ted Kremenek2009-06-231-1/+1
* Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit().Ted Kremenek2009-06-231-2/+2
* Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...Ted Kremenek2009-06-231-1/+1
* Move all factory methods from SVal to ValueManager. API cleanup!Zhongxing Xu2009-06-231-17/+20
* ValueManager::makeNonLoc -> ValueManager::makeIntValZhongxing Xu2009-06-231-2/+1
* Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, insteadTed Kremenek2009-06-191-110/+106
* Move clients over from using GRStateManager::BindXXX and friends toTed Kremenek2009-06-181-5/+3
* libAnalysis:Ted Kremenek2009-06-181-124/+70
* Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>.Douglas Gregor2009-06-181-1/+2
* Remove more dependencies on GRStateRef. As a consequence, we can nowTed Kremenek2009-06-181-10/+9
* Sink the BuiltinInfo object from ASTContext into theChris Lattner2009-06-141-0/+1
* * API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu2009-05-201-14/+16
* As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu2009-05-091-1/+1
* rename: MemRegion:Zhongxing Xu2009-05-091-1/+1
* analyzer: Add ProgramPoint 'PostLValue' just to distinguish (forTed Kremenek2009-05-071-5/+21
* Per conversations with Zhongxing, add an 'element type' toTed Kremenek2009-05-041-1/+2
* split ObjC and C++ Statements out into their own headers.Chris Lattner2009-04-261-1/+3
* Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolicTed Kremenek2009-04-231-2/+1
* Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr.Ted Kremenek2009-04-211-0/+1
* Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: poin...Ted Kremenek2009-04-211-1/+25
* get a CodeTextRegion when visiting FunctionDecl reference.Zhongxing Xu2009-04-201-13/+8
* Add analyzer support for objc_atomicCompareAndSwap()Ted Kremenek2009-04-111-2/+3
* Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"Ted Kremenek2009-04-111-11/+172
* Finally nuke loc::SymbolVal.Zhongxing Xu2009-04-101-37/+1
* Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized ...Ted Kremenek2009-04-101-1/+25
* Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allowsTed Kremenek2009-04-101-1/+1
* - Move ownership of MemRegionManager into ValueManager.Ted Kremenek2009-04-091-11/+6
* Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.Ted Kremenek2009-04-091-1/+2
* clean up code with new API.Zhongxing Xu2009-04-091-4/+2
* clean up code with new API.Zhongxing Xu2009-04-091-4/+2
* clean up code with new API.Zhongxing Xu2009-04-091-8/+2
* stop using loc::SymbolVal.Zhongxing Xu2009-04-091-2/+3
* Fix a null pointer dereference error due to state caching in a loop involvingTed Kremenek2009-04-091-7/+6
* Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu2009-04-091-1/+2
* GRExprEngine: Don't try to reason about the size of 'void' for the return typeTed Kremenek2009-04-091-33/+38
* Fix another regression introduced by changes to the analyzer's reasoning aboutTed Kremenek2009-04-091-11/+12
* Refactor/cleanup reasoning of nil receivers in message expressions.Ted Kremenek2009-04-091-28/+38
* Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek2009-04-081-2/+15
* New static analyzer check by Nikita Zhuk!Ted Kremenek2009-04-081-14/+34
* This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu2009-04-031-2/+17
* Fix: <rdar://problem/6740387>. Sending nil to an object that returns a structTed Kremenek2009-04-011-2/+3
* Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck thatTed Kremenek2009-03-301-10/+26
* Implement a FIXME.Zhongxing Xu2009-03-301-1/+1
* rename some methods.Chris Lattner2009-03-281-1/+1
* Change compound assignment operators to keep track of both the promoted Eli Friedman2009-03-281-7/+9
* analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek2009-03-261-16/+18
* GRExprEngine:Ted Kremenek2009-03-201-1/+7
* Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.Ted Kremenek2009-03-181-2/+10
* Add a hack in the analyzer to recover some path-sensitivity at branchTed Kremenek2009-03-131-1/+58
* GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the...Ted Kremenek2009-03-111-7/+6
OpenPOWER on IntegriCloud