Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
186350f192bbc6a81bc6d7c3647c2243353f21ba
/
lib
/
Analysis
/
CFRefCount.cpp
186350f
Fixed: <rdar://problem/5881148>
by Ted Kremenek
· 17 years ago
a548846
Added lval type (and tracking) for StringLiterals.
by Ted Kremenek
· 17 years ago
95cc1ba
Generalize caching mechanism for bugs reports. Now individual BugTypes
by Ted Kremenek
· 17 years ago
cb61292
Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors
by Ted Kremenek
· 17 years ago
4f28515
Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache.
by Ted Kremenek
· 17 years ago
79c140b
More grammar fixes.
by Ted Kremenek
· 17 years ago
5e770ca
Fix plurality debacle.
by Ted Kremenek
· 17 years ago
2cf943a
Added path diagnostics for reference counts.
by Ted Kremenek
· 17 years ago
8dd5646
BugReport::VisitNode now takes BugReporter& instead of ASTContext&.
by Ted Kremenek
· 17 years ago
75840e1
Simplified internal logic of BugReporter, consolidating EmitWarning and
by Ted Kremenek
· 17 years ago
989d519
Hook up reporting reference count memory leaks to the BugReporter mechanism.
by Ted Kremenek
· 17 years ago
4fd8897
Added transfer function support for ReturnStmt to support detecting leaks
by Ted Kremenek
· 17 years ago
db86371
CF ref. count checker: Register memory leaks at the end of a path.
by Ted Kremenek
· 17 years ago
1392261
Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to
by Ted Kremenek
· 17 years ago
9ed18e6
Implemented toll-free bridging support for CF Reference count checker.
by Ted Kremenek
· 17 years ago
8534820
Added initial boilerplate to support toll-free bridging in the ref-count checker.
by Ted Kremenek
· 17 years ago
7ded73c
Treat calls to unresolved functions in the CF-ref count checker as calls
by Ted Kremenek
· 17 years ago
d2f642b
Hooked up the dead-store checker to the BugReporter interface. Now dead-store
by Ted Kremenek
· 17 years ago
e7bd9c2
Add some boilerplate to report memory leaks at the end of an analyzed function.
by Ted Kremenek
· 17 years ago
b887355
Added FIXME
by Ted Kremenek
· 17 years ago
f9561e5
Fix regression introduced by my last commit.
by Ted Kremenek
· 17 years ago
a0df99f
Changed behavior of how we handle "NULL" summaries: just call
by Ted Kremenek
· 17 years ago
bcf50ad
Use RangedBugReport to report better ranges for reference count errors.
by Ted Kremenek
· 17 years ago
940b1d8
Fixed some logic errors in the CF ref count checker; we now can detect simple
by Ted Kremenek
· 17 years ago
61b9f87
Simplify CF ref. count checker state machine.
by Ted Kremenek
· 17 years ago
3ea0b6a
Fix some bonehead bugs in summary generation in CFRefCount.
by Ted Kremenek
· 17 years ago
d71ed26
Refactored all logic to run the GRSimpleVals and CFRef checker into a common
by Ted Kremenek
· 17 years ago
f84afb7
CFRefCount analysis now properly calls "EmitWarnings" after analyzing a function.
by Ted Kremenek
· 17 years ago
05cbe1a
Hooked up initial reference-count checks to the BugReporter interface.
by Ted Kremenek
· 17 years ago
50a6d0c
Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter.
by Ted Kremenek
· 17 years ago
fa34b33
Added some boilerplate for emitting warnings from the CF-reference count checker.
by Ted Kremenek
· 17 years ago
4dc41cc
Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed
by Ted Kremenek
· 17 years ago
0e561a3
Rename "Nodify" to "MakeNode"
by Ted Kremenek
· 17 years ago
bda0b62
Make a major restructuring of the clang tree: introduce a top-level
by Chris Lattner
· 17 years ago
[Renamed (99%) from Analysis/CFRefCount.cpp]
63bbe53
Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing
by Ted Kremenek
· 17 years ago
361fa8e
Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs.
by Ted Kremenek
· 17 years ago
199e1a0
Added generation of symbolic values for the return values of functions that have
by Ted Kremenek
· 17 years ago
00a3a5f
Prototype (pre-alpha) implementation of CFRef checker.
by Ted Kremenek
· 17 years ago
f394804
Added pretty-printing support for checker-specific state for the CFRefCount checker.
by Ted Kremenek
· 17 years ago
73c750b
Added bookkeeping of error nodes.
by Ted Kremenek
· 17 years ago
1ac08d6
Added main logic for typestate tracking for the CFRetain checker.
by Ted Kremenek
· 17 years ago
6b3a0f7
Added main skeleton for CFRetain transfer function logic.
by Ted Kremenek
· 17 years ago
240f1f0
Renamed ValueManager to BasicValueFactory.
by Ted Kremenek
· 17 years ago
843e934
fix typos
by Gabor Greif
· 17 years ago
2fff37e
Added boilerplate to execute the CF reference count checker (which isn't yet implemented).
by Ted Kremenek
· 17 years ago