Dirty, very dirty initial draft

oasis/dalvik

@@ -0,0 +1,18 @@
+Flag mips
+  Description: Build Dalvik/DEX lifter
+  Default: true
+
+Library mips_plugin
+  XMETADescription:     provide Dalvik/DEX lifter
+  Path:                 plugins/dalvik
+  FindlibName:          bap-plugin-dalvik
+  Build$:               flag(everything) || flag (dalvik)
+  BuildDepends:         bap, bap-abi, bap-c, bap-core-theory
+  InternalModules:
+                        Dalvik,
+                        Dalvik_disasm,
+                        Dalvik_dex,
+                        Dalvik_java,
+                        Dalvik_lifter
+
+  XMETAExtraLines:      tags="dalvik,lifter,arch,abi"

plugins/dalvik/dalvik.ml

@@ -0,0 +1,12 @@
+open Core_kernel
+open Bap_core_theory
+open KB.Syntax
+
+let package = "dalvik"
+
+let () = Project.Input.register_loader "dex" @@ fun filename ->
+   let empty = Memmap.empty in
+   let prog = prog_of_dex filename in
+   Project.Input.create `dalvik filename ~code:empty ~data:empty
+      ~finish:(fun proj -> Project.with_program prog)
+