package rdr

  1. Overview
  2. Docs
val debug : bool
val known_program_headers : (int * ByteCoverage.tag) list
val compute_program_header_coverage : ElfProgramHeader.program_header list -> ByteCoverage.DataSet.t -> ByteCoverage.DataSet.t
val known_sections : (int * ByteCoverage.tag) list
val compute_byte_coverage : ElfHeader.t -> ElfProgramHeader.program_header list -> ElfSectionHeader.section_header array -> int -> ByteCoverage.t