summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu2010-01-184-10/+36
* If the symbol has not been tracked, do not free it. This is possible when freeZhongxing Xu2010-01-181-1/+6
* Don't suggest the developer use 'arc4random' instead of 'rand' when that func...Ted Kremenek2010-01-151-3/+15
* Teach BugReporter to "escape" the occurance of '%' characters in diagnostic m...Ted Kremenek2010-01-151-2/+17
* Convert a few more uses of std::string& to llvm::StringRef.Ted Kremenek2010-01-151-1/+1
* Fix pr6035.Zhongxing Xu2010-01-141-0/+3
* Add an unreachable code checker.Mike Stump2010-01-131-0/+4
* Fix pasto.Benjamin Kramer2010-01-111-1/+1
* Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase).Benjamin Kramer2010-01-111-12/+13
* Roll out ASTContext::getTypeSizeInChars(), replacing instances ofKen Dyck2010-01-113-12/+16
* Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes.Zhongxing Xu2010-01-111-0/+3
* Enhance SVals::getAsRegion: get the region that is converted to an integer.Zhongxing Xu2010-01-111-0/+4
* Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek2010-01-114-52/+92
* Preliminary reworking of value-binding logic in RegionStore:Ted Kremenek2010-01-111-31/+110
* Fix overzealous assertion in GRExprEngine::VisitLValue(). ATed Kremenek2010-01-091-7/+25
* Fix broken diagnostic when returning the address of a stack-allocated array.Ted Kremenek2010-01-091-3/+11
* When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu2010-01-093-6/+39
* Fix handling in GRExprEngine of 'default' branch in switch statementsTed Kremenek2010-01-081-5/+12
* Revert r92318. Instead fix the analyzer: do not call Zhongxing Xu2010-01-051-2/+3
* Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek2010-01-054-30/+46
* Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek2010-01-055-59/+48
* Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu2009-12-313-9/+54
* Simplify code by using an equivalent template class.Zhongxing Xu2009-12-301-11/+2
* Remove some dead variables clang-analyzer found.Benjamin Kramer2009-12-251-2/+0
* Fix typo spotted by MSVC.Benjamin Kramer2009-12-251-2/+2
* As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu2009-12-242-17/+21
* Enhance dataflow analyses to recognize branch statements in the CFG used as h...Ted Kremenek2009-12-241-1/+13
* Inter-procedural analysis: now we can return from the callee.Zhongxing Xu2009-12-241-0/+37
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+6
* Add CFG support for the initializer of the condition variable of a ForStmt.Ted Kremenek2009-12-241-0/+13
* CFG tweak: in a WhileStmt, the condition variable initializer is evaluated ev...Ted Kremenek2009-12-241-14/+13
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-0/+6
* Add CFG support for the initializer of the condition variable of a WhileStmt.Ted Kremenek2009-12-241-1/+14
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-7/+11
* Add CFG support for the initializer of the condition variable of a SwitchStmt.Ted Kremenek2009-12-241-2/+13
* Tidy up FindSubExprAssignments to not deference the child_iterator multiple t...Ted Kremenek2009-12-231-7/+10
* move a few more symbols to .rodata/.data.rel.roNuno Lopes2009-12-231-1/+1
* Migrate the call inliner to the Checker interface.Zhongxing Xu2009-12-231-29/+36
* For inter-procedural analysis, predecessor node may be in another function.Zhongxing Xu2009-12-231-3/+3
* Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek2009-12-232-1/+50
* Suppress dead store warnings involving objects initialized with CXXExprTempor...Ted Kremenek2009-12-231-0/+4
* Add stack trace pretty printing in GRExprEngine::VisitLValue().Ted Kremenek2009-12-231-0/+4
* Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now).Ted Kremenek2009-12-231-0/+1
* Fix PR 5857. When casting from a symbolic region to an integer back to a poi...Ted Kremenek2009-12-231-8/+9
* Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet.Ted Kremenek2009-12-231-1/+2
* Also treat the type of the subexpression as a pointer in GRExprEngine::VisitC...Ted Kremenek2009-12-231-0/+1
* Add basic support for analyzing CastExprs as lvalues.Ted Kremenek2009-12-231-3/+27
* Add transfer functions support for visiting an Objective-C message expression...Ted Kremenek2009-12-222-42/+78
* Add comments.Zhongxing Xu2009-12-211-0/+1
* Use the FunctionDecl's result type to know exactly if it returns a reference.Zhongxing Xu2009-12-191-0/+10
OpenPOWER on IntegriCloud