Skip to content

Test framework does not call Bap_main.init #333

@codyroux

Description

@codyroux

It is technically "undefined behavior" to call any BAP function without first having called Bap_main.init to load a number of things, including Lisp semantics and disassemblers.

We either need to publish a run_unit : unit -> unit in the lib and call it in the plugin, or do something akin to here: https://github.com/BinaryAnalysisPlatform/bap/blob/master/lib_test/bap/run_tests.ml

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions