analyzer
Component that analyzes the binary to extract Spectre transmissions and their properties.
reasoner
Component that analyzes the transmissions found by the analyzer and assesses their exploitability.