fingerprint.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <string>
#include <goto-symex/equation/symex_target_equation.h>

enum class fingerprint_modet
{
  raw,
  srcloc,
  full,
};

uint64_t ssa_cone_digest(
  const symex_target_equationt::SSA_stepst &steps,
  fingerprint_modet mode);

struct ssa_cone_keyt
{
  uint64_t lo;
  uint64_t hi;
};
 
ssa_cone_keyt ssa_cone_key(
  const symex_target_equationt::SSA_stepst &steps,
  fingerprint_modet mode);

std::string ssa_cone_key_string(
  const symex_target_equationt::SSA_stepst &steps,
  fingerprint_modet mode);

uint64_t fingerprint_hash(const std::string &s);

size_t ssa_cone_size(const symex_target_equationt::SSA_stepst &steps);