jtpaasch

Option (from Jane Street Core)

Convert a value to an optional something:

let some_message = Option.some "goodbye";;

Suppose you have some data:

jtpaasch

Running/Compiling OCaml

Tutorial/cheat sheat for running/compiling OCaml.

Style guideline

• https://ocaml.org/learn/tutorials/guidelines.html

jtpaasch

module Token = struct

  type t =
    | L_array_bracket
    | R_array_bracket
    | L_object_bracket
    | R_object_bracket
    | Colon
    | Comma

jtpaasch

Analyzing binaries

Useful tutorials:

• https://reverseengineering.stackexchange.com/a/1936
• https://cs.dartmouth.edu/~sergey/cs108/dyn-linking-with-gdb.txt

LDD

Show the dynamically linked libraries:

jtpaasch

(*********************************************************)
(** Simple functor example. *)

(** A simple signature. *)
module type X = sig
  val x : int
end

(** Here's a fuctor. 
 *  It takes an input: [M], which is an implementation

jtpaasch

BIL

To run the examples below, open baptop, then:

open Bap.Std;;

Documentation

• https://binaryanalysisplatform.github.io/bap/api/master/Bap.Std.Bil.html

jtpaasch

(** 

MAKEFILE:

plugin = primus_evaluator_example

all: clean build install

build:
        bapbuild -pkg bap-primus -tags 'warn(A)' $(plugin).plugin

jtpaasch

QEMU

Some quick tips for using QEMU from the command line (on macOS, but should work on Linux too).

Creating and booting an image

Download an OS ISO, e.g., the netinstall Debian 9.7 ISO:

wget https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.7.0-amd64-netinst.iso

jtpaasch

(*

plugin = primus_set_register_example

all: clean build install

build:
        bapbuild -pkg bap-primus -tags 'warn(A)' $(plugin).plugin

install:

jtpaasch

(*
MAKEFILE:

plugin = primus_set_regs

all: clean build install

build:
	bapbuild -pkg bap-primus -tags 'warn(A)' $(plugin).plugin