jtpaasch

apt install -y qemu qemu-user gcc-arm-linux-gnueabi binutils-arm-linux-gnueabi
arm-linux-gnueabi-gcc -marm main.c -o main
QEMU_LD_PREFIX=/usr/arm-linux-gnueabi qemu-arm main

jtpaasch

(** Examples of OCaml Format pretty-printing. 

    Add a dune file:
    (executable (name example))
    
    Compile and run: dune exec ./example.exe

*)

(* First an easy one.

jtpaasch

About the ELF file format:

• https://cirosantilli.com/elf-hello-world

PWN tutorials:

• https://pwn.college/modules/intro

Program startup:

• http://dbp-consulting.com/tutorials/debugging/linuxProgramStartup.html

jtpaasch

% ----------------------------------------------------------
% Custom document class
%
% Name: toyl
% Author: JT Paasch
% ----------------------------------------------------------

\NeedsTeXFormat{LaTeX2e}
\ProvidesClass{bizboy}[2021/03/01 v.1 A demo LaTeX document class]

jtpaasch

General

• Jeremy's list: https://avigad.github.io/formal_methods_in_education/

• Wadler's PL Foundations: https://plfa.inf.ed.ac.uk/

• Software Foundations: https://softwarefoundations.cis.upenn.edu/

• Adam's FRAP site: http://adam.chlipala.net/frap/

• Bug verification class: http://www.cs.cmu.edu/~15414/index.html

• Course: https://www.cs.ubc.ca/~rxg/cpsc509/

• Programming Languages and Lambda Calculi: http://www.cs.utah.edu/~mflatt/past-courses/cs7520/public_html/s06/notes.pdf

jtpaasch

Ghidra Info

Here's my notes on using Ghidra.

Useful Links

• Ghidra documentation (for Java, but Python copies the interface): https://ghidra.re/ghidra_docs/api/index.html
• Scripting with Ghidra guide:

jtpaasch

Notes about Webassembly

• Webassembly studio: https://webassembly.studio/
• Writing web assembly by hand: https://blog.scottlogic.com/2018/04/26/webassembly-by-hand.html
• Some webassembly tools: https://github.com/xtuc/webassemblyjs

jtpaasch

Compilers (Notes)

Some notes about compilers.

Resources/tutorials

• https://web.eecs.utk.edu/~azh/blog/teenytinycompiler1.html
• https://github.com/IUCompilerCourse/Essentials-of-Compilation

jtpaasch

ARM Assembly

Tutorials

• https://runestone.academy/runestone/books/published/armTutorial/index.html
• https://azeria-labs.com/writing-arm-assembly-part-1/

Filenames

jtpaasch

Category Theory Notes

Resources

• https://boris-marinov.github.io/category-theory-illustrated/

• https://markkarpov.com/post/category-theory-part-1.html

• https://medium.com/sadasant/sections-and-retractions-a1a30601c000