bap-plugins
bap-plugins copied to clipboard
BAP Plugins Repository
Getting compilation errors for soluku: `make File "state.ml", line 53, characters 31-38: Error: Unbound value Map.set`
` Dict.to_sequence (Term.attrs arg) |> Seq.iter ~f:(fun (type_id, v)-> print_endline @@ Value.Typeid.to_string type_id ^ " -> " ^ Value.to_string v);` When i write some like the up , the _type_id_...
To support API changes in both to be aligned with the issue/PR in BAP itself: https://github.com/BinaryAnalysisPlatform/bap/pull/820