Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
e1baed38437e08fee7ab372ba2579ce22da354c2
/
lib
/
Analysis
e1baed3
BugReporter (extensive diagnostics): improve location context generation for the
by Ted Kremenek
· 15 years ago
c42e07e
BugReporter (extensive diagnostics): Fix getEnclosingStmtLocation to reason
by Ted Kremenek
· 15 years ago
69aa080
Implement attribute 'ns_autorelease'.
by Ted Kremenek
· 15 years ago
e351aa1
Implement attribute 'cf_returns_owned' (mirrors 'ns_returns_owned').
by Ted Kremenek
· 15 years ago
921b0b5
Fix unused variable warning
by Ted Kremenek
· 15 years ago
0ac5618
Remove possibly incorrect assertion that doesn't matter.
by Ted Kremenek
· 15 years ago
d99b345
Remove experimental attribute 'ns_ownership_make_collectable.'
by Ted Kremenek
· 15 years ago
75494ff
Rename attributes 'objc_ownership...' to 'ns_ownership...'.
by Ted Kremenek
· 15 years ago
4c6f8d3
BugReporter (extensive diagnostics): don't mark location contexts that are
by Ted Kremenek
· 15 years ago
65d80fd
Fix false positive null dereference by unifying code paths in GRSimpleVals for
by Ted Kremenek
· 15 years ago
31c215e
Rename attributes:
by Ted Kremenek
· 15 years ago
ea4b4aa
retain checker: Add checker support for FunctionDecl ownership annotations. Need to add Sema support.
by Ted Kremenek
· 15 years ago
05673d6
retain checker: Pull out logic for parameter annotations into a separate method.
by Ted Kremenek
· 15 years ago
e401a0c
retain checker: Don't treat function's declared in macros differently.
by Ted Kremenek
· 15 years ago
c2eeb72
Add array index assertion: BasicStore should not expect any fancy
by Ted Kremenek
· 15 years ago
cd9392f
Rename 'makeZeroIndex' to 'makeZeroArrayIndex'.
by Ted Kremenek
· 15 years ago
124838b
Zhongxing already implemented this FIXME.
by Ted Kremenek
· 15 years ago
b5b848e
array indexes are unsigned integers of the same width as pointer.
by Zhongxing Xu
· 15 years ago
20bd746
BasicStore: 'ElementRegion' is the new 'TypedViewRegion'.
by Ted Kremenek
· 15 years ago
fd6b4f3
Handle 'long x = 0; char *y = (char *) x;' by layering an
by Ted Kremenek
· 15 years ago
f936f45
Per conversations with Zhongxing, add an 'element type' to
by Ted Kremenek
· 15 years ago
885c27b
retain checker:
by Ted Kremenek
· 15 years ago
7faca82
retain checker: RetainSummaryManager now has a 'DefaultSummary' object
by Ted Kremenek
· 15 years ago
22fe248
retain checker: Don't bother using a FoldingSet to unique summaries.
by Ted Kremenek
· 15 years ago
9251143
Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned
by Ted Kremenek
· 15 years ago
b77449c
Convert ArgEffects from an std::vector to an ImmutableMap. This will make it much easier to clean up the summary generation logic with annotations.
by Ted Kremenek
· 15 years ago
eff4b3c
Rename isTrackedObjectType() -> isTrackedObjCObjectType().
by Ted Kremenek
· 15 years ago
3e001f3
region store: make Retrieve() can retrieve embedded array correctly. Also
by Zhongxing Xu
· 15 years ago
dd924e2
retain/release checker: Enhance leak description to say that the bug
by Ted Kremenek
· 15 years ago
8ff59e8
Add a new BFS GRWorkList and make it the default worklist model for
by Ted Kremenek
· 15 years ago
a8607d1
StoreManager::CastRegion:
by Ted Kremenek
· 15 years ago
d91719a
Basic Store: Always convert a non::LocAsInteger to a Loc when storing to a pointer.
by Ted Kremenek
· 15 years ago
7cb1bb3
Update CMake file.
by Ted Kremenek
· 15 years ago
8f9b1b3
BugReporter (extensive diagnostics): introduce the notion of a "dead"
by Ted Kremenek
· 15 years ago
d1e1c40
Remove #if 0'ed code.
by Ted Kremenek
· 15 years ago
2cd1293
retain/release checker: Hook up attributes 'objc_ownership_retain' and
by Ted Kremenek
· 15 years ago
9f246b6
Handle case in EvalReturn where we cache out in the ExplodedGraph.
by Ted Kremenek
· 15 years ago
76a50e3
retain/release checker: Use the ObjCMethodDecl in the @implementation if no
by Ted Kremenek
· 15 years ago
70a6576
retain/release checker: Resolve method decl in @interface after getting the
by Ted Kremenek
· 15 years ago
a883355
retain/release checker: When determining whether an analyzed method can return
by Ted Kremenek
· 15 years ago
8987a02
Format cleanup. No functionality change.
by Ted Kremenek
· 15 years ago
da0e842
Fix null dereference.
by Ted Kremenek
· 15 years ago
d49967f
BugReporter/PathDiagnostics:
by Ted Kremenek
· 15 years ago
298862d
Reformat long line. No functionality change.
by Ted Kremenek
· 15 years ago
c887d13
retain/release checker: Hoist code for bug reports above transfer function logic
by Ted Kremenek
· 15 years ago
552333c
Add version of getMethodSummary() that can be used to query the summary for the
by Ted Kremenek
· 15 years ago
ce8a41d
Rename getMethodSummary() -> getInstanceMethodSummary().
by Ted Kremenek
· 15 years ago
5fa93d5
Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable
by Ted Kremenek
· 15 years ago
82539b0
MemRegion pretty-printing: Convert DeclName to a string to print out the actual
by Ted Kremenek
· 15 years ago
5c86b19
SymbolicRegions may also be live roots.
by Zhongxing Xu
· 15 years ago
8711c03
retain/release checker: Refactor getMethodSummary() to not depend on ObjCMessageExpr.
by Ted Kremenek
· 15 years ago
f82af1e
As discussed with Ted offline, re-apply r70293.
by Zhongxing Xu
· 15 years ago
fcd7c6f
retain/release checker: Refactor the guts of getClassMethodSummary to not depend
by Ted Kremenek
· 15 years ago
bf20dbd
Implement ownership attribute 'objc_ownership_make_collectable'. This allows one
by Ted Kremenek
· 15 years ago
b9dda75
Revert 70293.
by Ted Kremenek
· 15 years ago
6fd644a
Now we can remove the 'blast-through' code.
by Zhongxing Xu
· 15 years ago
a902d55
Extensive diagnostics: Do not add a location context for do...while statements.
by Ted Kremenek
· 15 years ago
8bd4d03
BugReporter (extensive diagnostics): Clean up do...while control-flow edges, and
by Ted Kremenek
· 15 years ago
c6a59e4
Add two new checker-specific attributes: 'objc_ownership_release' and
by Ted Kremenek
· 15 years ago
e798e7c
Track objects in GC mode returned by 'alloc', 'new', etc. methods. These are
by Ted Kremenek
· 15 years ago
4064de9
Add new checker-specific attribute 'objc_ownership_cfretain'. This is the same
by Ted Kremenek
· 15 years ago
d3a413d
Implement function-try-blocks. However, there's a very subtle bug that I can't track down.
by Sebastian Redl
· 15 years ago
9ec64d6
Minor code cleanup.
by Eli Friedman
· 15 years ago
16f0049
split ObjC and C++ Statements out into their own headers.
by Chris Lattner
· 15 years ago
4da0427
Hook up attribute 'objc_ownership_retain' to the analyzer. This attribute allows
by Ted Kremenek
· 15 years ago
8650f08
Hook up __attribute__((objc_ownership_returns)) to the retain/release checker.
by Ted Kremenek
· 15 years ago
8ee885b
Fix the same false positive reported in PR 2542 and <rdar://problem/6793409>
by Ted Kremenek
· 15 years ago
ff11cd1
Minor refactoring: pass selector to getCommonMethodSummary(). No functionality
by Ted Kremenek
· 15 years ago
376d1e7
retain/release checker: more hacks to workaround false positives cause by
by Ted Kremenek
· 15 years ago
2e09bf6
Sentence case bug name.
by Ted Kremenek
· 15 years ago
de4d533
retain/release checker:
by Ted Kremenek
· 15 years ago
250b1fa
Refactor common logic in getMethodSummary() and getClassMethodSummary(). No
by Ted Kremenek
· 15 years ago
97d095f
Further cleanups to isTrackedObjectType().
by Ted Kremenek
· 15 years ago
f9df136
retain/release checker: Don't call isTrackedObject() with the canonical type.
by Ted Kremenek
· 15 years ago
1f0186c
retain/release checker: For class methods, only treat return values that are
by Ted Kremenek
· 15 years ago
e87450e
Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly
by Ted Kremenek
· 15 years ago
b3cfd58
Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic
by Ted Kremenek
· 15 years ago
6f13235
BugReporter (extensive diagnostics): Recursively adjust the referred expression
by Ted Kremenek
· 15 years ago
c2924d0
BugReporter (extensive diagnostics): Ignore parentheses when added control-flow
by Ted Kremenek
· 15 years ago
653f1b1
Eliminate the three SmallVectors in ObjCImplDecl (for instance
by Douglas Gregor
· 15 years ago
4c5fcd9
Add PathDiagnosticRange to PathDiagnostics. These simply wrap SourceRange and
by Ted Kremenek
· 15 years ago
4f5be3b
BugReporter (extensive diagnostics): Use correct location for location contexts.
by Ted Kremenek
· 15 years ago
5c7168c
BugReporter (extensive diagnostics): always add an edge if there is no location
by Ted Kremenek
· 15 years ago
404dd7a
BugReporter (extensive diagnostics):
by Ted Kremenek
· 15 years ago
a301a67
BugReporter (extensive diagnostic algorithm): The initial control-flow edge now
by Ted Kremenek
· 15 years ago
8f33290
PathDiagnosticLocation: ranges for terminators now only include the first
by Ted Kremenek
· 15 years ago
868210e
Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr.
by Ted Kremenek
· 15 years ago
30d1b99
This patch is largely due to Zhongxing Xu. I've simply applied it because of
by Ted Kremenek
· 15 years ago
af48fdd
Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness
by Ted Kremenek
· 15 years ago
ec751c4
Tweak pretty-printing of constraints.
by Ted Kremenek
· 15 years ago
c62abc1
Refactor 'BasicStoreManager::CastRegion' and 'RegionStoreManager::CastRegion'
by Ted Kremenek
· 15 years ago
72e0320
Recommit 69694 but this time also include the header changes (sorry for breaking
by Ted Kremenek
· 15 years ago
a37221e
Revert 69694 (use of undefined getSymbol)
by Daniel Dunbar
· 15 years ago
e051308
Add pretty-printing for CodeTextRegions.
by Ted Kremenek
· 15 years ago
5639a3e
Lexically order the implementation of MemRegion 'print' methods. No functionality change.
by Ted Kremenek
· 15 years ago
4abbea6
Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any
by Ted Kremenek
· 15 years ago
5cbe5f9
Remove loc::FuncVal.
by Zhongxing Xu
· 15 years ago
369f447
get a CodeTextRegion when visiting FunctionDecl reference.
by Zhongxing Xu
· 15 years ago
0a095fb
As we now have ValueManager as the new value factory, we do not need factory
by Zhongxing Xu
· 15 years ago
7297134
FunctionDecl::getBody() is getting an ASTContext argument for use in
by Douglas Gregor
· 15 years ago
Next »