Commits · 1734737d9f9ebeb7938a1c66be75374da63cabcd · Lorenzo Albano / LLVM bpEVL · GitLab

Jun 10, 2011
- [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level... · 1734737d
  Jordy Rose authored Jun 10, 2011
  1734737d
Jun 09, 2011
- [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. · ab8a6688
  Jordy Rose authored Jun 08, 2011
  ab8a6688
Jun 04, 2011
- [analyzer] Change an indent-if to an early return. No functionality change. · fb5e8c28
  Jordy Rose authored Jun 04, 2011
  fb5e8c28
- [analyzer] Don't crash when copying an unknown number of bytes with memcpy().... · 097c5397
  Jordy Rose authored Jun 04, 2011
  097c5397
- [analyzer] Remove extra assignment that actually lost a few of the assumptions. · 64ae92e5
  Jordy Rose authored Jun 04, 2011
  64ae92e5
- Add support for builtin astype: · 55808c10
  Tanya Lattner authored Jun 04, 2011
  55808c10
- [analyzer] Fix comment for (still-disabled) evalStrncpy · 4451cd45
  Jordy Rose authored Jun 04, 2011
  4451cd45
- [analyzer] Fix handling of "copy zero bytes" for memcpy and friends. · 63b84be6
  Jordy Rose authored Jun 04, 2011
  63b84be6
- [analyzer] __mempcpy_chk is the same as mempcpy (at least to CStringChecker) · aee7fb9e
  Jordy Rose authored Jun 03, 2011
  aee7fb9e
May 26, 2011
- Tighen analyzer diagnostics w.r.t ObjC/CF leaks. · f230198f
  Ted Kremenek authored May 26, 2011
  f230198f
- static analyzer: when conservatively evaluating functions, don't invalidate... · 4c5d2888
  Ted Kremenek authored May 25, 2011
  4c5d2888
May 25, 2011
- Teach analyzer about cf_returns_not_retained for C functions. · 86d49ce2
  Ted Kremenek authored May 25, 2011
  86d49ce2
- Enhance retain/release checker to flag warnings when functions returning CG... · 8e2c9b01
  Ted Kremenek authored May 25, 2011
  8e2c9b01
May 21, 2011
- A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups. · 61b6e49e
  Douglas Gregor authored May 21, 2011
  61b6e49e
- Fix regression in static analyzer's handling of prefix '--' operator. It was... · 109b127e
  Ted Kremenek authored May 20, 2011
  109b127e
May 20, 2011
- Introduce Type::isSignedIntegerOrEnumerationType() and · 6ab2fa8f
  Douglas Gregor authored May 20, 2011
  6ab2fa8f
- Teach RegionStore not to symbolic array values whose indices it cannot reason about. · f377cb82
  Ted Kremenek authored May 19, 2011
  f377cb82
May 19, 2011
- Teach static analyzer to analyze Objective-C methods in category implementations. · 5f06955a
  Ted Kremenek authored May 19, 2011
  5f06955a
May 06, 2011
- Modify some deleted function methods to better reflect reality: · 4a8ea109
  Alexis Hunt authored May 06, 2011
  4a8ea109
May 05, 2011
- Add Checker callback for running a checker at the end of processing an entire... · e69ab05f
  Ted Kremenek authored May 05, 2011
  e69ab05f
May 03, 2011
- Removing strncpy() checking in CString checker for now. Some significant... · 5066858b
  Lenny Maiorani authored May 03, 2011
  5066858b
May 02, 2011
- Tweak the retain/release checker to not stop tracking retained objects when... · e9f364f6
  Ted Kremenek authored May 02, 2011
  e9f364f6
- Augment retain/release checker to not warn about tracked objects passed as... · aa181174
  Ted Kremenek authored May 02, 2011
  aa181174
- Implements strncasecmp() checker and simplifies some of the logic around... · 0b510279
  Lenny Maiorani authored May 02, 2011
  0b510279
Apr 30, 2011
- Move the SelfInit checker to the 'cocoa.experimental' package. · 80677465
  Ted Kremenek authored Apr 30, 2011
  80677465
Apr 28, 2011
- Use StringRef::substr() and unbounded StringRef::compare() instead of bounded... · 18470e32
  Lenny Maiorani authored Apr 28, 2011
  18470e32
- Eliminates an assert in the strncpy/strncat checker caused by not validating a... · ed2cc6cc
  Lenny Maiorani authored Apr 28, 2011
  ed2cc6cc
- 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