LTL-Fuzzer

LTL-Fuzzer copied to clipboard

`opt` not linked

1

in function `opt_callgraph` in `AFLGo/scripts/gen_distance_fast.py`, which is need for instrumentation, the `opt` command is needed however not installed/linked ```python def opt_callgraph(args, binary): print(f"({STEP}) Constructing CG for {binary}..") dot_files = args.temporary_directory...

jf-li00

Hi! I found some incorrect or improper description of the `Installing LTL-Fuzze` and `Example Usage` parts in README: #### The directory should be `llvm_mode` instead of `llvm-mode` #### For some...

jf-li00

I've noticed the GPG key for the LLVM repository is added after running `sudo apt update`. This should be done before `sudo apt update` to avoid warnings about unauthenticated sources....

jf-li00

fatal: No url found for submodule path 'experiment/testTelnet/contiki' in .gitmodules

2


dristiron03

To be honest, the code in this repository is not ready to use out of the box, not to mention reproducing the complete experimental results. I guess the authors have...

Kherrisan