为何ELF的.init_array段被标记为可读可写？

• 动态链接时的运行时修改需求：当程序采用动态链接方式时，动态链接器（如ld.so）需要在加载过程中向.init_array添加额外的初始化函数指针。比如部分动态库的初始化逻辑需要纳入主程序的初始化流程，动态链接器会在运行时修改这个数组完成注册操作。

• 工具链实现的兼容性与简化：早期ELF标准和工具链实现里，将.init_array设为可写可以避免在静态、动态链接等不同场景下区分段权限的复杂逻辑。统一设置为可写能让链接器和加载器的实现更简洁，不用针对不同链接模式生成不同的权限标记。

• 调试与运行时扩展的需求：虽然常规应用不会修改这个段，但调试工具、动态插桩框架（比如用于性能分析、代码覆盖率统计的工具）可能需要在运行时修改.init_array来注入自定义初始化逻辑。保留可写权限能支持这类调试和扩展场景。

内容的提问来源于stack exchange，提问作者Shachar Shemesh