Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 526d93c55de364e5b457cbcd024f0cb7b47a6315 / clang / lib / StaticAnalyzer / Checkers / MacOSKeychainAPIChecker.cpp
  1. 8ef07e5 [analyzer] Rename “Mac OS X API”, “Mac OS API” -> “API Misuse (Apple)” by Anna Zaks · 13 years ago
  2. 87396b9 Replace ProgramPoint llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  3. 05785d1 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 13 years ago
  4. 2fdacbc Replace SVal llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  5. f857950 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 13 years ago
  6. a043d0c [analyzer] Include the bug uniqueing location in the issue_hash. by Anna Zaks · 13 years ago
  7. 030e65d [analyzer] Fix a false positive in Secure Keychain API checker. by Anna Zaks · 13 years ago
  8. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  9. 444a130 Include pruning and general cleanup. by Benjamin Kramer · 13 years ago
  10. 7489ba5 [analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath. by Jordan Rose · 13 years ago
  11. 0c153cb [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list). by Jordan Rose · 13 years ago
  12. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  13. 14fe9f3 [analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue. by Jordan Rose · 13 years ago
  14. 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
  15. a876013 Fix a typo 'iff' => 'if' by Sylvestre Ledru · 13 years ago
  16. 244e1d7 Remove ProgramState::getSymVal(). It was being misused by Checkers, by Ted Kremenek · 13 years ago
  17. 6cd16c5 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 13 years ago
  18. fbe6dba [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints by Jordan Rose · 13 years ago
  19. f78877e [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. by Jordy Rose · 14 years ago
  20. f80b2cc [analyzer] Replace a static helper with existing logic. No functionality change. by Jordy Rose · 14 years ago
  21. 1e809b4 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 14 years ago
  22. 6ca4fd5 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 14 years ago
  23. 4b062cb [analyzer] KeyChainAPI: unique the leaks by allocation site. by Anna Zaks · 14 years ago
  24. 19a6667 [analyzer] Make KeyChainAPI checker inlining-aware. by Anna Zaks · 14 years ago
  25. 2c1dd27 Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 14 years ago
  26. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  27. 4903802 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 14 years ago
  28. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  29. 95f3321 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 14 years ago
  30. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  31. 719051e [analyzer] Make KeychainAPI checker less aggressive. radar://10508828 by Anna Zaks · 14 years ago
  32. c6aa531 [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 14 years ago
  33. 3888aa4 [analyzer] Factor getCalleeName to the checker context. by Anna Zaks · 14 years ago
  34. da4c8d6 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 14 years ago
  35. b473816 [analyzer] Simplify CheckerContext by Anna Zaks · 14 years ago
  36. 3eae334 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 14 years ago
  37. 3a769bd [analyzer] Refactor: make PathDiagnosticLocation responsible for validation of SourceLocations (commit 2 of ?): by Anna Zaks · 14 years ago
  38. 50dd696 [analyzer] MacOSKeychainAPIChecker: Simplify getSymbolForRegion by using existing API. Thanks Jordy. by Anna Zaks · 14 years ago
  39. 814adf7 Fix: Bug 10798 - [analyzer] Crash when analyzing ICU. (A slight improvement on the previous commit.) by Anna Zaks · 14 years ago
  40. cda129e Fix bug 10797: Crash: "cast<Ty>() argument of incompatible type!" assert when analyzing ICU. by Anna Zaks · 14 years ago
  41. 5be8a4d [analyzer] MacOSKeychainAPIChecker: Cleanup AllocationState structure. by Anna Zaks · 14 years ago
  42. 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
  43. f880cff [analyzer] Do not use references in std::pair. by Anna Zaks · 14 years ago
  44. 0d67579 [analyzer] Unbreak the release buildbot. by Anna Zaks · 14 years ago
  45. be46089 [analyzer] MacOSKeychainAPIChecker: Provide reacher diagnostic trace by pointing to the allocation site when reporting a leak. by Anna Zaks · 14 years ago
  46. 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
  47. 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
  48. bb16701 Move creation of the deallocation mismatch report into a separate function for future reuse. by Anna Zaks · 14 years ago
  49. 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
  50. 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
  51. 01ae1e1 MacOSKeychainAPIChecker: Do not report double allocation if first allocation returned an error. by Anna Zaks · 14 years ago
  52. 5443a64 MacOSKeychainAPIChecker: The security API/memory leak checker should always generate regular nodes instead of sink nodes. by Anna Zaks · 14 years ago
  53. 001fd5b Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 14 years ago
  54. 29f9b7a MacOSKeychainAPIChecker: Use llvm::SmallString instead of std::string (as per code review for r137523). by Anna Zaks · 14 years ago
  55. 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
  56. fdd0aca MacOSKeychainAPIChecker: by Anna Zaks · 14 years ago
  57. 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
  58. 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
  59. c52bed1 KeychainAPI checker: Generate an error on double allocation. Pull out getAsPointeeMemoryRegion so that it could be reused. by Anna Zaks · 14 years ago
  60. 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
  61. 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
  62. 4aa34a53 KeychainAPI checker: refactor to use early exit. by Anna Zaks · 14 years ago
  63. 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
  64. 9ab728b KeychainAPI checker: only check the paths on which the allocator function returned noErr. (+ minor cleanup) by Anna Zaks · 14 years ago
  65. 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