Commits · 2d084d07c877678a45fb3bdb2fe7b3b80d4b35f3 · Lorenzo Albano / LLVM bpEVL · GitLab

Sep 30, 2010
- Added two new command line arguments: · 99a9040a
  Marcin Swiderski authored Sep 30, 2010
  99a9040a
- Change CheckerVisitor so that [Pre,Post]VisitCallExpr only handles CallExprs... · e18dd0a8
  Ted Kremenek authored Sep 30, 2010
  e18dd0a8
Sep 23, 2010
- Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like... · fd5856ad
  Ted Kremenek authored Sep 23, 2010
  fd5856ad
Sep 16, 2010
- Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the... · 58191966
  Tom Care authored Sep 16, 2010
  58191966
- Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch · 2cd7a78c
  Zhongxing Xu authored Sep 16, 2010
  2cd7a78c
Sep 15, 2010
- Disallow the use of UnknownVal as the index for ElementRegions. UnknownVals can be used as · c4deb923
  Ted Kremenek authored Sep 15, 2010
  c4deb923
Sep 14, 2010
- Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect... · c88ed956
  Tom Care authored Sep 14, 2010
  c88ed956
Sep 10, 2010
- Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). · ed12f1b9
  Ted Kremenek authored Sep 10, 2010
  ed12f1b9
- Added AnalyzerStatsChecker, a path sensitive check that reports visitation... · 4545b2df
  Tom Care authored Sep 10, 2010
  4545b2df
Sep 09, 2010
- Use FindReportInEquivalenceClass to identify all the nodes used for the... · ff3a4ff6
  Ted Kremenek authored Sep 09, 2010
  ff3a4ff6
- Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). · 5f256da8
  Ted Kremenek authored Sep 09, 2010
  5f256da8
- Static analyzer fix: <rdar://problem/5880430 > Switch on enum should not... · 8f0e834c
  Ted Kremenek authored Sep 09, 2010
  8f0e834c
Sep 03, 2010
- Add optional record of "location" SVals in the environment. When we analyzing... · 5b24adda
  Ted Kremenek authored Sep 03, 2010
  5b24adda
- Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol... · db4c128f
  Ted Kremenek authored Sep 03, 2010
  db4c128f
- Reapply 112850 and 112839 with a constructor for the BinaryOperatorData... · 796ed504
  Tom Care authored Sep 02, 2010
  796ed504
Sep 02, 2010
- Reverting 112850 and 112839 due to test failures on some systems · 9fbfeea0
  Tom Care authored Sep 02, 2010
  9fbfeea0
- Improved error reporting in IdempotentOperationChecker · 1ce2faca
  Tom Care authored Sep 02, 2010
  1ce2faca
- For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE.... · 07343c02
  Ted Kremenek authored Sep 02, 2010
  07343c02
Aug 27, 2010
- Fix horrible GRExprEngine bug where switch statements with no 'case:'... · 036223bd
  Ted Kremenek authored Aug 26, 2010
  036223bd
Aug 18, 2010
- TypedRegion::isBoundable() should return true by default. Since there is no... · e890042c
  Ted Kremenek authored Aug 17, 2010
  e890042c
Aug 16, 2010
- Move GRState::AssumeInBound out of its header file -- it's not really inline-friendly anymore. · 4a57ec86
  Jordy Rose authored Aug 16, 2010
  4a57ec86
- - Allow making ElementRegions with complex offsets (expressions or symbols)... · df28e8ec
  Jordy Rose authored Aug 16, 2010
  df28e8ec
- Move GRState's bind* methods out of its header file -- they're too big for inlining now. · d2b777a4
  Jordy Rose authored Aug 15, 2010
  d2b777a4
Aug 15, 2010
- StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now. · ee770d40
  Zhongxing Xu authored Aug 15, 2010
  ee770d40
Aug 14, 2010
- Add a callback for when region changes occur. Still somewhat of a... · ac0ab20e
  Jordy Rose authored Aug 14, 2010
  ac0ab20e
- Add a new metadata symbol type for checkers to use. Metadata symbols must be... · 7fa9bf05
  Jordy Rose authored Aug 14, 2010
  7fa9bf05
Aug 13, 2010
- Improved IdempotentOperationChecker false positives and false negatives. · f8a9863d
  Tom Care authored Aug 12, 2010
  f8a9863d
Aug 11, 2010
- MemRegion can refer to ASTContext without external help. · 8de0a3d8
  Zhongxing Xu authored Aug 11, 2010
  8de0a3d8
- Have GRCoreEngine record the blocks where analysis was aborted because we... · 2b4adffa
  Ted Kremenek authored Aug 11, 2010
  2b4adffa
Aug 04, 2010
- Change the checker callback cache in GRExprEngine to be more compact (and IMHO... · c36df4d0
  Jordy Rose authored Aug 04, 2010
  c36df4d0
Aug 03, 2010
- Remove DoneEvaluating field (unused since r90296) · 6e6f6e2c
  Jordy Rose authored Aug 03, 2010
  6e6f6e2c
- Makes GRState::makeWithStore private, to encourage clients to make store... · ddec0926
  Jordy Rose authored Aug 03, 2010
  ddec0926
- Allow offsets to be negative. Out-of-bound cases are checked elsewhere. We · 42b8c30d
  Zhongxing Xu authored Aug 03, 2010
  42b8c30d
- Pull the region offset computation logic into a single method. · 83734e46
  Zhongxing Xu authored Aug 03, 2010
  83734e46
- Changed GRExprEngine to pass down a reference to itself when checkers are... · 44081fbc
  Tom Care authored Aug 03, 2010
  44081fbc
- Add -cc1 option '-unoptimized-cfg' to toggle using a CFG (for static analysis)... · 4a2b2379
  Ted Kremenek authored Aug 03, 2010
  4a2b2379
Aug 02, 2010
- You actually have to include a header in order to use a symbol, it's so 90s.. · cd948c1d
  Argyrios Kyrtzidis authored Aug 02, 2010
  cd948c1d
- Use llvm_unreachable. · ea247181
  Argyrios Kyrtzidis authored Aug 02, 2010
  ea247181
- Shut up warnings in Release build. · d46687f2
  Argyrios Kyrtzidis authored Aug 02, 2010
  d46687f2
- Improve flat store: MemRegion::getAsOffset() computes a region's offset within · fd91d276
  Zhongxing Xu authored Aug 02, 2010
  fd91d276