| 2a843c81e61128d2c1723c064786f8b7193c62f5 |
|
09-May-2018 |
Nicolas Geoffray <ngeoffray@google.com> |
[veridex] Add a --target-sdk-version to avoid false positives.
1) Recognize Build.VERSION.SDK_INT in flow analysis
2) Recognize simple if patterns.
bug: 79404565
bug: 77513322
Test: m
Change-Id: I7318755316e92cb2970fffa9ee35092d19270bc3
|
| 5de2ff26d448629082ffe3058a0a76fc38362daa |
|
25-Apr-2018 |
Nicolas Geoffray <ngeoffray@google.com> |
[veridex] Reflection detection improvements.
- Handle invoke range instructions.
- Implement parameter substitution.
bug: 77513322
Test: m
Change-Id: I30678a73b5bb367e44edd43d7959fc428ff8ad12
|
| 295cba006e5212c06fde5ec956c81c507b2974e6 |
|
18-Apr-2018 |
Nicolas Geoffray <ngeoffray@google.com> |
[veridex] Reflective usage detection improvements.
- Convert a string name to the internal name
- Recognize ClassLoader.loadClass.
- Do a dummy merge in VeriFlow by just overwriting registers.
bug: 77513322
Test: m
Change-Id: Ie2c39fe20972a6f632f2b2dcf4b1153e0af01605
|
| 242758af3cf6eae389f43d3804acaabaa4ba93da |
|
04-Apr-2018 |
Nicolas Geoffray <ngeoffray@google.com> |
[veridex] Add a flow analysis pass to detect precise reflection usages.
bug: 77513322
Test: m
Change-Id: Iab47ca16ec09586afea8f11344e84f58d40bec1e
|