Commits · 4af23c81592ce67b1aecde8e58ab1c49a04b3307 · Roger Ferrer / llvm-epi-0.8 · GitLab

This project is archived. Its data is read-only.

Apr 28, 2011
- Implements strcasecmp() checker in Static Analyzer. · 4af23c81
  Lenny Maiorani authored Apr 28, 2011
  4af23c81
- Parsing/AST support for Structured Exception Handling · 1c0675e1
  John Wiegley authored Apr 28, 2011
  1c0675e1
- Implementation of Embarcadero array type traits · 6242b6a6
  John Wiegley authored Apr 28, 2011
  6242b6a6
Apr 27, 2011
- More accurately model realloc() when the size argument is 0. realloc() with a... · 005b5c1a
  Lenny Maiorani authored Apr 27, 2011
  005b5c1a
- Allow 'Environment::getSVal()' to allow an optional way for checkers to do a... · 08b434f4
  Ted Kremenek authored Apr 27, 2011
  08b434f4
Apr 26, 2011
- Implements the strncmp() checker just like the strcmp() checker, but with... · e553e404
  Lenny Maiorani authored Apr 25, 2011
  e553e404
Apr 25, 2011
- t/clang/expr-traits · f9f6584e
  John Wiegley authored Apr 25, 2011
  f9f6584e
Apr 23, 2011
- Remove unused STL header includes. · 1a180156
  Jay Foad authored Apr 23, 2011
  1a180156
Apr 22, 2011
- Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. · 11e5c8b3
  Ted Kremenek authored Apr 22, 2011
  11e5c8b3
Apr 19, 2011
- Make the VariadicMethodTypeChecker accept block pointers as Objective-C pointers. Fixes PR9746. · d1f65f61
  Anders Carlsson authored Apr 19, 2011
  d1f65f61
Apr 15, 2011
- Support for C++11 (non-template) alias declarations. · dda56e4b
  Richard Smith authored Apr 15, 2011
  dda56e4b
- fix a bunch of comment typos found by codespell. Patch by · 57540c5b
  Chris Lattner authored Apr 15, 2011
  57540c5b
- C1X: implement generic selections · 91147596
  Peter Collingbourne authored Apr 15, 2011
  91147596
- Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). · 02e85f3b
  Richard Smith authored Apr 14, 2011
  02e85f3b
Apr 12, 2011
- Teach VariadicMethodTypeChecker to not crash when processing methods declared in protocols. · ced5feae
  Ted Kremenek authored Apr 12, 2011
  ced5feae
- Fix another IdempotentOperationsChecker corner case when determining if an... · 905a602e
  Ted Kremenek authored Apr 12, 2011
  905a602e
- ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index... · 8a4c760c
  Ted Kremenek authored Apr 12, 2011
  8a4c760c
- This patch adds modeling of strcmp() to the CString checker. Validates inputs... · f3539ad5
  Lenny Maiorani authored Apr 12, 2011
  f3539ad5
- static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. · f5271889
  Ted Kremenek authored Apr 12, 2011
  f5271889
- Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like... · 57a4a152
  Ted Kremenek authored Apr 12, 2011
  57a4a152
- RegionStoreManager::invalidateRegions: treat classes the same as structs. · 4f939da0
  Ted Kremenek authored Apr 12, 2011
  4f939da0
- After some discussion with Doug, we decided that it made a lot more sense · 2979fe01
  John McCall authored Apr 12, 2011
  2979fe01
- C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. · 8ef59e5c
  Ted Kremenek authored Apr 11, 2011
  8ef59e5c
Apr 11, 2011
- More __unknown_anytype work. · 2d2e8707
  John McCall authored Apr 11, 2011
  2d2e8707
- Remove CK_DynamicToNull. · 8a01a751
  Anders Carlsson authored Apr 11, 2011
  8a01a751
Apr 10, 2011
- As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which · c6020066
  Anders Carlsson authored Apr 10, 2011
  c6020066
Apr 09, 2011
- strcat() and strncat() model additions to CStringChecker. · 467dbd5f
  Lenny Maiorani authored Apr 09, 2011
  467dbd5f
- Start overhauling static analyzer support for C++ constructors. The inlining... · f603f3af
  Ted Kremenek authored Apr 08, 2011
  f603f3af
Apr 07, 2011
- Basic, untested implementation for an "unknown any" type requested by LLDB. · 31996343
  John McCall authored Apr 07, 2011
  31996343
Apr 06, 2011
- When updating the retain summary based on {cf,ns}_consumed attributes, · 3337ca5f
  John McCall authored Apr 06, 2011
  3337ca5f
Apr 05, 2011
- Add security syntax checker for strcat() which causes the Static Analyzer to... · de909e49
  Lenny Maiorani authored Apr 05, 2011
  de909e49
- Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with... · 37881934
  Ted Kremenek authored Apr 04, 2011
  37881934
Apr 03, 2011
- Refactoring the security checker a little bit so that each CallExpr check... · fca2e961
  Lenny Maiorani authored Apr 03, 2011
  fca2e961
- static analyzer: Add a new ProgramPoint PostCondition to represent the post... · a9559441
  Ted Kremenek authored Apr 03, 2011
  a9559441
- Fix RegionStore bug when doing a field load whose parent is also a field... · 850d35be
  Ted Kremenek authored Apr 03, 2011
  850d35be
Apr 02, 2011
- Remove a redundant method. We have a const version. · af2371e3
  Zhongxing Xu authored Apr 02, 2011
  af2371e3
- Teach IdempotentOperationsChecker about paths aborted because ExprEngine... · 8f89f7c8
  Ted Kremenek authored Apr 02, 2011
  8f89f7c8
- static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that a... · c703a666
  Ted Kremenek authored Apr 02, 2011
  c703a666
Apr 01, 2011
- Add security syntax checker for strcpy() which causes the Static Analyzer to... · 6ffe738f
  Lenny Maiorani authored Mar 31, 2011
  6ffe738f
Mar 31, 2011
- Adding Static Analyzer checker for mempcpy(). · 79d74141
  Lenny Maiorani authored Mar 31, 2011
  79d74141