bareversion
BAP Rule Engine Library
BARE is a library that provides non-linear pattern matching on streams of facts that are represented as s-expressions. We use BARE, in particular, to process Primus observations. Since Primus components use observations to convey their knowledge downstream it is very convenient to be able to query and join observations through the stream. In a sense, BARE could be seen as SQL select/join for streams.
Author | BAP Team |
---|---|
License | MIT |
Published | |
Homepage | https://github.com/BinaryAnalysisPlatform/bap/ |
Issue Tracker | https://github.com/BinaryAnalysisPlatform/bap/issues |
Maintainer | Ivan Gotovchits <ivg@ieee.org> |
Dependencies |
|
Source [http] | https://github.com/BinaryAnalysisPlatform/bap/archive/v1.6.0.tar.gz sha256=7eec2cc3ad72056f254b57371778d774d980b6d37f48e250bfa792f1f975bcc9 md5=0ccf6571613c0666a37d154c7f70af4f |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bare/bare.1.6.0/opam |
Required by
- bap-primus-support>=1.4.0 & <2.2.0