summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* * 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
* GRExprEngine: Add pretty-stack trace printing for crashes and assertion failu...Ted Kremenek2009-03-111-2/+14
* GRExprEngine: For places we might conjure up a new symbol to recoverTed Kremenek2009-03-111-7/+11
* Use the BugReports in BugReporter to determine the root nodes for "trim-egraph".Ted Kremenek2009-03-111-31/+15
* Remove some dead spacing. No functionality change.Ted Kremenek2009-03-091-2/+0
* Fix another GRExprEngine::VisitCast regression: handle casts of void* to func...Ted Kremenek2009-03-051-1/+16
* Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function poin...Ted Kremenek2009-03-051-23/+26
* Add 'cast<>' to remove an extra function call and dynamic cast.Ted Kremenek2009-03-051-2/+2
* More fixes in cast logic.Ted Kremenek2009-03-051-16/+9
* GRExprEngine: Polish up handling of casting integer constants to pointers and...Ted Kremenek2009-03-051-2/+8
* Fix regression in transparent translation of nonloc::ConcreteInto to loc::Con...Ted Kremenek2009-03-051-10/+17
* GRExprEngine::VisitCast: Just pass through function and block pointers.Ted Kremenek2009-03-041-0/+6
OpenPOWER on IntegriCloud