Gitiles
Code Review Sign In
gerrit.witaqua.org / art / 0e802db6f4d49f0928be3f62c265e6e014bc4523 / runtime / verifier / method_verifier.cc
  1. 520c9b7 verifier: Clean up `RegisterLine::SetRegisterType*()`. by Vladimir Marko · 4 years, 8 months ago
  2. 4b0c9b9 Remove the notion of soft failure within the verifier. by Nicolas Geoffray · 4 years, 8 months ago
  3. 03ce70a Better handling of unresolved fields in VerifyISFieldAccess. by Nicolas Geoffray · 4 years, 8 months ago
  4. ad0daef An incompatible field type assignment is always an error. by Nicolas Geoffray · 4 years, 9 months ago
  5. 19444a6 It's a hard failure if return types cannot match. by Nicolas Geoffray · 4 years, 9 months ago
  6. 18c72c6 Change soft failure into more precise missing method. by Nicolas Geoffray · 4 years, 9 months ago
  7. ebefce3 Make it a hard failure if we could not find a catch clause. by Nicolas Geoffray · 4 years, 9 months ago
  8. adc11b1 Turn unconditional soft failure into a hard failure. by Nicolas Geoffray · 4 years, 9 months ago
  9. 8756585 verifier: the throw bytecode must have a throwable class as input. by Nicolas Geoffray · 4 years, 11 months ago
  10. 1728bb7 Turn soft failure into hard failure. by Nicolas Geoffray · 4 years, 9 months ago
  11. 3a8dfcf Catch clauses should only have throwable types. by Nicolas Geoffray · 4 years, 9 months ago
  12. e172a80 Revert "Cleanup return type checks with arrays." by Nicolas Geoffray · 4 years, 9 months ago
  13. 59193a6 Cleanup return type checks with arrays. by Nicolas Geoffray · 4 years, 11 months ago
  14. f6fe363 Relax failure on return type for unresolved types. by Nicolas Geoffray · 4 years, 11 months ago
  15. 2cb2527 verifier: Remove support for precise constants and RegisterTrackingMode. by Nicolas Geoffray · 5 years ago
  16. 9e050ab Remove the need of VerifiedMethod in the compiler. by Nicolas Geoffray · 5 years ago
  17. 2ec3823 Clean up verifier interface. by Nicolas Geoffray · 5 years ago
  18. cd133d8 Verifier cleanups. by Nicolas Geoffray · 5 years ago
  19. 44dc8a3 verifier: do not infer an instruction will throw. by Nicolas Geoffray · 5 years ago
  20. f8b5288 Remove experimental flag in verifier. by Nicolas Geoffray · 5 years ago
  21. 61c6242 Remove RETURN_VOID_NO_BARRIER byte-code. by David Srbecky · 5 years ago
  22. c76fbf0 Fix script when using --verify-soft-fail and --jit. by Nicolas Geoffray · 5 years ago
  23. c5cd589 Remove QUICK bytecodes. by David Srbecky · 5 years ago
  24. 4924ea9 Remove Vdex::GetQuickenedInfoOf and all its users. by Nicolas Geoffray · 5 years ago
  25. 5b0b2e1 Explictly pass VerifierDeps when asking for class verification. by Nicolas Geoffray · 5 years ago
  26. 5de5efe Remove pointer-size arguments from DexCache. by David Srbecky · 5 years ago
  27. 5c48df9 [verifier]: flag instruction that will throw at runtime by Nicolas Geoffray · 5 years ago
  28. d1728bf Add a kTypeChecksFailure. by Nicolas Geoffray · 5 years ago
  29. 35a3720 Reland "Remove obsolete code in the verifier." by Nicolas Geoffray · 5 years ago
  30. 7572e76 Revert "Remove obsolete code in the verifier." by Nicolas Geoffray · 5 years ago
  31. 22538e4 Remove obsolete code in the verifier. by Nicolas Geoffray · 5 years ago
  32. 04ea42c Add a new kind of verifier error with unresolved type checks. by Nicolas Geoffray · 5 years ago
  33. c3c4417 Refactor code around the verifier. by Nicolas Geoffray · 5 years ago
  34. 54ed015 Handle VERIFY_ERROR_INSTANTIATION in compiler and nterp. by Nicolas Geoffray · 5 years ago
  35. bd57059 Handle missing methods in compiler and nterp. by Nicolas Geoffray · 5 years ago
  36. 5bcdd17 Remove unused VERIFY_ERROR_NO_FIELD. by Nicolas Geoffray · 5 years ago
  37. b677aff Support VERIFY_ERROR_CLASS_CHANGE in nterp and compiler. by Nicolas Geoffray · 5 years ago
  38. 5e82b18 Make it a verification error to misuse FastNative and CriticalNative. by Nicolas Geoffray · 5 years ago
  39. 1960c42 Change vdex format to store per-class assignable types. by Nicolas Geoffray · 6 years ago
  40. 938a067 Remove the checkcast quickening optimization. by Nicolas Geoffray · 6 years ago
  41. 6ebe40f Remove field/method/class resolution metadata in vdex. by Nicolas Geoffray · 6 years ago
  42. 346fd96 More inclusive language in the runtime by David Srbecky · 6 years ago
  43. aacf977 Reword some comments to be more inclusive by Orion Hodson · 6 years ago
  44. 1715efa Add a new class status for verified with access checks. by Nicolas Geoffray · 6 years ago
  45. 5868ada Move implementations from class_root.h to -inl.h . by Vladimir Marko · 6 years ago
  46. e8ed866 Add MOVE_EXCEPTION to compat throw by Mathieu Chartier · 6 years ago
  47. c2d0c96 Perform reverify with shared mutator-lock. by Alex Light · 7 years ago
  48. b1eebde Revert^2 "Class redefinition sometimes needs to update verification" by Alex Light · 7 years ago
  49. 2cf00ed Revert "Class redefinition sometimes needs to update verification" by Nicolas Geoffray · 7 years ago
  50. db55a11 Class redefinition sometimes needs to update verification by Alex Light · 7 years ago
  51. 5c93af3 Loosen verifier around interface-invoke-super by Alex Light · 7 years ago
  52. 4ec4d48 ART: Verifier cleanup by Andreas Gampe · 7 years ago
  53. 147a911 ART: Remove FailOrAbort for unnecessary cases by Andreas Gampe · 7 years ago
  54. b90cad5 ART: Move find-locks code up in the callchain by Andreas Gampe · 7 years ago
  55. 0134a28 ART: Verifier cleanup by Andreas Gampe · 7 years ago
  56. 86bf068 ART: Verifier cleanup by Andreas Gampe · 7 years ago
  57. f1468b5 ART: Verifier cleanup by Andreas Gampe · 7 years ago
  58. fef91cc ART: Verifier cleanup by Andreas Gampe · 7 years ago
  59. e0bbab9 ART: Verifier cleanup by Andreas Gampe · 7 years ago
  60. d84794d ART: Add option to behave fatally on unmarked kThrow by Andreas Gampe · 7 years ago
  61. 16a08f6 ART: Factor out runtime-exception saved_line fallback by Andreas Gampe · 7 years ago
  62. c658278 ART: Introduce CompatThrow by Andreas Gampe · 7 years ago
  63. bc919af ART: Disallow unresolved return types after Q by Andreas Gampe · 7 years ago
  64. d78122b ART: Do not access-check type on instanceof peephole by Andreas Gampe · 7 years ago
  65. 0d87f99 ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
  66. 4146e06 ART: Prepare to remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
  67. 4a30f89 Revert "ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH" by Andreas Gampe · 7 years ago
  68. 7a82acc ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
  69. 43884b2 ART: Coalesce verifier flags into bit struct by Andreas Gampe · 7 years ago
  70. 1e52a07 Correct Indicies -> Indices by Alex Light · 7 years ago
  71. d91f841 ART: Log approximate arena usage for slow verifier runs by Andreas Gampe · 7 years ago
  72. 93adcb5 ART: Remove some compile-time info points by Andreas Gampe · 7 years ago
  73. 0a7d0b1 ART: Mark unreachable catch handler code in verifier by Andreas Gampe · 7 years ago
  74. 6087bc2 ART: Handle unresolved catch handler types differently in the verifier by Andreas Gampe · 7 years ago
  75. af52cbe Use TargetSdkLevel in CalculateVerificationInfo by Alex Light · 7 years ago
  76. e2ddce3 Revert^2 "Add verifier fallback for JVMTI Get/SetLocalVariable" by Alex Light · 7 years ago
  77. 99cbfb5 Revert "Add verifier fallback for JVMTI Get/SetLocalVariable" by David Srbecky · 7 years ago
  78. e48fd0b Add verifier fallback for JVMTI Get/SetLocalVariable by Alex Light · 7 years ago
  79. efdd1b0 ART: Add throughput to verifier duration message by Andreas Gampe · 7 years ago
  80. b34981b ART: Fix hidden hard fail in instance field verification by Andreas Gampe · 7 years ago
  81. bfcca58 ART: Add verifier-debug log for exception handler by Andreas Gampe · 7 years ago
  82. 99db7bb ART: Templatize internal method verifier class by Andreas Gampe · 7 years ago
  83. fc25ae9 ART: Refactor verifier by Andreas Gampe · 7 years ago
  84. d09c059 ART: Do not expose arena allocator from MethodVerifier by Andreas Gampe · 7 years ago
  85. 51de69e ART: Clean up MethodVerifier by Andreas Gampe · 7 years ago
  86. 7c887c5 ART: Under verifier-debug, amend the hard-fail message by Andreas Gampe · 7 years ago
  87. 2ad6cce ART: Make LogVerifyInfo newlines consistent by Andreas Gampe · 7 years ago
  88. 4a57d5f ART: Remove old cout usage in method_verifier by Andreas Gampe · 7 years ago
  89. 179b7c6 ObjPtr<>-ify String allocations, fix stale refs. by Vladimir Marko · 7 years ago
  90. a43ba3d ART: Add ClassVerifier by Andreas Gampe · 7 years ago
  91. 43e4325 ART: Handle clobbering in verifier peephole by Andreas Gampe · 7 years ago
  92. 3f1dcd3 ART: Move dex structs into own header by Andreas Gampe · 7 years ago
  93. 2bb2fbd Create SdkVersion enum, migrate users to it by David Brazdil · 8 years ago
  94. 98ea9d9 ART: Refactor for bugprone-argument-comment by Andreas Gampe · 8 years ago
  95. dc39d32 Revert^2: "ART: Restrict some checks in the verifier to P+" by Andreas Gampe · 8 years ago
  96. ff71e66 Revert "ART: Restrict some checks in the verifier to P+" by Andreas Gampe · 8 years ago
  97. 2337d53 ART: Restrict some checks in the verifier to P+ by Andreas Gampe · 8 years ago
  98. 6cc23ac ART: Add API level to verifier by Andreas Gampe · 8 years ago
  99. 0b0ffc1 ART: Add parameter for verifier timing log threshold by Andreas Gampe · 8 years ago
  100. b07dcdb Merge changes I87f2999f,I8af0e845 by Vladimir Marko · 8 years ago