GitHub repository: spectector/spectector
Primary language: Prolog
Created: 2018-12-20T10:12:18Z
Description: Automatic detection of speculative information flows