Google researchers Jordy Zomer & Alexandra Sandulescu explain how they used CodeQL to discover Spectre-v1 gadgets in the Linux kernel.
Finding Gadgets for CPU Side-Channels with Static Analysis Tools
https://github.com/google/security-research/blob/master/pocs/cpus/spectre-gadgets/README.md
0 Comments
No comments yet.