Binfuzz.js: A Binary Fuzzer in JavaScript