private static ISection get_decorated_section(ElfFile bf, ISection section, string add_to_name)
{
var decorated_name = section.Name + add_to_name;
var sect = bf.FindSection(decorated_name);
if (sect == null)
{
sect = bf.CopySectionType(section, decorated_name);
}
return(sect);
}
