Commits · a8decaa7c2b4881e66252dc0eaea98c6dd39e29c · Roger Ferrer / llvm-epi-0.8 · GitLab

This is an archived project. Repository and other project resources are read-only.

May 12, 2009
- Add logic for invalidating array region to CFRefCount.cpp. When invalidating · 08a2ede0
  Zhongxing Xu authored May 12, 2009
  08a2ede0
May 09, 2009
- Rename: · 91e2ab49
  Zhongxing Xu authored May 09, 2009
  91e2ab49
- As discussed with Ted, rename TypedRegion::getObjectType() to · 34d04b3c
  Zhongxing Xu authored May 09, 2009
  34d04b3c
- rename: MemRegion: · 8038f7b3
  Zhongxing Xu authored May 09, 2009
  8038f7b3
May 04, 2009
- Rename 'makeZeroIndex' to 'makeZeroArrayIndex'. · d795b02b
  Ted Kremenek authored May 04, 2009
  d795b02b
- array indexes are unsigned integers of the same width as pointer. · 6ebde279
  Zhongxing Xu authored May 04, 2009
  6ebde279
Apr 21, 2009
- Use 'getAs<CodeTextRegion>' instead of 'dyn_cast<CodeTextRegion>' to handle any · 30fb341f
  Ted Kremenek authored Apr 21, 2009
  30fb341f
Apr 20, 2009
- Remove loc::FuncVal. · 30702103
  Zhongxing Xu authored Apr 20, 2009
  30702103
- get a CodeTextRegion when visiting FunctionDecl reference. · ac129431
  Zhongxing Xu authored Apr 20, 2009
  ac129431
- As we now have ValueManager as the new value factory, we do not need factory · 23e1f456
  Zhongxing Xu authored Apr 20, 2009
  23e1f456
Apr 11, 2009
- Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" · df24000d
  Ted Kremenek authored Apr 11, 2009
  df24000d
Apr 10, 2009
- Move a few more NonLoc static functions to ValueManager. · ffe4ad67
  Ted Kremenek authored Apr 10, 2009
  ffe4ad67
- Add prototype for CodeTextRegion. · 1aced0c9
  Zhongxing Xu authored Apr 10, 2009
  1aced0c9
- Finally nuke loc::SymbolVal. · dadf2505
  Zhongxing Xu authored Apr 10, 2009
  dadf2505
- - Move ownership of MemRegionManager into ValueManager. · f2489ea0
  Ted Kremenek authored Apr 09, 2009
  f2489ea0
Apr 09, 2009
- Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. · f8cb51c2
  Ted Kremenek authored Apr 09, 2009
  f8cb51c2
- stop using loc::SymbolVal and clean up code with new API. · 7e9c1933
  Zhongxing Xu authored Apr 09, 2009
  7e9c1933
- Add a new method because sometimes the type of the conjured symbol is not the · 9410d7ee
  Zhongxing Xu authored Apr 09, 2009
  9410d7ee
- Create a symbolic region instead of a loc::SymbolVal. This is a continued step · cb5d3ced
  Zhongxing Xu authored Apr 09, 2009
  cb5d3ced
Apr 08, 2009
- Enhance analyzer reasoning about sending messages to nil. A nil receiver... · 5451c60f
  Ted Kremenek authored Apr 08, 2009
  5451c60f
Apr 03, 2009
- This is the first step to gradually remove the use of loc::SymbolVal. Now · ec7e7dfe
  Zhongxing Xu authored Apr 03, 2009
  ec7e7dfe
Mar 30, 2009
- Remove dead code. · 3cd88e5d
  Ted Kremenek authored Mar 30, 2009
  3cd88e5d
Mar 26, 2009
- analyzer infrastructure: make a bunch of changes to symbolic expressions that · 3e31c26f
  Ted Kremenek authored Mar 26, 2009
  3e31c26f
Mar 25, 2009
- This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for · 24e7eade
  Zhongxing Xu authored Mar 25, 2009
  24e7eade
Mar 20, 2009
- GRExprEngine: · 6b31533a
  Ted Kremenek authored Mar 20, 2009
  6b31533a
Mar 18, 2009
- Fix crash reported in <rdar://problem/6695527 >. We now have · b36e01d8
  Ted Kremenek authored Mar 18, 2009
  b36e01d8
Mar 10, 2009
- Remove some now-unneeded calls to llvm::errs().flush(). · 4095d895
  Daniel Dunbar authored Mar 10, 2009
  4095d895
Mar 03, 2009
- Rework use of loc::SymbolVal in the retain/release checker to use the new method · c9747dd6
  Ted Kremenek authored Mar 03, 2009
  c9747dd6
- Fix case where we should use dyn_cast instead of cast. · e3852bd2
  Ted Kremenek authored Mar 03, 2009
  e3852bd2
Jan 30, 2009
- Fix a couple bugs: · 7594e2a5
  Ted Kremenek authored Jan 30, 2009
  7594e2a5
Jan 22, 2009
- Static analyzer: Remove a bunch of outdated SymbolData objects and · 74040833
  Ted Kremenek authored Jan 22, 2009
  74040833
Dec 20, 2008
- Lazy bingding for region-store manager. · af7415ff
  Zhongxing Xu authored Dec 20, 2008
  af7415ff
Dec 09, 2008
- Add utility method. Remove an unused method. · 2e8123e5
  Zhongxing Xu authored Dec 09, 2008
  2e8123e5
Dec 05, 2008
- Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... · d8242f19
  Ted Kremenek authored Dec 05, 2008
  d8242f19
Nov 24, 2008
- Add utility methods. · 1dffa8cd
  Zhongxing Xu authored Nov 24, 2008
  1dffa8cd
- Add getSize() support for StringRegion. · a61731dd
  Zhongxing Xu authored Nov 24, 2008
  a61731dd
Nov 22, 2008
- Initial support for checking out of bound memory access. Only support · 4d45b34a
  Zhongxing Xu authored Nov 22, 2008
  4d45b34a
Nov 19, 2008
- Add SymbolData for array elements and struct fields. · b8e54884
  Zhongxing Xu authored Nov 19, 2008
  b8e54884
Nov 15, 2008
- Flush llvm::errs() when printing out SVals. · 7eee049e
  Ted Kremenek authored Nov 15, 2008
  7eee049e
Oct 30, 2008
- Pretty-printing for SVals now mainly uses llvm::raw_ostream. We have an... · e40b6989
  Ted Kremenek authored Oct 30, 2008
  e40b6989