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.

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap/archive/v1.4.0.tar.gz
md5=b7785715c24645e8e69a8091427d090e
StatisticsInstalled 38 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bare/bare.1.4.0/opam
Required by