September 15, 2021

Writing Lifters Using Primus Lisp

Defining instructions semantics using Primus Lisp (Tutorial) Introduction So you found a machine instruction that is not handled by BAP and you wonder how to add it to BAP. This is the tutorial that will gently guide you through the whole process of discovering the instruction, studying its semantics, encoding...>