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

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

Jun 27, 2010
- Allow '__extension__' to be analyzed in a lvalue context. · f00eac5c
  Ted Kremenek authored Jun 26, 2010
  f00eac5c
Jun 26, 2010
- Relax assertion since non-pod C++ classes are not aggregates, but still can appear in this context. · 58f61ec1
  Ted Kremenek authored Jun 25, 2010
  58f61ec1
- When a constant size array is casted to another type, its length should be scaled as well. · c3bcc36a
  Jordy Rose authored Jun 25, 2010
  c3bcc36a
Jun 25, 2010
- Add "checker caching" to GRExprEngine::CheckerVisit to progressively build · fe97a1ac
  Ted Kremenek authored Jun 25, 2010
  fe97a1ac
- Fix -analyze-display-progress (once again), this time with an additional regression test. · 76abf19e
  Ted Kremenek authored Jun 25, 2010
  76abf19e
- Change RegionStoreManager::Retrieve to infer the type of a symbolic region... · 375387d1
  Tom Care authored Jun 25, 2010
  375387d1
Jun 24, 2010
- Return null pointer instead of 'false' (fixes clang warning). · 87f475a3
  Ted Kremenek authored Jun 24, 2010
  87f475a3
- Add check for illegal whence argument of fseek. · facf8a8e
  Zhongxing Xu authored Jun 24, 2010
  facf8a8e
- Should return stateNotNull. · a7e5dd6c
  Zhongxing Xu authored Jun 24, 2010
  a7e5dd6c
- Let StreamChecker::CheckNullStream() return a GRState after successful check. · ae45144d
  Zhongxing Xu authored Jun 24, 2010
  ae45144d
- Add 'VisitEndAnalysis' callback to Checker class. This callback is called by GRExprEngine · 574f3046
  Ted Kremenek authored Jun 23, 2010
  574f3046
Jun 23, 2010
- add comments. · 2213aa36
  Zhongxing Xu authored Jun 23, 2010
  2213aa36
- add comments. · 93cef866
  Zhongxing Xu authored Jun 23, 2010
  93cef866
- Correctly construct an ElementRegion for alloca() + pointer arithmetic. Fixes analyzer · 2a33a0de
  Ted Kremenek authored Jun 22, 2010
  2a33a0de
- Type Type::isRealFloatingType() that vectors are not floating-point · 49b4d734
  Douglas Gregor authored Jun 22, 2010
  49b4d734
Jun 22, 2010
- Don't assert on C++ casts that are currently not handled by the static analyzer. · 55081f93
  Ted Kremenek authored Jun 22, 2010
  55081f93
- Add a bunch of stream APIs to SteamChecker. · 45057479
  Zhongxing Xu authored Jun 22, 2010
  45057479
Jun 21, 2010
- When folding additive operations, convert the values to the same type. When... · 79404afc
  Jordy Rose authored Jun 21, 2010
  79404afc
- If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). · 3d85888d
  Jordy Rose authored Jun 21, 2010
  3d85888d
Jun 20, 2010
- Add braces to avoid an ambiguous else, fixing a GCC warning. · 22a544bc
  Benjamin Kramer authored Jun 20, 2010
  22a544bc
- Adds analyzer support for idempotent and tautological binary operations such... · 895c8991
  Jordy Rose authored Jun 20, 2010
  895c8991
- Casting to void* or any other pointer-to-sizeless type (e.g. function... · 2dd9b02c
  Jordy Rose authored Jun 20, 2010
  2dd9b02c
Jun 19, 2010
- Fold additive constants, and support comparsions of the form $sym+const1 <> const2 · c0fe8429
  Jordy Rose authored Jun 18, 2010
  c0fe8429
- introduce a new CharSourceRange class, and enhance the diagnostics routines · ed8b6b79
  Chris Lattner authored Jun 18, 2010
  ed8b6b79
Jun 18, 2010
- Add null stream check for more APIs. · e96a9132
  Zhongxing Xu authored Jun 18, 2010
  e96a9132
Jun 17, 2010
- Tweak stack address checker to report multiple cases where globals may reference stack memory. · 5df037e8
  Ted Kremenek authored Jun 17, 2010
  5df037e8
- Update CMake build for new attribute changes. · c675ec09
  Alexis Hunt authored Jun 17, 2010
  c675ec09
- Rework StackAddrLeakChecker to find stores of stack memory addresses to global variables · 17504bea
  Ted Kremenek authored Jun 17, 2010
  17504bea
- Implement RegionStoreManager::iterBindings(). This implementation only returns the base region in · 648ef7a2
  Ted Kremenek authored Jun 17, 2010
  648ef7a2
- Correctly return early from BasicStoreManager::iterBindings() when the... · 70c09082
  Ted Kremenek authored Jun 17, 2010
  70c09082
Jun 16, 2010
- We return Loc where we know. · abd60dd1
  Zhongxing Xu authored Jun 16, 2010
  abd60dd1
- Typo. · 7880db8a
  Zhongxing Xu authored Jun 16, 2010
  7880db8a
- Although arguments can not be undefined when we get here, they can still be · b4126ee1
  Zhongxing Xu authored Jun 16, 2010
  b4126ee1
- Cast earlier. We know we can get a DefinedSVal. · 9fe7e912
  Zhongxing Xu authored Jun 16, 2010
  9fe7e912
- Register CallAndMessageChecker before AttrNonNullChecker. Then we can assume · 8225bda0
  Zhongxing Xu authored Jun 16, 2010
  8225bda0
- Add StreamChecker. This checker models and checks stream manipulation functions. · 0fa7cddb
  Zhongxing Xu authored Jun 16, 2010
  0fa7cddb
- Introduce Type::isIntegralOrEnumerationType(), to cover those places · b90df60b
  Douglas Gregor authored Jun 16, 2010
  b90df60b
Jun 15, 2010
- Break Frontend's dependency on Rewrite, Checker and CodeGen in shared library configuration · c1b1729b
  Daniel Dunbar authored Jun 15, 2010
  c1b1729b
Jun 09, 2010
- Remove an entry for a now deleted file. Fixes the neglected CMake build. ;] · b52b9100
  Chandler Carruth authored Jun 09, 2010
  b52b9100
- Merge StackAddrLeakChecker and ReturnStackAddressChecker. · 1225aaca
  Zhongxing Xu authored Jun 09, 2010
  1225aaca