candidate_search.h File Reference

This file contains the function for HAWKEYE's candidate search as well as a struct for configuring the search algorithm. More...

#include "hal_core/utilities/enums.h"
#include "hal_core/utilities/result.h"
#include "hawkeye/register_candidate.h"
#include <vector>

Include dependency graph for candidate_search.h:

Go to the source code of this file.

Classes
struct	hal::hawkeye::DetectionConfiguration
	Configuration to set up the register candidate search. More...

Namespaces
	hal
	hal::hawkeye

Functions
Result< std::vector< RegisterCandidate > >	hal::hawkeye::detect_candidates (Netlist *nl, const std::vector< DetectionConfiguration > &configs, u32 min_state_size=40, const std::vector< Gate * > &start_ffs={})
	Attempt to locate candidates for symmetric cryptographic implementations within a gate-level netlist. More...

Detailed Description

This file contains the function for HAWKEYE's candidate search as well as a struct for configuring the search algorithm.

Definition in file candidate_search.h.