Winter2046
Results
3
comments of
Winter2046
用是可以用的，我vscode上装的是1.12.3， 2019/04/27。不知道现在有什么新的插件
The detection of speculative write is enabled. but you have to check the disassembly code at the detected location to know whether it is a read or write.
Add options "-check-div-zero=false", "-check-overshift=false" and try.