Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f52f4f636f4fe572acde92d8a162a27f37367d05 / clang / lib / StaticAnalyzer / Checkers / GenericTaintChecker.cpp
  1. 058a7a4 [analyzer] Supply all checkers with a shouldRegister function by Kristof Umann · 7 years ago
  2. 2946cd7 Update the file headers across all of the LLVM projects in the monorepo by Chandler Carruth · 7 years ago
  3. b68cb54 [analyzer] GenericTaint: Fix formatting to prepare for incoming improvements. by Artem Dergachev · 7 years ago
  4. 76a2150 [analyzer][NFC] Move CheckerRegistry from the Core directory to Frontend by Kristof Umann · 7 years ago
  5. 9fc8faf Remove \brief commands from doxygen comments. by Adrian Prantl · 7 years ago
  6. 29204c2 [analyzer] Move `TaintBugVisitor` from `GenericTaintChecker.cpp` to `BugReporterVisitors.h`. by Henry Wong · 8 years ago
  7. cb2ad24 [analyzer] Improves the logic of GenericTaintChecker identifying stdin. by Henry Wong · 8 years ago
  8. d703ec9 [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently by George Karpenkov · 8 years ago
  9. 3ef5deb [analyzer] In getSVal() API, disable auto-detection of void type as char type. by Artem Dergachev · 8 years ago
  10. eed7a31 [analyzer] Support partially tainted records. by Artem Dergachev · 8 years ago
  11. 12d0c8d [analyzer] Extend taint propagation and checking to support LazyCompoundVal by Anna Zaks · 9 years ago
  12. d4e43ae [analyzer] Add bug visitor for taint checker. by Anna Zaks · 9 years ago
  13. 9c10490 Refactor: Simplify boolean conditional return statements in lib/StaticAnalyzer/Checkers by Alexander Kornienko · 10 years ago
  14. e39bd40 [analyzer] Add generateErrorNode() APIs to CheckerContext. by Devin Coughlin · 10 years ago
  15. 3a0678e [analyzer] Apply whitespace cleanups by Honggyu Kim. by Ted Kremenek · 10 years ago
  16. 8d3a7a5 Clarify pointer ownership semantics by hoisting the std::unique_ptr creation to the caller instead of hiding it in emitReport. NFC. by Aaron Ballman · 10 years ago
  17. 4432d87 Fixes a typo in a comment. by Enrico Pertoso · 10 years ago
  18. 0dbb783 [C++11] Use 'nullptr'. StaticAnalyzer edition. by Craig Topper · 11 years ago
  19. fb74458 remove a bunch of unused private methods by Nuno Lopes · 12 years ago
  20. be22bcb [C++11] Replacing DeclBase iterators specific_attr_begin() and specific_attr_end() with iterator_range specific_attrs(). Updating all of the usages of the iterators with range-based for loops. by Aaron Ballman · 12 years ago
  21. b898432 Replace OwningPtr with std::unique_ptr. by Ahmed Charles · 12 years ago
  22. 4aca9b1 Expose the name of the checker producing each diagnostic message. by Alexander Kornienko · 12 years ago
  23. f58070b Switched FormatAttr to using an IdentifierArgument instead of a StringArgument since that is a more accurate modeling. by Aaron Ballman · 12 years ago
  24. 05785d1 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 13 years ago
  25. 2fdacbc Replace SVal llvm::cast support to be well-defined. by David Blaikie · 13 years ago
  26. f857950 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 13 years ago
  27. 3a02247 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 13 years ago
  28. ea70eb3 Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code. by Benjamin Kramer · 13 years ago
  29. 0c153cb [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list). by Jordan Rose · 13 years ago
  30. e10d5a7 [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 13 years ago
  31. e6f7008 Remove trivial destructor from SVal. by Benjamin Kramer · 13 years ago
  32. 6cd16c5 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 13 years ago
  33. 474261a Fix typos found by http://github.com/lyda/misspell-check by Benjamin Kramer · 13 years ago
  34. b508d29 [analyzer] Don't crash even when the system functions are redefined. by Anna Zaks · 14 years ago
  35. 3705a1e [analyzer] Change naming in bug reports "tainted" -> "untrusted" by Anna Zaks · 14 years ago
  36. e277899 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 14 years ago
  37. 49b1e38 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 14 years ago
  38. bf74051 [analyzer] Add more C taint sources/sinks. by Anna Zaks · 14 years ago
  39. 97bef56 [analyzer] It's possible to have a non PointerType expression evaluate to a Loc value. When this happens, use the default type. by Anna Zaks · 14 years ago
  40. e4d798f More dead code removal (using -Wunreachable-code) by David Blaikie · 14 years ago
  41. 3b754b2 [analyzer] Add socket API as a source of taint. by Anna Zaks · 14 years ago
  42. 7f6a6b7 [analyzer] Refactor: prePropagateTaint -> TaintPropagationRule::process(). by Anna Zaks · 14 years ago
  43. 560dbe9 [analyzer] Taint: warn when tainted data is used to specify a buffer by Anna Zaks · 14 years ago
  44. 5d324e5 [analyzer] Taint: add taint propagation rules for string and memory copy by Anna Zaks · 14 years ago
  45. 3666d2c [analyzer] Taint: generalize taint propagation to simplify adding more by Anna Zaks · 14 years ago
  46. 0244cd7 [analyzer] Taint: add system and popen as undesirable sinks for taint data. by Anna Zaks · 14 years ago
  47. a31f6b9 [analyzer] Taint: when looking up a binding, provide the type. by Anna Zaks · 14 years ago
  48. b3fa8d7 [analyzer] Add taint transfer by strcpy & others (part 1). by Anna Zaks · 14 years ago
  49. 47dbcd1 Remove unused variable. by Rafael Espindola · 14 years ago
  50. 126a2ef [analyzer] Add basic format string vulnerability checking. by Anna Zaks · 14 years ago
  51. 632e3b7 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 14 years ago
  52. 3b0ab20 [analyzer] Add support for taint flowing through a function (atoi). by Anna Zaks · 14 years ago
  53. e48ee50 [analyzer] Better stdin support. by Anna Zaks · 14 years ago
  54. 099fe3f [analyzer] Treat stdin as a source of taint. by Anna Zaks · 14 years ago
  55. eefc0e9 [analyzer] Mark output of fscanf and fopen as tainted. by Anna Zaks · 14 years ago
  56. d6bb322 [analyzer] Mark getenv output as tainted. by Anna Zaks · 14 years ago
  57. 7c96b7d [analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression. by Anna Zaks · 14 years ago
  58. 457c687 [analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker). by Anna Zaks · 14 years ago
  59. 5c5bf9b [analyzer] Adding generic taint checker. by Anna Zaks · 14 years ago