package rdr
-
rdr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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_section_coverage :
int ->
ByteCoverage.tag ->
ByteCoverage.DataSet.t ->
ElfSectionHeader.section_header ->
ByteCoverage.DataSet.t
val compute_section_header_coverage :
ElfHeader.t ->
ElfSectionHeader.section_header array ->
ByteCoverage.DataSet.t ->
ByteCoverage.DataSet.t
val compute_byte_coverage :
ElfHeader.t ->
ElfProgramHeader.program_header list ->
ElfSectionHeader.section_header array ->
int ->
ByteCoverage.t