search

5hadowblad3 / Beacon_artifact

Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
Apache License 2.0
29 stars 4 forks source link

Something wrong in Ins #6

Open Mech0n opened 4 months ago

Mech0n commented 4 months ago 
[-] PROGRAM ABORT : format error in loading reachability analysis result, terminating

         Location : runOnModule(), /source/main.cpp:416
Mech0n commented 4 months ago

Whether I need to change my wllvm version? I use the latest version.

5hadowblad3 commented 4 months ago

Yes. Please first try the version mentioned in the documents. We have not evaluate Beacon on other llvm version.