Let’s Bap Installing A toy program for you to try The bap command Bap equivalents of binutils Giving Bap C info Saving and restoring the knowledge base Recipes Interesting Places to Look IRs BIL BIR Core Theory Disassembler Primus Lisp Primus Primus Ocaml Systems State Forking Components Observations Linker Ocaml Stuff Finding Stuff Bap is not a library. Plugins vs Commands vs Passes vs Scripts Commands Plugins Scripts Registries Bap Lifecycle Bap Project Directory Structure Bap Plugins Bap api Bap Disassemble Saving and restoring the knowledge base Bap Analyze Bap Passes Bap.Std OCaml and Registries The Knowledge Base Knowledge Base Classes, Slots Objects and Values Domains Promises Record.t = Dict.t + Domains Value = Record + Sorts Core Theory Blithering Universal Types, Existentials and Packing Typed Keys Project Structure Binary / Program Analysis Other tidbits Universal Values Misc