| 6bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89 |
|
29-May-2014 |
Stephen Hines <srhines@google.com> |
Update Clang for 3.5 rebase (r209713).
Change-Id: I8c9133b0f8f776dc915f270b60f94962e771bc83
/external/clang/lib/Analysis/CMakeLists.txt
|
| 651f13cea278ec967336033dd032faef0e9fc2ec |
|
24-Apr-2014 |
Stephen Hines <srhines@google.com> |
Updated to Clang 3.5a.
Change-Id: I8127eb568f674c2e72635b639a3295381fe8af82
/external/clang/lib/Analysis/CMakeLists.txt
|
| df7bef07eebd5c7913e8be09c62a6a470f255fd2 |
|
12-Aug-2013 |
DeLesley Hutchins <delesley@google.com> |
Patch by Chris Wailes <chris.wailes@gmail.com>.
Reviewed by delesley, dblaikie.
Add the annotations and code needed to support a basic 'consumed' analysis.
Summary:
This new analysis is based on academic literature on linear types. It tracks
the state of a value, either as unconsumed, consumed, or unknown. Methods are
then annotated as CallableWhenUnconsumed, and when an annotated method is
called while the value is in the 'consumed' state a warning is issued. A value
may be tested in the conditional statement of an if-statement; when this occurs
we know the state of the value in the different branches, and this information
is added to our analysis. The code is still highly experimental, and the names
of annotations or the algorithm may be subject to change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@188206 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| a43df9539644bf1c258e12710cd69d79b0b078cd |
|
21-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Implement faux-body-synthesis of well-known functions in the static analyzer when
their implementations are unavailable. Start by simulating dispatch_sync().
This change is largely a bunch of plumbing around something very simple. We
use AnalysisDeclContext to conjure up a fake function body (using the
current ASTContext) when one does not exist. This is controlled
under the analyzer-config option "faux-bodies", which is off by default.
The plumbing in this patch is largely to pass the necessary machinery
around. CallEvent needs the AnalysisDeclContextManager to get
the function definition, as one may get conjured up lazily.
BugReporter and PathDiagnosticLocation needed to be relaxed to handle
invalid locations, as the conjured body has no real source locations.
We do some primitive recovery in diagnostic generation to generate
some reasonable locations (for arrows and events), but it can be
improved.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164339 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 4ef19205b6912316296db74a9073ad6fa60e4cca |
|
13-Sep-2012 |
Ted Kremenek <kremenek@apple.com> |
Refactor logic in ExprEngine for detecting 'noreturn' methods
in NSException to a helper object in libAnalysis that can also
be used by Sema. Not sure if the predicate name 'isImplicitNoReturn'
is the best one, but we can massage that later.
No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163759 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 11abf2ad01f64ede7c0555167f41a1c5852f80c6 |
|
27-Jul-2012 |
NAKAMURA Takumi <geek4civic@gmail.com> |
clang/lib: [CMake] Update tblgen'd dependencies.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160851 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 866abce3b93ab01bac00e0383a753819893b868a |
|
27-Jul-2012 |
NAKAMURA Takumi <geek4civic@gmail.com> |
clang/lib: [CMake] Reformat, alphabetize lists.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@160850 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 8d3ba23f2d9e6c87794d059412a0808c9cbacb25 |
|
06-Jul-2012 |
Dmitri Gribenko <gribozavr@gmail.com> |
Implement AST classes for comments, a real parser for Doxygen comments and a
very simple semantic analysis that just builds the AST; minor changes for lexer
to pick up source locations I didn't think about before.
Comments AST is modelled along the ideas of HTML AST: block and inline content.
* Block content is a paragraph or a command that has a paragraph as an argument
or verbatim command.
* Inline content is placed within some block. Inline content includes plain
text, inline commands and HTML as tag soup.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159790 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| b0d8671f95fe08a220118bca29063ba4d11a9dac |
|
21-Jun-2012 |
Chandler Carruth <chandlerc@gmail.com> |
Remove a goofy CMake hack and use the standard CMake facilities to
express library-level dependencies within Clang.
This is no more verbose really, and plays nicer with the rest of the
CMake facilities. It should also have no change in functionality.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@158888 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 87e154c09bbb060a0620bc988d7723bee64fb79c |
|
13-Apr-2012 |
Douglas Gregor <dgregor@apple.com> |
Remove the unused, unmaintained, incomplete 'Index' library.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154672 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 196b8cfe9cfcc452eb2f83aa4ad330c2324f8c7d |
|
08-Mar-2012 |
Anna Zaks <ganna@apple.com> |
Add a basic CallGraph to Analysis.
The final graph contains a single root node, which is a parent of all externally available functions(and 'main'). As well as a list of Parentless/Unreachable functions, which are either truly unreachable or are unreachable due to our analyses imprecision.
The analyzer checkers debug.DumpCallGraph or debug.ViewGraph can be used to look at the produced graph.
Currently, the graph is not very precise, for example, it entirely skips edges resulted from ObjC method calls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@152272 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 3ff53b3587862439a1a84a7b0bc9a7dbee0cf4eb |
|
20-Dec-2011 |
Chandler Carruth <chandlerc@gmail.com> |
Update the CMake build for r146959's new files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146967 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 02f34c5003b2c5067675f89ffce0a84c28faf722 |
|
05-Dec-2011 |
Anna Zaks <ganna@apple.com> |
[analyzer] Rely on LLVM Dominators in Clang dominator computation.
(Previously, Clang used it's implementation of dominators.)
The patch is contributed by Guoping Long!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145858 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 58f6f1e37ab32fdd0c8bab6771d8e09bc139e9ed |
|
25-Oct-2011 |
Ted Kremenek <kremenek@apple.com> |
Add source-level dominators analysis. Patch by Guoping Long!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142885 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 1d26f48dc2eea1c07431ca1519d7034a21b9bcff |
|
24-Oct-2011 |
Ted Kremenek <kremenek@apple.com> |
Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142782 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| edb186399e19d84c93f25440435ab9a695138e79 |
|
22-Oct-2011 |
Ted Kremenek <kremenek@apple.com> |
Pull TopologicallySortedCFG out of LiveVariables into its own analysis: PostOrderCFGView.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142713 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 402aa0698fec81e574818a0a6c2000fac0b2c4c6 |
|
09-Sep-2011 |
Caitlin Sadowski <supertri@google.com> |
Thread Safety: Moving the analysis to a new file
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@139369 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ca804539d908d3a0e8c72a0df5f1f571d29490bb |
|
13-Aug-2011 |
Ted Kremenek <kremenek@apple.com> |
[analyzer] change "tag" in ProgramPoint from "void*" to a ProgramPointTag*.
Having a notion of an actual ProgramPointTag will aid in introspection of the analyzer's behavior.
For example, the GraphViz output of the analyzer will pretty-print the tags in a useful manner.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137529 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 6f34213f8d6ae8c77685b53664527e39bfaaca3b |
|
15-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Rename UninitializedValuesV2 to UninitializedValues.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127657 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| f3f5379f6da7f8f141a53e2945871a5aa5431e02 |
|
15-Mar-2011 |
Ted Kremenek <kremenek@apple.com> |
Remove old UninitializedValues analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127656 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 42461eecee98fff3671b3c14ce10f1a9e18cc95c |
|
23-Feb-2011 |
Ted Kremenek <kremenek@apple.com> |
Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and into its own analysis file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126289 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 886e1606c28e970bb288abf4dbc40feb16822a79 |
|
10-Feb-2011 |
NAKAMURA Takumi <geek4civic@gmail.com> |
CMake: LLVM_NO_RTTI must be obsolete now!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125275 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 610068c8cd2321f90e147b12cf794e1f840b6405 |
|
15-Jan-2011 |
Ted Kremenek <kremenek@apple.com> |
Add initial prototype for implementation of
-Wuninitialized based on CFG dataflow analysis. WIP.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123512 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| bb8fef382ad89b4bc202a1dbd4cd52ced7734479 |
|
17-Dec-2010 |
Ted Kremenek <kremenek@apple.com> |
Move CocoaConventions.[h,cpp] from libChecker
to libAnalysis. Similar to Format (format string checking),
CocoaConventions has the
potential to serve clients other than the
static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122040 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 560a921b85773ac7c2d1a7a4aec4682c822c5cb4 |
|
14-Sep-2010 |
Michael J. Spencer <bigcheesegs@gmail.com> |
Revert "CMake: Update to use standard CMake dependency tracking facilities instead"
This reverts commit r113631
Conflicts:
CMakeLists.txt
lib/CodeGen/CMakeLists.txt
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113817 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 5a7f34958ca6f2fa8a52e9921cf521cbb92ae070 |
|
10-Sep-2010 |
Michael J. Spencer <bigcheesegs@gmail.com> |
CMake: Update to use standard CMake dependency tracking facilities instead
of whatever we were using before...
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113631 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ec9bf475657e4fd7c8e920ff816a4e3cdb2ea213 |
|
09-Sep-2010 |
Douglas Gregor <dgregor@apple.com> |
Clean up CMake dependencies
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113489 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| db34ab70961ca4b24b600eb47053d7af304659f5 |
|
23-Aug-2010 |
Tom Care <tom.care@uqconnect.edu.au> |
Several small changes to PseudoConstantAnalysis and the way IdempotentOperationChecker uses it.
- Psuedo -> Pseudo (doh...)
- C++ reference support
- Added pseudoconstant test case for __block vars
- Separated out static local checking from pseudoconstant analysis and generalized to non-local checking
- Added missing test cases for storage false positives
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111832 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 245adabd97c8c770c13935a9075f2243cc6f1d57 |
|
18-Aug-2010 |
Tom Care <tom.care@uqconnect.edu.au> |
Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.
- Renamed IdempotentOperationChecker::isConstant to isConstantOrPseudoConstant to better reflect the function
- Changed IdempotentOperationChecker::PreVisitBinaryOperator to only run 'CanVary' once on undefined assumptions
- Created new PsuedoConstantAnalysis class and added it to AnalysisContext
- Changed IdempotentOperationChecker to exploit the new analysis
- Updated tests with psuedo-constants
- Added check to IdempotentOperationChecker to see if a Decl is const qualified
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111426 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| a6d69302d7c86b1c71b9c18493bb811f7d152075 |
|
04-Aug-2010 |
Ted Kremenek <kremenek@apple.com> |
Add CFGStmtMap, which defines a mapping from Stmt* to CFGBlock*. The immediate intended use is in the unreachable code analysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110230 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 826a3457f737f1fc45a22954fd1bfde38160c165 |
|
16-Jul-2010 |
Ted Kremenek <kremenek@apple.com> |
Add most of the boilerplate support for scanf format string checking. This includes
handling the parsing of scanf format strings and hooking the checking into Sema.
Most of this checking logic piggybacks on what was already there for checking printf format
strings, but the checking logic has been refactored to support both.
What is left to be done is to support argument type checking in format strings and of course
fix the usual tail of bugs that will follow.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@108500 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ee6e4b4baa1acd85ba8b142862ac5986621aaffd |
|
17-Jun-2010 |
Sean Hunt <rideau3@gmail.com> |
Update CMake build for new attribute changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@106188 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 9a55591af3e5506b95a9718e15380129fbfc5ebc |
|
30-May-2010 |
Sean Hunt <rideau3@gmail.com> |
Convert DeclNodes to use TableGen.
The macros required for DeclNodes use have changed to match the use of
StmtNodes. The FooFirst enumerator constants have been named firstFoo
to match usage elsewhere.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@105165 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 71b1d0e5f07de274af2b3c48955af66b1b7f0403 |
|
05-May-2010 |
Douglas Gregor <dgregor@apple.com> |
Unbreak CMake build.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@103077 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 3d2eed823d534ee370cfd7742c1e96ab3ee9a80b |
|
23-Feb-2010 |
Ted Kremenek <kremenek@apple.com> |
Start moving some of the logic for the unreachable code analysis out of libSema
and into libAnalysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96872 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 8f0a1c73fd2b83afd4b1fce6f964535b51d13659 |
|
28-Jan-2010 |
Ted Kremenek <kremenek@apple.com> |
Add skeleton for a more structured way to analyzing pring format
strings than what we currently have in Sema. This is both an
experiment and a WIP.
The idea is simple: parse the format string incrementally,
constructing a well-structure representation of each format specifier.
Each format specifier is then handed back one-by-one to a client via a
callback. Malformed format strings are also handled with callbacks.
The idea is to separate the parsing of the format string from the
emission of diagnostics. Currently what we have in Sema for handling
format strings is a mongrel of both that is hard to follow and
difficult to modify (I can apply this label since I'm the original
author of that code).
This is in libAnalysis as it is reasonable generic and can potentially
be used both by libSema and libChecker.
Comments welcome.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@94702 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 1309f9a3b225ea846e5822691c39a77423125505 |
|
25-Jan-2010 |
Ted Kremenek <kremenek@apple.com> |
Split libAnalysis into two libraries: libAnalysis and libChecker.
(1) libAnalysis is a generic analysis library that can be used by
Sema. It defines the CFG, basic dataflow analysis primitives, and
inexpensive flow-sensitive analyses (e.g. LiveVariables).
(2) libChecker contains the guts of the static analyzer, incuding the
path-sensitive analysis engine and domain-specific checks.
Now any clients that want to use the frontend to build their own tools
don't need to link in the entire static analyzer.
This change exposes various obvious cleanups that can be made to the
layout of files and headers in libChecker. More changes pending. :)
This change also exposed a layering violation between AnalysisContext
and MemRegion. BlockInvocationContext shouldn't explicitly know about
BlockDataRegions. For now I've removed the BlockDataRegion* from
BlockInvocationContext (removing context-sensitivity; although this
wasn't used yet). We need to have a better way to extend
BlockInvocationContext (and any LocationContext) to add
context-sensitivty.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@94406 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 1ec4e976113ac56c0b3d96f484613d1dc62c3f85 |
|
09-Dec-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Refactor OSAtomic evaluation logic into OSAtomicChecker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90968 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 7c9624ba29bc700c3aa6c65c5363174a890c534e |
|
08-Dec-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Refactor builtin function evaluation into a checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90847 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 935ef90f4b065c7c865ee5b2a99c5f9b1a115d72 |
|
07-Dec-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Add EvalCallExpr interface to checker, and migrate the no-return function
handler to this interface.
GRExprEngine::CheckerEvalCall() will return true if one of the checkers has
processed the node. In the future this might return void when we have some
default checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90755 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 459cc2387e682d08af63eb30874eb919b801fb42 |
|
03-Dec-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMake for CallGraph.cpp move.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90443 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 6d901e340df666a64f295ddce4cc374035cedf63 |
|
24-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
We can remove this file now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89751 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 668399b23cf18124c8c8c41a14a7712212f6fa45 |
|
24-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Refactor undefined result checker. This is the last one.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89750 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| f253aa7bc89da1f38261f381d4f6b7bd4c4bd521 |
|
24-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89734 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| c6e11fff7623e07681a29c103fcf0bb5c5b39140 |
|
23-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Provide out-of-line definition for destructor of Checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89688 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 3e0c0985a17c3846d05d185962e08819a4b49aa7 |
|
23-Nov-2009 |
Douglas Gregor <dgregor@apple.com> |
Fix CMake build
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89650 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| c79d7d49c5ec42e8bb6ac34350ebb5bc24ca663d |
|
21-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89524 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| eb94113be0ee5f4d38408b413d92464a0bc16b55 |
|
13-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add clang-cc option "-analyzer-experimental-checks" to enable experimental path-sensitive checks. The idea is to separate "barely working" or "skunkworks" checks from ones that should always run. Later we need more fine-grain checker control.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@87053 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| d4307861c9d5d823d935adb8e6964de4df5e8579 |
|
12-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
update CMakefile
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86979 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ac9bea8bb7a4f1821d63aaa926b60062311b2aa3 |
|
12-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86958 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| f465e85fd8744fce8769f18f0dbfec51dbc6d4af |
|
11-Nov-2009 |
Chandler Carruth <chandlerc@gmail.com> |
Move the ManagerRegistry to the Analysis library to resolve the layering violation.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86863 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| d694485f9d6e3ea7b458df8241dfffd38f62aca8 |
|
11-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Add undefined array subscript checker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86837 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 58e689fead1490611bcd114fb707bfc08a12049e |
|
11-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Reimplement out-of-bound array access checker with the new checker interface.
Now only one test case is XFAIL'ed.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86834 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ead2a5e8e8cad528bc001c01dfe47ca8c5357ff9 |
|
11-Nov-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMake.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86822 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ede7eb251778cd64e76cd09ea941b0f4064d38a1 |
|
09-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Add check for pointer arithmetic on non-array variables.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86538 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| b23c8690798ed03f5e411109988e1f5c1c6b0daa |
|
09-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
remove redundant file name in CMakeLists.txt.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86536 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 483bfaa4b54062c86a8b8bb19a20700f94747223 |
|
09-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
update CMakeList.txt
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86535 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 671b9e21e2a72148f1a443912bf353d2ff07dda2 |
|
09-Nov-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMake
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86533 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 2900ca37218a80c6e42b41c0076235276027f320 |
|
09-Nov-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMake
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86528 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 7033d61aad0de0feceb3a425dc8da3ab86c7db16 |
|
08-Nov-2009 |
Benjamin Kramer <benny.kra@googlemail.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86479 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ceeb02db9ad4232ea248a44192180d5bc7fe2653 |
|
06-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86252 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 1053d246f451c399468248625d1146e3d845e21e |
|
06-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
static analyzer: refactor checking logic for returning the address of a stack variable or a garbage
value into their own respective subclasses of Checker (and put them in .cpp files where their
implementation details are hidden from GRExprEngine).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86215 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 29d63fc14cd2f97da05321c00a297e22ad210ec6 |
|
04-Nov-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMake.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86015 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 05a2338f7ba1c8a0136e120502f80a38cf0e9fd3 |
|
04-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Merge ZeroSizedVLAChecker and UndefSizedVLAChecker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85996 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| dc998c1b90a17d747ca2fb05e967779740747162 |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp]. They are essentially two parts of the same check.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85911 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 9d645b389a18ec1a8fb9ae8fb81060d7eee55087 |
|
03-Nov-2009 |
Benjamin Kramer <benny.kra@googlemail.com> |
Update CMakeLists.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85898 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 54cb7ccc769a5e81a13812e08c21daf52a781262 |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85887 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 94943b6d913718216a95a91864040ffc11a1d779 |
|
03-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Pull AttrNonNullChecker into its own files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85883 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| df5fd838da89f212a6593d9151a3102a70d80fa9 |
|
03-Nov-2009 |
Zhongxing Xu <xuzhongxing@gmail.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85879 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 29e0ef232effb8de9bfa7f2d17867e289f66728c |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Rename NSErrorCheck to NSErrorChecker.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85877 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ddceb0ab2a7c7f7c3f49a5bb892dfd4c8e0ba041 |
|
03-Nov-2009 |
Ted Kremenek <kremenek@apple.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85876 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 7e36e95e213285bea70854541150868b6b74842b |
|
31-Oct-2009 |
Benjamin Kramer <benny.kra@googlemail.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85652 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| bc3a021df7f9ee4c4d1e9ec3c2aac2ef6d883206 |
|
30-Oct-2009 |
Ted Kremenek <kremenek@apple.com> |
Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85595 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| ea19b2fc58ecd06da22a700e1d5e6ffa5ce7515c |
|
11-Sep-2009 |
Benjamin Kramer <benny.kra@googlemail.com> |
Update CMakeLists.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@81519 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| a29e52e6ad04061940aa6f5ce5a9852338bfbee4 |
|
30-Jul-2009 |
Benjamin Kramer <benny.kra@googlemail.com> |
fix cmake build
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77589 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| a0a2c7dbf9138ee89dd379813cab839e68e8f6ef |
|
30-Jul-2009 |
Daniel Dunbar <daniel@zuster.org> |
Update CMakeLists.txt
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@77577 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| dbfb5f853547c4cc2b4b39e90f01537dd317457a |
|
23-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Add initial implementation of checking for uses of floating point as a loop counter.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76833 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 5350066e7b19d17a5b137caa6c039ab9626dbfa5 |
|
22-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Move bug reporter "visitors" to their own file and make them part of the public
BugReporter API. No real functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76760 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 32c3fa4195762ba93f0b7114ab36c0941bc34432 |
|
21-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast
to SValuator::EvalCast. In the process, the StoreManagers now use this new cast
machinery, and the hack in GRExprEngine::EvalBind to handle implicit casts
involving OSAtomicCompareAndSwap and friends has been removed (and replaced with
logic closer to the logic specific to those functions).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76641 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| e41611aa2237d06a0ef61db4528fb2883a8defcd |
|
16-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Move the source-level CFG from libAST to libAnalysis.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76092 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| b8f96f6ddd3cfe64d329fe52b9b5ef049f3d29ab |
|
16-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75885 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| b3b73642bfb4417d6312725ad6cc8d73ae143aca |
|
15-Jul-2009 |
Ted Kremenek <kremenek@apple.com> |
Lexically order files in CMakeLists.txt files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75832 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 6c07bdba93b095b66e2c8c82dd5ed458fa8285ea |
|
26-Jun-2009 |
Ted Kremenek <kremenek@apple.com> |
Introduce a new concept to the static analyzer: SValuator.
GRTransferFuncs had the conflated role of both constructing SVals (symbolic
expressions) as well as handling checker-specific logic. Now SValuator has the
role of constructing SVals from expressions and GRTransferFuncs just handles
checker-specific logic. The motivation is by separating these two concepts we
will be able to much more easily create richer constraint-generating logic
without coupling it to the main checker transfer function logic.
We now have one implementation of SValuator: SimpleSValuator.
SimpleSValuator is essentially the SVal-related logic that was in GRSimpleVals
(which is removed in this patch). This includes the logic for EvalBinOp,
EvalCast, etc. Because SValuator has a narrower role than the old
GRTransferFuncs, the interfaces are much simpler, and so is the implementation
of SimpleSValuator compared to GRSimpleVals. I also did a line-by-line review of
SVal-related logic in GRSimpleVals and cleaned it up while moving it over to
SimpleSValuator.
As a consequence of removing GRSimpleVals, there is no longer a
'-checker-simple' option. The '-checker-cfref' did everything that option did
but also ran the retain/release checker. Of course a user may not always wish to
run the retain/release checker, nor do we wish core analysis logic buried in the
checker-specific logic. The next step is to refactor the logic in CFRefCount.cpp
to separate out these pieces into the core analysis engine.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74229 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| cfb361baf1c8a1ccbbd7dc8f8535986c2958c26c |
|
23-Jun-2009 |
Ted Kremenek <kremenek@apple.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73958 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 7cb1bb3c936cfdbb2f1b50fcdfd664d22188a2ce |
|
01-May-2009 |
Ted Kremenek <kremenek@apple.com> |
Update CMake file.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70563 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| a393e9eedcc28b25f521a4feceb3b56e3d0d360f |
|
17-Mar-2009 |
Douglas Gregor <dgregor@apple.com> |
Build system changes to use TableGen to generate the various
diagnostics. This builds on the patch that Sebastian committed and
then revert. Major differences are:
- We don't remove or use the current ".def" files. Instead, for now,
we just make sure that we're building the ".inc" files.
- Fixed CMake makefiles to run TableGen and build the ".inc" files
when needed. Tested with both the Xcode and Makefile generators
provided by CMake, so it should be solid.
- Fixed normal makefiles to handle out-of-source builds that involve
the ".inc" files.
I'll send a separate patch to the list with Sebastian's changes that
eliminate the use of the .def files.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67058 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| 488d4b720fb5a750e0187b34d138548445641f4a |
|
17-Feb-2009 |
Chris Lattner <sabre@nondot.org> |
add some files to fix the cmake build, patch by Piotr Rak!
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@64752 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|
| d2f4e5ea6e980e48c292f5ca250e99377e3ee111 |
|
26-Oct-2008 |
Oscar Fuentes <ofv@wanadoo.es> |
CMake: Builds and installs clang binary and libs (no docs yet). It
must be under the `tools' subdirectory of the LLVM *source* tree.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58180 91177308-0d34-0410-b5e6-96231b3b80d8
/external/clang/lib/Analysis/CMakeLists.txt
|