Examples of Primus execution

[hirrolot]

I've just read about the Primus framework and I'm wondering how can I write my own program analysis (in OCaml) that takes advantage of Primus. Are there any tests/examples that I can look into? Thanks.

[ivg]

There is a whole set of analyses that utilize primus in bap-toolkit, but if you want something more low-level and in OCaml, you can take a look at symbolic executor. In fact, any plugin with a name that starts with primus_ is either a primus component or analysis that utilizes Primus. It's worth noticing that Primus is written in such a way that you can use Primus Lisp as a high-level analysis specification language, so if you look at primus-test plugin (which is not about testing Primus but about using Primus for testing programs), you can see that it has implementation of use-after-free, memchek (like in Valgrind) and many other analyses all implemented in Primus Lisp.