GitHub repository: taisii/spectector
Description: Automatic detection of speculative information flows