index
:
emscripten-fastcomp-clang
master
emscripten clang
git repository hosting
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Analysis
/
MemRegion.cpp
Age
Commit message (
Expand
)
Author
2009-11-10
Refine PointerSubChecker: compare the base region instead of the original
Zhongxing Xu
2009-11-10
Rename: StripCasts describes what it does better.
Zhongxing Xu
2009-09-09
Remove tabs, and whitespace cleanups.
Mike Stump
2009-08-28
Use SymbolicRegion instead of CodeTextRegion for symbolic function
Ted Kremenek
2009-08-21
Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager.
Ted Kremenek
2009-08-21
Add LocationContext* field to VarRegion. This is needed for interprocedural ...
Ted Kremenek
2009-08-01
This is a fairly large patch, which resulted from a cascade of changes
Ted Kremenek
2009-07-29
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
Ted Kremenek
2009-07-29
Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with
Ted Kremenek
2009-07-19
Implement FIXME in pretty-printing for StringRegions.
Ted Kremenek
2009-07-19
Improve debug pretty-printing for ObjCIVarRegions.
Ted Kremenek
2009-07-16
Move RegionStoreManager over to using new
Ted Kremenek
2009-07-13
Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...
Ted Kremenek
2009-07-13
When pretty-printing symbolic regions, use '{' ... '}' to indicate the symbol...
Ted Kremenek
2009-07-13
Change pretty-printing API for SymExprs and MemRegions to use a naming conven...
Ted Kremenek
2009-07-10
Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to...
Ted Kremenek
2009-07-02
Enhance RegionStore to lazily symbolicate fields and array elements for
Ted Kremenek
2009-07-02
StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of
Ted Kremenek
2009-07-02
Add a separate MemSpaceRegion for function/method arguments passed on the stack.
Ted Kremenek
2009-07-02
Remove commented methods. Add MemRegion::printStdErr().
Ted Kremenek
2009-06-30
Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions.
Chris Lattner
2009-06-23
- Add MemRegion::getMemorySpace()
Ted Kremenek
2009-06-23
Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR...
Ted Kremenek
2009-06-23
MemRegionManager: Migrate logic for getCodeTextRegion() over to using
Zhongxing Xu
2009-06-23
Remove duplicated methods.
Zhongxing Xu
2009-06-23
MemRegions:
Ted Kremenek
2009-06-23
MemRegionManager: Migrate logic for getAllocaRegion() over to using trait-bas...
Ted Kremenek
2009-06-23
MemRegionManager: Migrate getObjCObjectRegion() and getTypedViewRegion() to use
Ted Kremenek
2009-06-22
Migrate factory methods for FieldRegion and ObjCIVarRegion creation to use the
Ted Kremenek
2009-06-22
Refactor some of the logic in MemRegionManager for constructing regions using
Ted Kremenek
2009-06-16
Use canonical type for building ElementRegion. Otherwise ElementRegions cannot
Zhongxing Xu
2009-05-09
rename: MemRegion:
Zhongxing Xu
2009-05-06
The super region of ElementRegion no longer needs to be TypedRegion. In the
Zhongxing Xu
2009-05-04
Per conversations with Zhongxing, add an 'element type' to
Ted Kremenek
2009-04-29
MemRegion pretty-printing: Convert DeclName to a string to print out the actual
Ted Kremenek
2009-04-21
Recommit 69694 but this time also include the header changes (sorry for breaking
Ted Kremenek
2009-04-21
Revert 69694 (use of undefined getSymbol)
Daniel Dunbar
2009-04-21
Add pretty-printing for CodeTextRegions.
Ted Kremenek
2009-04-21
Lexically order the implementation of MemRegion 'print' methods. No function...
Ted Kremenek
2009-04-11
Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"
Ted Kremenek
2009-04-10
Add prototype for CodeTextRegion.
Zhongxing Xu
2009-03-30
Re-apply 68028. The code had drifted enough that the tests would fail without
Ted Kremenek
2009-03-30
Revert 68028.
Ted Kremenek
2009-03-30
Make SymbolicRegion untyped.
Zhongxing Xu
2009-03-26
analyzer infrastructure: make a bunch of changes to symbolic expressions that
Ted Kremenek
2009-03-11
Add TypedViewRegion::isBoundable() to indicate whether or not the
Ted Kremenek
2009-03-04
MemRegion:
Ted Kremenek
2009-03-04
Added the notion of a "boundable region", which is a region that can have a d...
Ted Kremenek
2009-03-03
Rework use of loc::SymbolVal in the retain/release checker to use the new method
Ted Kremenek
2009-03-01
Rename AnonTypedRegion to TypedViewRegion.
Ted Kremenek
[next]