How to use plugins? Specifically, the mem_write plugin.
rlt3 opened this issue · 0 comments
Hello, I do not understand how use the plugins. Specifically, I want to use the mem_write plugin. I have edited the source of 'src/ail.ml' and uncommented the following lines:
let open Mem_write in
let module MW = Mem_write in
let il' = MW.process il in
What do I do at this point? I have re-ran the Uroboros program via python uroboros.py /bin/ls
but I do not see any output nor any relevant output files related to the plugin.
I see the mem_write.ml
inside of the plugins folder however I don't know if I need to do anything with those files specifically to get the plugin to work. I also see the mem_write.native
executable and have ran it but it doesn't seem to produce any output with any of the arguments I've tried giving it.
The environment I am using is a Ubuntu 12.04 VM with Ocaml 4.01.0 and all the plugins as stated in the README.
Thanks for any help.