Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 6a61922239de8018239eef23328dba457874064c / clang / lib / StaticAnalyzer / Checkers / MacOSKeychainAPIChecker.cpp
  1. 6a61922 [analyzer] Improved checker naming in CFG dump. by Anton Yartsev · 12 years ago
  2. 4aca9b1 Expose the name of the checker producing each diagnostic message. by Alexander Kornienko · 12 years ago
  3. 8ef07e5 [analyzer] Rename “Mac OS X API”, “Mac OS API” -> “API Misuse (Apple)” by Anna Zaks · 13 years ago
  4. 87396b9 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  5. 05785d1 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 13 years ago
  6. 2fdacbc Replace SVal llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  7. f857950 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 13 years ago
  8. a043d0c [analyzer] Include the bug uniqueing location in the issue_hash. by Anna Zaks · 13 years ago
  9. 030e65d [analyzer] Fix a false positive in Secure Keychain API checker. by Anna Zaks · 13 years ago
  10. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  11. 444a130 Include pruning and general cleanup. by Benjamin Kramer · 13 years ago
  12. 7489ba5 [analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath. by Jordan Rose · 13 years ago
  13. 0c153cb [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list). by Jordan Rose · 13 years ago
  14. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  15. 14fe9f3 [analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue. by Jordan Rose · 13 years ago
  16. 33b5baf Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. See: http://en.wikipedia.org/wiki/If_and_only_if Commit 164766 by Sylvestre Ledru · 13 years ago
  17. a876013 Fix a typo 'iff' => 'if' by Sylvestre Ledru · 13 years ago
  18. 244e1d7 Remove ProgramState::getSymVal(). It was being misused by Checkers, by Ted Kremenek · 13 years ago
  19. 6cd16c5 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 13 years ago
  20. fbe6dba [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints by Jordan Rose · 13 years ago
  21. f78877e [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. by Jordy Rose · 14 years ago
  22. f80b2cc [analyzer] Replace a static helper with existing logic. No functionality change. by Jordy Rose · 14 years ago
  23. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  24. 6ca4fd5 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 14 years ago
  25. 4b062cb [analyzer] KeyChainAPI: unique the leaks by allocation site. by Anna Zaks · 14 years ago
  26. 19a6667 [analyzer] Make KeyChainAPI checker inlining-aware. by Anna Zaks · 14 years ago
  27. 2c1dd27 Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  28. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  29. 4903802 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  30. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  31. 95f3321 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 14 years ago
  32. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  33. 719051e [analyzer] Make KeychainAPI checker less aggressive. radar://10508828 by Anna Zaks · 14 years ago
  34. c6aa531 [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 14 years ago
  35. 3888aa4 [analyzer] Factor getCalleeName to the checker context. by Anna Zaks · 14 years ago
  36. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  37. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  38. 3eae334 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 14 years ago
  39. 3a769bd [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 14 years ago
  40. 50dd696 [analyzer] MacOSKeychainAPIChecker: Simplify getSymbolForRegion by using existing API. Thanks Jordy. by Anna Zaks · 14 years ago
  41. 814adf7 Fix: Bug 10798 - [analyzer] Crash when analyzing ICU. (A slight improvement on the previous commit.) by Anna Zaks · 14 years ago
  42. cda129e Fix bug 10797: Crash: "cast<Ty>() argument of incompatible type!" assert when analyzing ICU. by Anna Zaks · 14 years ago
  43. 5be8a4d [analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure. by Anna Zaks · 14 years ago
  44. 85913db [analyzer] MacOSKeychainAPIChecker: Add the custom BugReport visitor(which highlights the allocation site) to all the relevant reports within the checker. by Anna Zaks · 14 years ago
  45. f880cff [analyzer] Do not use references in std::pair. by Anna Zaks · 14 years ago
  46. 0d67579 [analyzer] Unbreak the release buildbot. by Anna Zaks · 14 years ago
  47. be46089 [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. by Anna Zaks · 14 years ago
  48. 0897a23 [analyzer] MacOSKeychainAPIChecker: Add reasoning about functions which MIGHT deallocate the memory region allocated with SecKeychain APIs. Specifically, when the buffer is passed to CFStringCreateWithBytesNoCopy along with a custom deallocator, which might potentially correctly release the memory. by Anna Zaks · 14 years ago
  49. f9e9c4e [analyzer] MacOSKeychainAPIChecker: Retrieve the memory region which we are tracking even when it's no longer a SymbolicRegion, for example, when it is cast to char*. by Anna Zaks · 14 years ago
  50. bb16701 Move creation of the deallocation mismatch report into a separate function for future reuse. by Anna Zaks · 14 years ago
  51. bd7972b [analyzer] MacOSKeychainAPIChecker: Users of KeyChain API often use free() to deallocate the password. Catch this error explicitly and generate the error message at the place where free() is called. by Anna Zaks · 14 years ago
  52. 3a6bdf8 Remove EnhancedBugReport and RangedBugReport - pull all the extra functionality they provided into their parent BugReport. The only functional changes are: made getRanges() non const - it adds default range to Ranges if none are supplied, made getStmt() private, which was another FIXME. by Anna Zaks · 14 years ago
  53. 01ae1e1 MacOSKeychainAPIChecker: Do not report double allocation if first allocation returned an error. by Anna Zaks · 14 years ago
  54. 5443a64 MacOSKeychainAPIChecker: The security API/memory leak checker should always generate regular nodes instead of sink nodes. by Anna Zaks · 14 years ago
  55. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  56. 29f9b7a MacOSKeychainAPIChecker: Use llvm::SmallString instead of std::string (as per code review for r137523). by Anna Zaks · 14 years ago
  57. 59d741f MacOSKeychainAPIChecker: If the allocated data address entered as an enclosing function parameter, skip it to avoid false positives. by Anna Zaks · 14 years ago
  58. fdd0aca MacOSKeychainAPIChecker: by Anna Zaks · 14 years ago
  59. c94894f MacOSKeychainAPIChecker: There is no need to use SymbolMetadata to represent the allocated data symbol, we can just use the symbol corresponding to the SymbolicRegion. This simplifies tracking of the symbol, for example, SymbolMetadata needs to go through extra hoops to stay alive. by Anna Zaks · 14 years ago
  60. 177ecfa KeychainAPI checker: Track SymbolMetadata instead of MemRegion in checker state so that we could clear the state on evalDeadSymbols; also track the return value. by Anna Zaks · 14 years ago
  61. c52bed1 KeychainAPI checker: Generate an error on double allocation. Pull out getAsPointeeMemoryRegion so that it could be reused. by Anna Zaks · 14 years ago
  62. c686177 KeychainAPI checker: Track additional pair of SecKeychain APIs. Also, keep exploring the transition on which a call to allocator function failed (to be able to find errors in examples like ErrorCodesFromDifferentAPISDoNotInterfere). by Anna Zaks · 14 years ago
  63. 08be9b9 KeychainAPI checker: Refactor to make it easier to add more allocator/deallocator API pairs. Add the allocator function ID to the checker state. Better comments. by Anna Zaks · 14 years ago
  64. 4aa34a53 KeychainAPI checker: refactor to use early exit. by Anna Zaks · 14 years ago
  65. 388c18e KeychainAPI checker: Add basic diagnostics. Track MemoryRegion istead of SymbolicRef since the address might not be a symbolic value in some cases, for example in fooOnlyFree() test. by Anna Zaks · 14 years ago
  66. 9ab728b KeychainAPI checker: only check the paths on which the allocator function returned noErr. (+ minor cleanup) by Anna Zaks · 14 years ago
  67. 15f496c Add a skeleton for the Keychain Services API Checker. Register it as OSX experimental for now. Note, the checker still does not handle tracking of escaped values, taking into account the return value of the allocator functions, nor the actual bug reporting.. by Anna Zaks · 14 years ago