Gitiles
Code Review
Sign In
review.shift-gmbh.com
/
SHIFTPHONES
/
android_art
/
ece5386eeb30aa6be663af2416b68a7ebf9bd42e
/
runtime
/
verifier
/
method_verifier.cc
3188364
Do not hide instance field hard failure with soft failure
by Aart Bik
· 9 years ago
b052632
Fix bug in verifier: hard fail allowed following softfail
by Aart Bik
· 9 years ago
c2bc265
Fix bug in verifier: soft fail was hiding hard fail.
by Aart Bik
· 9 years ago
a8d06f0
Merge "Workaround invokesuper underspecified behavior."
by Nicolas Geoffray
· 9 years ago
f663e34
Workaround invokesuper underspecified behavior.
by Aart Bik
· 9 years ago
56fdd0e
ART: Disambiguate access-checks mode from lock-counting
by Andreas Gampe
· 9 years ago
250a378
Add flag to ArtMethod to skip compilation.
by Nicolas Geoffray
· 9 years ago
8f4ade0
ART: Fix nits for verifier change
by Andreas Gampe
· 9 years ago
cc9b74f
Merge "ART: Make iget receiver mismatch hard verifier error"
by Andreas Gampe
· 9 years ago
6659624
ART: Make iget receiver mismatch hard verifier error
by Andreas Gampe
· 9 years ago
b55f1ac
Allow private methods in interfaces.
by Alex Light
· 9 years ago
76ed99d
ART: Postpone interface-related dex failure to version 37
by Andreas Gampe
· 9 years ago
7fe3023
ART: Make verifier fail log level adjustable
by Andreas Gampe
· 9 years ago
bf9611f
ART: Clean up verifier
by Andreas Gampe
· 9 years ago
8d8fc48
ART: Relax verifier checks
by Andreas Gampe
· 9 years ago
bb18a03
ART: Allow array-ness for unresolved merge types
by Andreas Gampe
· 9 years ago
55ea94d
Fix bug where verification could crash on unresolved types.
by Alex Light
· 9 years ago
32ce2ad
Add more systracing everywhere
by Mathieu Chartier
· 9 years ago
7211aa6
Add systrace to VerifyClass
by Mathieu Chartier
· 9 years ago
98e6ce4
Remove string init map.
by Nicolas Geoffray
· 9 years ago
361e04a
Add custom arena deleter for RegisterLine
by Mathieu Chartier
· 9 years ago
4a2c8fc
Fix bug with verification of constructors
by Alex Light
· 9 years ago
980027c
ART: Treat throw with non-reference type as hard failure in verifier.
by Pavel Vyssotski
· 9 years ago
9fcfb8a
ART: Curb lock-verification-failure spam
by Andreas Gampe
· 9 years ago
68b5c0b
ART: Disallow uses of uninitialized references
by David Brazdil
· 9 years ago
fedd91d
Optimizing compiler support for directly calling interface methods
by Alex Light
· 9 years ago
9724c63
Enable interface default methods by default.
by Neil Fuller
· 9 years ago
7268d47
Add a METHOD_SUPER to the MethodType enum.
by Alex Light
· 9 years ago
705ad49
Support directly invoking interface default methods
by Alex Light
· 9 years ago
42ef8ab
ART: Stash a resolved method late in the verifier
by Andreas Gampe
· 9 years ago
c96205e
Revert "ART: Check invoke-interface earlier in verifier"
by Andreas Gampe
· 9 years ago
53e32d1
ART: Refactor verifier callbacks
by Andreas Gampe
· 9 years ago
dae2414
ART: Check invoke-interface earlier in verifier
by Andreas Gampe
· 9 years ago
ec6e6c1
ART: Rerun the verifier for compile-time failures
by Andreas Gampe
· 9 years ago
a4c98f2
ART: Fix return-object verification
by Andreas Gampe
· 9 years ago
0db36b3
Fix minor problems with interface verification and default methods.
by Alex Light
· 9 years ago
de40d47
Use arenas for the verifier
by Mathieu Chartier
· 9 years ago
eb7c144
Add initial default method support to Art
by Alex Light
· 9 years ago
6918bf1
Revert "Revert "lambda: Experimental support for capture-variable and liberate-variable""
by Igor Murashkin
· 9 years ago
446ca43
Merge "Revert "lambda: Experimental support for capture-variable and liberate-variable""
by Nicolas Geoffray
· 9 years ago
7bbb80a
Revert "lambda: Experimental support for capture-variable and liberate-variable"
by Nicolas Geoffray
· 9 years ago
9c612ca
Merge "lambda: Experimental support for capture-variable and liberate-variable"
by Igor Murashkin
· 9 years ago
b721234
lambda: Experimental support for capture-variable and liberate-variable
by Igor Murashkin
· 9 years ago
5469d34
ART: Reject PackedSwitch with overflowing keys
by David Brazdil
· 9 years ago
071cd9d
ART: Fix misleading error message in method verifier.
by Vladimir Marko
· 9 years ago
7856835
Fix locking on string init map (again).
by Vladimir Marko
· 9 years ago
35717f8
Merge "ART: Add some utilities for working with containers."
by Vladimir Marko
· 9 years ago
e6215c0
ART: Move access flags checking to dex file verifier
by Andreas Gampe
· 9 years ago
637ee0b
ART: Add some utilities for working with containers.
by Vladimir Marko
· 9 years ago
957fb89
Merge "ART: Move DexCache arrays to native."
by Vladimir Marko
· 9 years ago
de286fd
Address some leftover comments
by Mathieu Chartier
· 9 years ago
05792b9
ART: Move DexCache arrays to native.
by Vladimir Marko
· 9 years ago
673ed3d
Revert "Revert "Change dex caches to be weak roots""
by Mathieu Chartier
· 9 years ago
81a9087
Revert "Change dex caches to be weak roots"
by Brian Carlstrom
· 9 years ago
a727e37
ART: Balanced locking
by Andreas Gampe
· 9 years ago
706ea6a
Merge "ART: Propagate verifier failure types to the compilers"
by Andreas Gampe
· 9 years ago
772cc4a
Merge "Change dex caches to be weak roots"
by Mathieu Chartier
· 9 years ago
0760a81
ART: Propagate verifier failure types to the compilers
by Andreas Gampe
· 9 years ago
3ae6b1d
Change dex caches to be weak roots
by Mathieu Chartier
· 9 years ago
ad238ce
ART: Add option to retain lock levels in verifier
by Andreas Gampe
· 9 years ago
c147410
ART: Special form of lock aliasing
by Andreas Gampe
· 9 years ago
53de99c
ART: Follow-up fixes
by Andreas Gampe
· 9 years ago
ebf850c
ART: Fix verifier dumping, add hard-fail dumping
by Andreas Gampe
· 9 years ago
4bf4c78
ART: Relax verifier aput checking
by Andreas Gampe
· 9 years ago
f10b6e1
ART: Change UninitializedThis tracking in the verifier
by Andreas Gampe
· 9 years ago
b291796
ART: Check a RETURN_VOID_NO_BARRIER like a RETURN_VOID
by Andreas Gampe
· 9 years ago
07e0e6b
Revert "ART: Do not allow RETURN_VOID_NO_BARRIER outside constructors"
by Andreas Gampe
· 9 years ago
e93505f
ART: Do not allow RETURN_VOID_NO_BARRIER outside constructors
by Andreas Gampe
· 9 years ago
9044347
Move to newer clang annotations
by Mathieu Chartier
· 9 years ago
4d7b75f
verifier: Skip verification of methods when seeing experimental opcodes
by Igor Murashkin
· 9 years ago
e2facc5
runtime: Add lambda box/unbox object equality
by Igor Murashkin
· 10 years ago
8f1e08a
ART: Don't nest indenters in oatdump.
by Vladimir Marko
· 10 years ago
890da29
ART: Avoid soft- after hard-fail in verifier
by Andreas Gampe
· 10 years ago
57c4758
ART: Check switch and array data better in the verifier
by Andreas Gampe
· 10 years ago
d5ad72f
ART: Fix invalid access and DCHECK in verifier
by Andreas Gampe
· 10 years ago
d12e782
ART: Reset runtime_throw_failure flag
by Andreas Gampe
· 10 years ago
414000e
Hard-fail get-/put-object to a non-reference field.
by Vladimir Marko
· 10 years ago
1f1d53e
Merge "ART: Correctly hard-fail method with undefined register"
by Andreas Gampe
· 10 years ago
a32210c
ART: Correctly hard-fail method with undefined register
by Andreas Gampe
· 10 years ago
4824c27
Use a flag from the verifier to know if we should compile.
by Nicolas Geoffray
· 10 years ago
f23f33d
ART: Follow-up to 507cc6f83bf6379728f2dd20391f2ed5fbfe6371
by Andreas Gampe
· 10 years ago
ec3a4e7
Merge "runtime: Partially implement box-lambda and unbox-lambda experimental opcodes"
by Igor Murashkin
· 10 years ago
2ee54e2
runtime: Partially implement box-lambda and unbox-lambda experimental opcodes
by Igor Murashkin
· 10 years ago
68df320
ART: Allow checking RETURN_VOID_NO_BARRIER on unresolved classes
by Andreas Gampe
· 10 years ago
507cc6f
ART: Disallow classes that are abstract and final
by Andreas Gampe
· 10 years ago
a60bd74
Merge "ART: Check for expected args for instance methods"
by Andreas Gampe
· 10 years ago
ef0b1a1
ART: Check for expected args for instance methods
by Andreas Gampe
· 10 years ago
ba7837b
Merge "ART: Check var-arg count earlier in method verifier"
by Andreas Gampe
· 10 years ago
29498a2
ART: Check var-arg count earlier in method verifier
by Taiju Tsuiki
· 10 years ago
e438757
Merge "Verifier: check an aput, even if we know it will fail."
by Nicolas Geoffray
· 10 years ago
66389fb
Verifier: check an aput, even if we know it will fail.
by Nicolas Geoffray
· 10 years ago
247e977
Merge "interpreter: Add experimental lambda opcodes for invoke/create-lambda"
by Igor Murashkin
· 10 years ago
158f35c
interpreter: Add experimental lambda opcodes for invoke/create-lambda
by Igor Murashkin
· 10 years ago
da9badb
ART: Check long and double register pairs in invokes
by Andreas Gampe
· 10 years ago
d9e2301
ART: Reload class on miranda method in verifier
by Andreas Gampe
· 10 years ago
b588f4c
ART: Fix wrong hard-failure handling in verifier
by Andreas Gampe
· 10 years ago
e401d14
Move mirror::ArtMethod to native
by Mathieu Chartier
· 10 years ago
dc31313
Merge "ART: Clean up arm64 kNumberOfXRegisters usage."
by Vladimir Marko
· 10 years ago
80afd02
ART: Clean up arm64 kNumberOfXRegisters usage.
by Vladimir Marko
· 10 years ago
3c651fc
ART: Sometimes even empty methods take forever to verify
by Andreas Gampe
· 10 years ago
Next »