{"action":"created","issue":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/190","labels_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/190/labels{/name}","comments_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/190/comments","events_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/190/events","html_url":"https://github.com/BinaryAnalysisPlatform/bap/issues/190","id":70519973,"number":190,"title":"#require \"bap.top\" ends with unbound values prefixed with Core_kernel_kernel.xx","user":{"login":"karatemonkey63","id":7251144,"avatar_url":"https://avatars.githubusercontent.com/u/7251144?v=3","gravatar_id":"","url":"https://api.github.com/users/karatemonkey63","html_url":"https://github.com/karatemonkey63","followers_url":"https://api.github.com/users/karatemonkey63/followers","following_url":"https://api.github.com/users/karatemonkey63/following{/other_user}","gists_url":"https://api.github.com/users/karatemonkey63/gists{/gist_id}","starred_url":"https://api.github.com/users/karatemonkey63/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/karatemonkey63/subscriptions","organizations_url":"https://api.github.com/users/karatemonkey63/orgs","repos_url":"https://api.github.com/users/karatemonkey63/repos","events_url":"https://api.github.com/users/karatemonkey63/events{/privacy}","received_events_url":"https://api.github.com/users/karatemonkey63/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2015-04-23T21:36:23Z","updated_at":"2015-04-29T13:45:41Z","closed_at":"2015-04-24T13:35:30Z","body":"Below is what I ran. Then tried the example playing around stuff from the start page. \r\n\r\nI get :\r\n\r\nUnbound value Core_kernel_kernel.Std.Nothing.pp.\r\nUnbound value Core_kernel_kernel.Std.Host_and_port.pp.\r\nUnbound value Core_kernel_kernel.Std.Float.pp.\r\nUnbound value Core_kernel_kernel.Std.Nativeint.pp.\r\nUnbound value Core_kernel_kernel.Std.Int64.pp.\r\nUnbound value Core_kernel_kernel.Std.Int32.pp.\r\nUnbound value Core_kernel_kernel.Std.Int.pp.\r\nUnbound value Core_kernel_kernel.Std.Exn.pp.\r\n\r\nWhich looks like a name is getting kernel once more than it should. \r\n\r\nIf I try to continue with the example, I get errors with \r\n\r\n# let d = disassemble_file \"ls\";;\r\nval d : Bap.Std.disasm Core_kernel.Std.Or_error.t =\r\n  Core_kernel.Result.Error (\"Unix.Unix_error(Unix.ENOENT, \\\"open\\\", \\\"ls\\\")\")\r\n\r\nI'm guessing there is a module dependency that ahs the name Core_kernel, that should really be Core. Then again, I have no idea. Anyway, help\r\n_______________________________________________________________________________\r\nroot@ubuntu:/# opam install bap -e ubuntu\r\n[NOTE] Package bap is already installed (current version is 0.9.5).\r\nroot@ubuntu:/# ocaml\r\n        OCaml version 4.02.1\r\n\r\n# #use \"topfind\";;\r\n- : unit = ()\r\nFindlib has been successfully loaded. Additional directives:\r\n  #require \"package\";;      to load a package\r\n  #list;;                   to list the available packages\r\n  #camlp4o;;                to load camlp4 (standard syntax)\r\n  #camlp4r;;                to load camlp4 (revised syntax)\r\n  #predicates \"p,q,...\";;   to set these predicates\r\n  Topfind.reset();;         to force that packages will be reloaded\r\n  #thread;;                 to enable threads\r\n\r\n- : unit = ()\r\n#  #require \"bap.top\";;\r\n/usr/lib/ocaml/dynlink.cma: loaded\r\n/usr/lib/ocaml/camlp4: added to search path\r\n/root/.opam/system/lib/type_conv: added to search path\r\n/usr/lib/ocaml/unix.cma: loaded\r\n/usr/lib/ocaml/bigarray.cma: loaded\r\n/root/.opam/system/lib/bin_prot: added to search path\r\n/root/.opam/system/lib/bin_prot/bin_prot.cma: loaded\r\n/root/.opam/system/lib/comparelib: added to search path\r\n/root/.opam/system/lib/comparelib/comparelib.cma: loaded\r\n/root/.opam/system/lib/custom_printf: added to search path\r\n/root/.opam/system/lib/custom_printf/custom_printf.cma: loaded\r\n/root/.opam/system/lib/variantslib: added to search path\r\n/root/.opam/system/lib/variantslib/variantslib.cma: loaded\r\n/root/.opam/system/lib/sexplib: added to search path\r\n/root/.opam/system/lib/sexplib/sexplib.cma: loaded\r\n/root/.opam/system/lib/enumerate: added to search path\r\n/root/.opam/system/lib/fieldslib: added to search path\r\n/root/.opam/system/lib/fieldslib/fieldslib.cma: loaded\r\n/root/.opam/system/lib/pa_bench: added to search path\r\n/root/.opam/system/lib/pa_bench/pa_bench_lib.cma: loaded\r\n/root/.opam/system/lib/oUnit: added to search path\r\n/root/.opam/system/lib/oUnit/oUnitAdvanced.cma: loaded\r\n/root/.opam/system/lib/oUnit/oUnit.cma: loaded\r\n/root/.opam/system/lib/pa_ounit: added to search path\r\n/root/.opam/system/lib/pa_ounit/pa_ounit_lib.cma: loaded\r\n/root/.opam/system/lib/pa_test: added to search path\r\n/root/.opam/system/lib/pa_test/pa_test_lib.cma: loaded\r\n/root/.opam/system/lib/typerep_lib: added to search path\r\n/root/.opam/system/lib/typerep_lib/typerep_lib.cma: loaded\r\n/root/.opam/system/lib/core_kernel: added to search path\r\n/root/.opam/system/lib/core_kernel/core_kernel.cma: loaded\r\n/root/.opam/system/lib/herelib: added to search path\r\n/root/.opam/system/lib/faillib: added to search path\r\n/usr/lib/ocaml/compiler-libs: added to search path\r\n/root/.opam/system/lib/bitstring: added to search path\r\n/root/.opam/system/lib/bitstring/bitstring.cma: loaded\r\n/root/.opam/system/lib/bap: added to search path\r\n/root/.opam/system/lib/bap/elf.cma: loaded\r\n/root/.opam/system/lib/zarith: added to search path\r\n/root/.opam/system/lib/zarith/zarith.cma: loaded\r\n/root/.opam/system/lib/bap/types.cma: loaded\r\n/root/.opam/system/lib/bap/dwarf.cma: loaded\r\n/root/.opam/system/lib/bap/bap_image.cma: loaded\r\n/root/.opam/system/lib/camlzip/../zip: added to search path\r\n/root/.opam/system/lib/camlzip/../zip/zip.cma: loaded\r\n/root/.opam/system/lib/bap/disasm.cma: loaded\r\n/root/.opam/system/lib/findlib: added to search path\r\n/root/.opam/system/lib/bap/bap.cma: loaded\r\n/root/.opam/system/lib/bap/elf_backend.cma: loaded\r\n/root/.opam/system/lib/bap/llvm.cma: loaded\r\n/root/.opam/system/lib/bap/plugins.cma: loaded\r\n/root/.opam/system/lib/bap/top.cma: loaded\r\nUnbound value Core_kernel_kernel.Std.Nothing.pp.\r\nUnbound value Core_kernel_kernel.Std.Host_and_port.pp.\r\nUnbound value Core_kernel_kernel.Std.Float.pp.\r\nUnbound value Core_kernel_kernel.Std.Nativeint.pp.\r\nUnbound value Core_kernel_kernel.Std.Int64.pp.\r\nUnbound value Core_kernel_kernel.Std.Int32.pp.\r\nUnbound value Core_kernel_kernel.Std.Int.pp.\r\nUnbound value Core_kernel_kernel.Std.Exn.pp.\r\n# \r\n"},"comment":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/comments/97430103","html_url":"https://github.com/BinaryAnalysisPlatform/bap/issues/190#issuecomment-97430103","issue_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/190","id":97430103,"user":{"login":"karatemonkey63","id":7251144,"avatar_url":"https://avatars.githubusercontent.com/u/7251144?v=3","gravatar_id":"","url":"https://api.github.com/users/karatemonkey63","html_url":"https://github.com/karatemonkey63","followers_url":"https://api.github.com/users/karatemonkey63/followers","following_url":"https://api.github.com/users/karatemonkey63/following{/other_user}","gists_url":"https://api.github.com/users/karatemonkey63/gists{/gist_id}","starred_url":"https://api.github.com/users/karatemonkey63/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/karatemonkey63/subscriptions","organizations_url":"https://api.github.com/users/karatemonkey63/orgs","repos_url":"https://api.github.com/users/karatemonkey63/repos","events_url":"https://api.github.com/users/karatemonkey63/events{/privacy}","received_events_url":"https://api.github.com/users/karatemonkey63/received_events","type":"User","site_admin":false},"created_at":"2015-04-29T13:45:41Z","updated_at":"2015-04-29T13:45:41Z","body":"Sorry about that. I copied the wrong screen. I was using the full path and getting the error. However, it turns out it was a problem with installation of OCAML. Somehow the core module wasn't installed. \n\n----- Original Message -----\n\nFrom: \"Ivan Gotovchits\" <notifications@github.com> \nTo: \"BinaryAnalysisPlatform/bap\" <bap@noreply.github.com> \nCc: \"karatemonkey63\" <gerryvanwinkle@gvtc.com> \nSent: Friday, April 24, 2015 8:35:33 AM \nSubject: Re: [bap] #require \"bap.top\" ends with unbound values prefixed with Core_kernel_kernel.xx (#190) \n\n\n\naccording to the error message: \nCore_kernel.Result.Error (\"Unix.Unix_error(Unix.ENOENT, \\\"open\\\", \\\"ls\\\")\")\n                                                                                                            ^^^^^^ \n\n\nYou're still trying to open \"ls\" that is in your local folder, not \"/bin/ls\" \n\n— \nReply to this email directly or view it on GitHub . \n\n\n"}}