summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert.Anna Zaks2012-03-303-0/+16
* [analyzer] Do not inline functions which previously reached max blockAnna Zaks2012-03-303-4/+15
* [analyzer] Enable retry exhausted without inlining by default.Anna Zaks2012-03-283-5/+5
* [analyser] Stats checker: do not mark a node as exhausted if we willAnna Zaks2012-03-282-26/+20
* [analyzer] Refactor: Use Decl when determining if the Block belongs toAnna Zaks2012-03-281-7/+6
* Fix suspicious comparison reported by PVS-Studio!Ted Kremenek2012-03-281-1/+1
* [analyzer] Add an option to re-analyze a dead-end path without inlining.Anna Zaks2012-03-275-71/+182
* [analyzer] Stats checker: minor interprocedural tweaks.Anna Zaks2012-03-271-15/+20
* [analyzer] Stats: Only count the number of times we run path sensitiveAnna Zaks2012-03-271-2/+3
* Change RetainCountChecker to eagerly "escape" retained objects when they areTed Kremenek2012-03-271-0/+6
* [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue.Anna Zaks2012-03-261-1/+2
* [analyzer] Tighten up the realloc() failure path note generation...make sure ...Jordy Rose2012-03-241-22/+31
* [analyzer] Restart path diagnostic generation if any of the visitors change t...Jordy Rose2012-03-242-34/+65
* [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able ...Jordy Rose2012-03-243-3/+13
* Avoid applying retain/release effects twice in RetainCountChecker when a func...Ted Kremenek2012-03-233-7/+13
* corrected check::EndOfTranslationUnit checker name and added 'const' to decla...Anton Yartsev2012-03-231-3/+3
* Fix static analyzer crash on code taking the address of a field. Fixes PR 11...Ted Kremenek2012-03-221-0/+7
* [analyzer] Add the stat for the number of successfully explored paths.Anna Zaks2012-03-221-1/+5
* [analyzer] Add stats useful for coverage investigations.Anna Zaks2012-03-222-0/+24
* [analyzer] Add inlining awareness to the block coverage computationAnna Zaks2012-03-221-5/+12
* "Teach" RetainCountChecker about dispatch_set_context, which can indirectly f...Ted Kremenek2012-03-221-0/+8
* [analyzer] Malloc: drop symbols captured by blocks.Anna Zaks2012-03-221-0/+42
* Remove unused variable, fix indentation.Benjamin Kramer2012-03-211-7/+5
* [analyzer] Malloc: Utter the name of the leaked variable.Anna Zaks2012-03-213-18/+65
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-212-33/+19
* [analyzer] Mark a failed-realloc's result as an interesting symbol between th...Jordy Rose2012-03-181-3/+27
* [analyzer] Use a FoldingSet to cache simple RetainSummary instances, rather t...Jordy Rose2012-03-181-40/+58
* [analyzer] Unify retain-count summary generation for class and instance metho...Jordy Rose2012-03-171-53/+26
* [analyzer] Remove duplicate work on deriving method behavior. No functionalit...Jordy Rose2012-03-171-83/+74
* StaticAnalyzer: Fix abuse of StringRef in r152962.NAKAMURA Takumi2012-03-171-1/+1
* [analyzer] Don't claim an object was returned with +1 retain count before cou...Jordy Rose2012-03-171-4/+8
* [analyzer] Shorten the stack hint diagnostic.Anna Zaks2012-03-162-9/+12
* [analyzer] Create symbol-aware stack hints (building upon r152837).Anna Zaks2012-03-163-20/+142
* [analyzer] +CommentsAnna Zaks2012-03-161-5/+9
* [analyzer] Add a statistic for the number of times we reach the maxAnna Zaks2012-03-161-1/+10
* Fix analyzer crash on analyzing 'catch' with no condition variable.Ted Kremenek2012-03-161-0/+5
* [analyzer] If a metadata symbol is interesting, its region is interesting as ...Jordy Rose2012-03-151-1/+6
* [analyzer] Remove AggExprVisitor, a dead class that assisted in visiting C++ ...Jordy Rose2012-03-153-78/+1
* [analyzer] Allow checkers to supply call stack diagnostic hints for theAnna Zaks2012-03-153-5/+51
* '#if 0' out a variable that's only used in other preprocessor-disabled code.Matt Beaumont-Gay2012-03-141-0/+2
* [analyzer] Diagnostics: Supply Caller information even if the bug occursAnna Zaks2012-03-142-7/+12
* [Analyser] Remove unnecessary recursive visits for ExprWithCleanups andErik Verbruggen2012-03-142-24/+19
* [Analyser] Removes more recursive visitations in ExprEngine that are noErik Verbruggen2012-03-141-86/+10
* [analyser] Refactor shouldInline logic into a helper.Anna Zaks2012-03-131-8/+19
* [analyzer] Call enter/exit diagnostic should refer to caller/callee,Anna Zaks2012-03-131-8/+6
* [analyzer] Change the order in which we analyze the functions underAnna Zaks2012-03-131-7/+11
* [analyzer] Use BFS over call graph when analysing functions.Anna Zaks2012-03-131-22/+38
* [analyzer] Refactor CallGraph to use Recursive AST visitor whenAnna Zaks2012-03-131-6/+5
* [analyzer] Use recursive AST visitor to drive simple visitation order inAnna Zaks2012-03-131-106/+95
* [analyzer] Minor: factor out logic for determining if we should skip aAnna Zaks2012-03-131-4/+13
OpenPOWER on IntegriCloud