bap-primus-lisp
  1. Overview
  2. Docs
BAP Primus Lisp Runtime

Install

github.com Edit opam file

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz
md5=b8b1aff8c6846f2213eafc54de07b304

Description

The default (and the only one so far) Primus Lisp runtime. The plugin provides Lisp primitives for manipulation program state, loads user specified libraries, and integrates Primus Lisp with BAP universe.

Published: 12 Dec 2021

Dependencies (11)

  1. bitvec = "2.4.0"
  2. bap-main = "2.4.0"
  3. bap-core-theory = "2.4.0"
  4. bap-knowledge = "2.4.0"
  5. regular = "2.4.0"
  6. monads = "2.4.0"
  7. bap-primus = "2.4.0"
  8. bap-std = "2.4.0"
  9. ppx_bap >= "v0.14" & < "v0.15"
  10. core_kernel >= "v0.14" & < "v0.15"
  11. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (1)

  1. bap-core < "2.5.0"

Conflicts

None