History log of /art/tools/veridex/veridex.cc
Revision Date Author Comments
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
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
dfe9ee4a5a794fada37999092a84df5432905e93 28-Mar-2018 Nicolas Geoffray <ngeoffray@google.com> [veridex] Detect reflection uses.

Add HiddenApiFinder to walk over the code item of
app dex files, and find static linking uses and potential
reflection uses.

bug: 64382372
Test: m

(cherry picked from commit 11ed0275c48ad9a6301d914d3344a27467fcaf0c)

Change-Id: Icfea54198f12e3db2dc9b1d16bb6f16103f6a932
c3f88993bfac4606bc25e5c68a5a7330cd0d815f 24-Mar-2018 Nicolas Geoffray <ngeoffray@google.com> [veridex] Log when linking against private APIs.

(cherry picked from commit 534a0a1807a4aa776b4bdfa894e566124b98979a)

bug: 64382372
Test: m

Change-Id: Ied19a466cf96e8aa77ee0be1ee990d421372644d
988a6f52ab94df8cd46242a810f4fea5a94f2b95 22-Mar-2018 Nicolas Geoffray <ngeoffray@google.com> [veridex] Resolve all type_id/method_id/field_id in app dex files.

bug: 64382372
Test: m

(cherry picked from commit e826477ad8b5b7fa06c1ba5a86d4536bfbfc322b)

Change-Id: I68bf0606183c63f6e28d94574ad6260f9b429bf7
7f3d60a35703334c86cb633d94b26911d4b252d9 21-Mar-2018 Nicolas Geoffray <ngeoffray@google.com> Add resolver to veridex.

Resolver runs over dex file and cache classes/methods/fields.

bug: 64382372
Test: m

(cherry picked from commit dd96ed35d00eb9ea6ad35a7a04d98078cfce7f0e)

Change-Id: I96436acede6827398e3aea20bfdfc85f5f53deaf
67272530b8b4bf17c197c6f817ba1e6512a4196c 19-Mar-2018 Nicolas Geoffray <ngeoffray@google.com> Add veridex project.

Starters for detecting app compat issues.

bug: 64382372
Test: m

(cherry picked from commit 51cba191cdd46cecad9e318bffae6aeb0d2e9123)

Change-Id: Ia67bf46f2e4db64d269dc223ea6590dea22d4317