Commits · 12259b443d82d1d95bd66d047196a17b00a2bdba · Lorenzo Albano / LLVM bpEVL · GitLab

Feb 09, 2012
- [analyzer] MallocChecker cleanup, more tests. · 12259b44
  Anna Zaks authored Feb 09, 2012
  12259b44
- [analyzer] MallocChecker: implement pessimistic version of the checker, · a1b227b6
  Anna Zaks authored Feb 08, 2012
  a1b227b6
- [analyzer] Split the MallocChecker into two versions - pessimistic and · cd37bf4e
  Anna Zaks authored Feb 08, 2012
  cd37bf4e
Feb 07, 2012
- Update test case. · 987dbdb5
  Ted Kremenek authored Feb 07, 2012
  987dbdb5
- [analyzer] Allow each CString check to be enabled/disabled · e0c7c274
  Anna Zaks authored Feb 07, 2012
  e0c7c274
- Add basic BugReporter support for CallEnter/CallExit. WIP. · a2bbac3f
  Ted Kremenek authored Feb 07, 2012
  a2bbac3f
Feb 04, 2012
- [analyzer] Make sure Containers OutOfBounds checker does not crash on... · 88598248
  Anna Zaks authored Feb 04, 2012
  88598248
- [analyzer] Turn on by default two checkers: · 8e009df9
  Anna Zaks authored Feb 04, 2012
  8e009df9
- [analyzer] fixup to the previous commit. · 922b86e7
  Anna Zaks authored Feb 04, 2012
  922b86e7
- [analyzer] Minor cleanups to the ObjCSelfInitChecker. · 00790d9a
  Anna Zaks authored Feb 04, 2012
  00790d9a
Feb 03, 2012
- [frontend] Don't allow a mapping to a warning override an error/fatal mapping. · d1956e46
  Chad Rosier authored Feb 03, 2012
  d1956e46
Feb 02, 2012
- [analyzer] Fix a false positive in the CFArrayCreate check that surfaces · 699f55b9
  Anna Zaks authored Feb 02, 2012
  699f55b9
Feb 01, 2012
- [analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++ · 7aba6368
  Anna Zaks authored Feb 01, 2012
  7aba6368
- Use the new Triple::getMacOSXVersion function in another place. · 8e5acc5c
  Bob Wilson authored Jan 31, 2012
  8e5acc5c
Jan 31, 2012
- [analyzer] Add checks for common anti-patterns in strncat. · 87b6ff09
  Anna Zaks authored Jan 31, 2012
  87b6ff09
- [analyzer] Change the warning to suggest 'strlcat/strlcpy' as · ee5e8ae8
  Anna Zaks authored Jan 31, 2012
  ee5e8ae8
Jan 30, 2012
- [analyzer] Rename the checker as per Ted's comment. Remove the reference · 58cc6cab
  Anna Zaks authored Jan 30, 2012
  58cc6cab
- [analyzer] Make osx.cocos.CFContainersSyntax a default checker. · 6523e469
  Anna Zaks authored Jan 30, 2012
  6523e469
- [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex. · 4f870e65
  Anna Zaks authored Jan 30, 2012
  4f870e65
Jan 28, 2012
- Remove the "C" in "implicitly declaring C library function" diagnostic · 400dd1c3
  Jean-Daniel Dupas authored Jan 27, 2012
  400dd1c3
Jan 26, 2012
- [analyzer] The CFContainer test should only be run on x86_64. · 60835eb1
  Anna Zaks authored Jan 26, 2012
  60835eb1
- [analyzer] Add an AST checker that checks for a common pitfall when · 06f10bf0
  Anna Zaks authored Jan 26, 2012
  06f10bf0
- Rework flushing of diagnostics to PathDiagnosticConsumer. Now all the reports... · 8e4c4266
  Ted Kremenek authored Jan 25, 2012
  8e4c4266
Jan 24, 2012
- Switch PerformImplicitConversion over to use DefaultLvalueConversion for... · 946b7b5b
  Eli Friedman authored Jan 24, 2012
  946b7b5b
- [analyzer] Add more C taint sources/sinks. · bf740512
  Anna Zaks authored Jan 24, 2012
  bf740512
Jan 21, 2012
- [analyzer] It's possible to have a non PointerType expression evaluate to a... · 97bef564
  Anna Zaks authored Jan 21, 2012
  97bef564
- [analyzer] Make VLA checker taint aware. · b7eac9fb
  Anna Zaks authored Jan 21, 2012
  b7eac9fb
Jan 20, 2012
- Tighten format string diagnostic and make it a bit clearer (and a bit closer to GCC's). · e7b9d434
  Ted Kremenek authored Jan 20, 2012
  e7b9d434
- [analyzer] Add taint awareness to DivZeroChecker. · 8298af85
  Anna Zaks authored Jan 20, 2012
  8298af85
- Reenable DeadStoresChecker under --analyze, and move the... · b9ff6b23
  Ted Kremenek authored Jan 20, 2012
  b9ff6b23
- Implement checker that looks for calls to mktemps and friends that have fewer... · 89eaf8d5
  Ted Kremenek authored Jan 20, 2012
  89eaf8d5
- Turn 'SecuritySyntaxChecker' into a "meta" security checker for insecure APIs. Now · c54dc951
  Ted Kremenek authored Jan 20, 2012
  c54dc951
- [analyzer] Add socket API as a source of taint. · 3b754b25
  Anna Zaks authored Jan 20, 2012
  3b754b25
Jan 18, 2012
- objc: deprecate direct usage of 'isa' of objc objects · 28324b00
  Fariborz Jahanian authored Jan 18, 2012
  28324b00
- [analyzer] Taint: warn when tainted data is used to specify a buffer · 560dbe9a
  Anna Zaks authored Jan 18, 2012
  560dbe9a
- [analyzer] Taint: add taint propagation rules for string and memory copy · 5d324e50
  Anna Zaks authored Jan 18, 2012
  5d324e50
Jan 14, 2012
- [analyzer] Taint: add system and popen as undesirable sinks for taint · 0244cd74
  Anna Zaks authored Jan 14, 2012
  0244cd74
Jan 13, 2012
- [analyzer] Unwrap the pointers when ignoring the const cast. · cb6d4ee7
  Anna Zaks authored Jan 13, 2012
  cb6d4ee7
- [analyzer] RegionStoreManager::getBinding() should not crash when · 62281300
  Anna Zaks authored Jan 13, 2012
  62281300
Jan 12, 2012
- Adjust set of default checkers. · 52acee87
  Ted Kremenek authored Jan 12, 2012
  52acee87