Dirty, very dirty initial draft

BinaryAnalysisPlatform · Aug 30, 2019 · c276ff7 · c276ff7
1 parent 1f26e90
commit c276ff7
Show file tree

Hide file tree

Showing 8 changed files with 5,057 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"
+