Commits · 8204911e1d69ecf19a9455048a5007c24c9a7151 · Lorenzo Albano / LLVM bpEVL · GitLab

Jan 22, 2010
- Process cast according to the cast kind. Prepare for more specific cast · a1293a67
  Zhongxing Xu authored Jan 22, 2010
  a1293a67
Jan 21, 2010
- Improve unreachable code warnings with respect to dead binary and · cc3a853d
  Mike Stump authored Jan 21, 2010
  cc3a853d
- Speed up compilation by avoiding generating exceptional edges from · 04c6851c
  Mike Stump authored Jan 21, 2010
  04c6851c
- Add infrastructure to add base initializers and member initializers to · 6bf1c08e
  Mike Stump authored Jan 21, 2010
  6bf1c08e
Jan 20, 2010
- Correct comments. · eb76a85a
  Zhongxing Xu authored Jan 20, 2010
  eb76a85a
- Wire up the EH context for the catch clauses to the outer EH context. WIP. · 845384a9
  Mike Stump authored Jan 20, 2010
  845384a9
- Add an exceptional edge from the try terminated block to the outer EH · 0bdba6cd
  Mike Stump authored Jan 20, 2010
  0bdba6cd
Jan 19, 2010
- Add CFG support for the start and end of scopes and infrastructure for · 92244b00
  Mike Stump authored Jan 19, 2010
  92244b00
- Tighten code and rework indentation of some if() branches (for readability). ... · 60983dc3
  Ted Kremenek authored Jan 19, 2010
  60983dc3
- Remove extra space in uses of 'assert()'. · 1362b8bb
  Ted Kremenek authored Jan 19, 2010
  1362b8bb
- Re-alphabetize cases in switch statement. · b27378c8
  Ted Kremenek authored Jan 19, 2010
  b27378c8
- Fix a serious bug: Tmp3 is the wrong destination set. We should create a new · cd17954d
  Zhongxing Xu authored Jan 19, 2010
  cd17954d
- Add try/catch CFG support. Also improve throw CFG support. WIP. · bbf5ba66
  Mike Stump authored Jan 19, 2010
  bbf5ba66
Jan 18, 2010
- Add support for computing size in elements for symbolic regions obtained from · 228b0d4d
  Zhongxing Xu authored Jan 18, 2010
  228b0d4d
- If the symbol has not been tracked, do not free it. This is possible when free · e2bdb9a6
  Zhongxing Xu authored Jan 18, 2010
  e2bdb9a6
Jan 15, 2010
- Don't suggest the developer use 'arc4random' instead of 'rand' when that... · abf6ba16
  Ted Kremenek authored Jan 15, 2010
  abf6ba16
- Teach BugReporter to "escape" the occurance of '%' characters in diagnostic... · d74cc397
  Ted Kremenek authored Jan 15, 2010
  d74cc397
- Convert a few more uses of std::string& to llvm::StringRef. · 959990b8
  Ted Kremenek authored Jan 15, 2010
  959990b8
Jan 14, 2010
- Fix pr6035. · 803ade25
  Zhongxing Xu authored Jan 14, 2010
  803ade25
Jan 13, 2010
- Add an unreachable code checker. · 1bacb81d
  Mike Stump authored Jan 13, 2010
  1bacb81d
Jan 11, 2010
- Fix pasto. · 37808310
  Benjamin Kramer authored Jan 11, 2010
  37808310
- Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase). · 0129bd74
  Benjamin Kramer authored Jan 11, 2010
  0129bd74
- Roll out ASTContext::getTypeSizeInChars(), replacing instances of · 40775003
  Ken Dyck authored Jan 11, 2010
  40775003
- Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes. · e47550e4
  Zhongxing Xu authored Jan 11, 2010
  e47550e4
- Enhance SVals::getAsRegion: get the region that is converted to an integer. · cbbf8554
  Zhongxing Xu authored Jan 11, 2010
  cbbf8554
- Switch RegionStore over to using <BaseRegion+raw offset> to store · be909b5e
  Ted Kremenek authored Jan 11, 2010
  be909b5e
- Preliminary reworking of value-binding logic in RegionStore: · 8e994a28
  Ted Kremenek authored Jan 11, 2010
  8e994a28
Jan 09, 2010
- Fix overzealous assertion in GRExprEngine::VisitLValue(). A · c6aa800e
  Ted Kremenek authored Jan 09, 2010
  c6aa800e
- Fix broken diagnostic when returning the address of a stack-allocated array. · 9aa01441
  Ted Kremenek authored Jan 09, 2010
  9aa01441
- When binding an rvalue to a reference, create a temporary object. Use · f1eeb78f
  Zhongxing Xu authored Jan 09, 2010
  f1eeb78f
Jan 08, 2010
- Fix handling in GRExprEngine of 'default' branch in switch statements · b92304b4
  Ted Kremenek authored Jan 08, 2010
  b92304b4
Jan 05, 2010
- Revert r92318. Instead fix the analyzer: do not call · 662ba69a
  Zhongxing Xu authored Jan 05, 2010
  662ba69a
- Make static analysis support for C++ 'this' expression context-sensitive. ... · acd71a45
  Ted Kremenek authored Jan 05, 2010
  acd71a45
- Remove references to 'Checker' and 'GRTransferFuncs' from · de8e7447
  Ted Kremenek authored Jan 05, 2010
  de8e7447
Dec 31, 2009
- Let constraint manager inform checkers that some assumption logic has happend. · b0e15df3
  Zhongxing Xu authored Dec 31, 2009
  b0e15df3
Dec 30, 2009
- Simplify code by using an equivalent template class. · 7b8b4d70
  Zhongxing Xu authored Dec 30, 2009
  7b8b4d70
Dec 25, 2009
- Remove some dead variables clang-analyzer found. · d20ef75b
  Benjamin Kramer authored Dec 25, 2009
  d20ef75b
- Fix typo spotted by MSVC. · a713b5d9
  Benjamin Kramer authored Dec 25, 2009
  a713b5d9
Dec 24, 2009
- As Ted suggested, record the callsite information with the StackFrameContext. · 51f1ca85
  Zhongxing Xu authored Dec 24, 2009
  51f1ca85
- Enhance dataflow analyses to recognize branch statements in the CFG used as... · 9c951ab4
  Ted Kremenek authored Dec 24, 2009
  9c951ab4