Added first pass of verifier and supporting changes.

The verifier still needs to make a second pass through the code where it
checks the code flow. A TODO marks where it will be added.

Change-Id: I0abea5bad563776186df342d8132fb1ca8869652
11 files changed
tree: a84680c4c469dd6ef3c0e558df9197317a4ee51b
  1. Android.mk
  2. build/
  3. src/
  4. tools/