Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
481fef9e25128fe87b19e41c48f771ee20c33cbe
/
lib
/
Analysis
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
b3bf76f
Add analyzer support for objc_atomicCompareAndSwap()
by Ted Kremenek
· 15 years ago
1670e40
Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"
by Ted Kremenek
· 15 years ago
fc3388d
Move a few more NonLoc static functions to ValueManager.
by Ted Kremenek
· 15 years ago
ec13d92
Add prototype for CodeTextRegion.
by Zhongxing Xu
· 15 years ago
3330dcb
Finally nuke loc::SymbolVal.
by Zhongxing Xu
· 15 years ago
52e5602
Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1)
by Ted Kremenek
· 15 years ago
b725232
Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows
by Ted Kremenek
· 15 years ago
8d7f548
- Move ownership of MemRegionManager into ValueManager.
by Ted Kremenek
· 15 years ago
6ab3524
Propagate the ASTContext to various AST traversal and lookup functions.
by Douglas Gregor
· 15 years ago
8e5fb28
Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal.
by Ted Kremenek
· 15 years ago
044b6f0
analyzer: Introduce a new class, ValueManager, that serves as an aggregate
by Ted Kremenek
· 15 years ago
c565b63
stop using loc::SymbolVal and clean up code with new API.
by Zhongxing Xu
· 15 years ago
021887e
clean up code with new API.
by Zhongxing Xu
· 15 years ago
caf8ce1
clean up code with new API.
by Zhongxing Xu
· 15 years ago
9cafcd5
clean up code with new API.
by Zhongxing Xu
· 15 years ago
cfe2991
clean up code with new API.
by Zhongxing Xu
· 15 years ago
ea7c5ce
stop using loc::SymbolVal.
by Zhongxing Xu
· 15 years ago
8944c49
stop using loc::SymbolVal.
by Zhongxing Xu
· 15 years ago
f97c070
stop using loc::SymbolVal.
by Zhongxing Xu
· 15 years ago
bd41db9
clean up code with new API.
by Zhongxing Xu
· 15 years ago
6782f75
clean up code with new API.
by Zhongxing Xu
· 15 years ago
fe1635b
Add a new method because sometimes the type of the conjured symbol is not the
by Zhongxing Xu
· 15 years ago
9e82acb
make a conjured symbol as the original code.
by Zhongxing Xu
· 15 years ago
51ae790
clean up code with new API.
by Zhongxing Xu
· 15 years ago
Next »