Dirty, very dirty initial draft

BinaryAnalysisPlatform · Aug 27, 2019 · eb46cab · eb46cab
1 parent 2773e8c
commit eb46cab
Show file tree

Hide file tree

Showing 7 changed files with 4,131 additions and 0 deletions.
diff --git a/oasis/dalvik b/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"
diff --git a/plugins/dalvik/dalvik.ml b/plugins/dalvik/dalvik.ml
@@ -0,0 +1,6 @@
+open Core_kernel
+open Bap_core_theory
+open KB.Syntax
+
+let package = "dalvik"
+