 Chris Lattner
|
fae962200e
"I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment
|
15 éve |
 Ted Kremenek
|
79d73044b7
For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics.
|
15 éve |
 John McCall
|
2de56d1d0c
GCC didn't care for my attempt at API compatibility, so brute-force everything
|
15 éve |
 Sean Hunt
|
cf807c4dfd
Generate Attr subclasses with TableGen.
|
15 éve |
 Jordy Rose
|
9076014aa3
Remove dead malloc symbols from the symbol-state map.
|
15 éve |
|
Jordy Rose
|
09cef09aae
Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState>
|
15 éve |
 Zhongxing Xu
|
649a33a8bb
Generate a node instead of a sink. A leak is not a fatal error.
|
15 éve |
|
Zhongxing Xu
|
173ff56696
Implement MallocChecker::EvalDeadSymbols() with the new API. This time we
|
15 éve |
|
Jordy Rose
|
2a479929f7
Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind the way it's being used. Also fix isa<OwnershipAttr> support, break more-than-80-char lines, and other miscellaneous ownership attr cleanup.
|
15 éve |
|
Ted Kremenek
|
dde201b9b5
Fix 80 col. violations.
|
15 éve |
|
Ted Kremenek
|
8c91230a68
Nest variable declaration into into 'if' condition, thus restricting the scope of the variable and condensing the code.
|
15 éve |
|
Ted Kremenek
|
cea68654a4
Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak. A leak is not a hard enough bug to stop analyzing a path.
|
15 éve |
|
Jordy Rose
|
72905cfa81
Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept.
|
15 éve |
|
Ted Kremenek
|
dd0e490c24
After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor!
|
15 éve |
|
Jordy Rose
|
32f2656b90
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
|
15 éve |
|
Ted Kremenek
|
dcee3ce97f
Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for non-static global variables
|
15 éve |
|
Jordy Rose
|
7dadf79bd8
Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents.
|
15 éve |
|
Jordy Rose
|
3104124fda
Code cleanup: remove explicit flush() in favor of using the ostream's str()
|
15 éve |
|
Jordy Rose
|
43859f66cd
Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space.
|
15 éve |
|
Zhongxing Xu
|
a5ce966d1a
Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my
|
15 éve |
|
Zhongxing Xu
|
8e98ac162a
Relax an assertion. Various cases could lead to non-symbol values.
|
15 éve |
 Benjamin Kramer
|
5e2d2c2ee3
Checker: random include cleanup.
|
15 éve |
|
Zhongxing Xu
|
c8023788ac
Add use-after-free check to MallocChecker.
|
15 éve |
|
Zhongxing Xu
|
181cc3df6e
Fix pr6293. If ptr is NULL, no operation is preformed.
|
15 éve |
|
Ted Kremenek
|
1397663af9
Revert 95541.
|
15 éve |
|
Zhongxing Xu
|
6f8c430a95
Rename: GRState::getSVal(Stmt*) => getExprVal(),
|
15 éve |
|
Ted Kremenek
|
1309f9a3b2
Split libAnalysis into two libraries: libAnalysis and libChecker.
|
15 éve |
