二进制翻译技术综述

随着信息技术的快速发展,涌现出各种新型处理器体系结构.新的体系结构出现为处理器多样化发展带来机遇的同时也提出了巨大挑战,需要兼容运行已有软件,确保较为丰富的软件生态群.但要在短期内从源码编译构建大量生态软件并非易事,二进制翻译作为一种直接从二进制层面迁移可执行代码技术,支持跨平台软件兼容运行,既扩大了软件生态群,又有效降低了应用程序与硬件之间的耦合度.近年来,二进制翻译技术研究取得了较大进展.为总结现有成果并分析存在的不足,首先介绍二进制翻译技术的分类以及典型的二进制翻译系统,之后从指令翻译方法、关键问题研究、优化技术等方面分别进行分析总结,接着阐述二进制翻译技术的核心应用领域,最后对二进制翻译技术的潜在研究方向进行展望.

基于备份控制流信息的缓冲区溢出监测技术

C/C++在提供灵活的使用方式和高效目标码的同时,由于缺少边界检查机制,缓冲区溢出成为C/C++程序面临的一种严重的攻击威胁。给出了一种缓冲区溢出攻击的动态防护方法。使用在库中声明的数组来备份函数的控制流信息,包括返回地址和栈帧指针,来动态监测非法的篡改行为。该方法可以对缓冲区溢出攻击中的直接攻击和间接攻击均有效防护。通过RIPE基准平台和两道实际应用的测试以及理论比较表明该方法的有效性。

容错情形的精准化界定及其法治化路径——基于地方性党内法规的研究

容错情形界定是容错免责机制建立健全的基础,其精准化界定程度决定着容错免责机制的实践效果。基于对12个省、自治区、直辖市关于容错免责党内法规的研究发现,容错情形界定在精准方面存在着混淆容错情形与其认定条件的关系、模糊容错免责与一般免责之间的区别、淡化容错情形界定的地方特色与针对性、忽视容错情形兜底条款的潜在风险、割裂不能容错情形与问责情形的内在关联等方面的问题。实现容错情形界定的精准化,必须遵循法治原则,以法治方式厘清容错情形与其认定条件的关系,区分容错免责与一般免责两类情形,突出地方特色并保证容错情形的周延性,规范兜底条款的规定方式和解释规则,推进容错与问责的机制衔接和相互支撑。

基于Libsafe库的缓冲区溢出检测算法改进

C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法。逐条匹配函数体指令与已知候选集指令来获取栈信息。并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索。对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析。从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性。

生态环保领域容错纠错机制优化分析——基于浙江山东两省政策文本的考察

科学合理的容错纠错机制有助于鼓励和激发生态环保部门及其干部的改革创新、干事担当精神,从而推动相关生态环境问题得到有效解决,因此,在推进生态环保领域问责制度完善的同时,也需要探索和建立健全容错纠错机制。梳理地方政策文本可以发现,生态环保领域容错纠错机制存在容错的概念模糊、容错与问责边界不清、容错主体及其职责不明确、纠错机制未得到足够重视、党内规定适用范围泛化五个方面的问题。优化生态环保领域容错纠错机制需要从五个方面着手推进:一是明晰概念范畴;二是划清“问容”边界;三是明确容错主体;四是推动“容纠”并举;五是实现“党政”衔接。

农村社区建设国内外研究综述

[目的/意义]随着国家深入推进农村社区建设试点工作和提出实施乡村振兴计划,农村社区建设日益成为一个多学科共同研究的热门领域,对该方面的国内外文献进行梳理和总结具有重要的理论和现实意义。[方法/过程]本文主要采用了文献研究法和比较研究法两种方法。基于对前人研究成果的分析和归纳,本文先阐释了农村社区建设的基本概念、源起和意义;接着,分主题综述了农村社区建设的国内外研究成果;最后,文章对国内关于农村社区建设的研究成果进行了简短的评价,并提出了对进一步研究的展望。[结果/结论]尽管我国在农村社区建设上的理论探索已取得了比较丰硕的成果,但是,从如下几个方面来看,仍有提升的空间:一是相关基本问题尚未厘清;二是从微观视角展开研究取得的成果较少;三是基于长期考察和历史比较的研究成果比较少;四是对少数民族地区农村社区建设的研究不足;五是缺少对农村社区建设考核指标和人才体系的研究;六是研究方法较为单一。基于上述情况,为推进我国农村社区建设研究,可以从丰富研究内容、拓展研究视野、完善和优化研究方法以及拓宽研究对象等四个方面展开。

监察委员会内部监督的实践优势与强化路径

监察委员会内部监督具有独立开展工作、契合国家监察工作、运行经济成本低等实践优势,是确保国家监察权在法治轨道上规范且高效运行的重要方式。在新的起点上深化国家监察体制改革,应在坚持和加强党的领导的基础上,通过明确和细化监察委员会的实体与程序性履职规定、提高和强化监察委员会专职内部监督干部的素质、优化监察委员会内部监督的干部配置与领导体制、建立和健全监察委员会内部监督考评与激励机制、建设和培育健康积极的监察委员会内部监督文化、推动和实现监察委员会内外部监督的互动与协作等举措进一步强化监察委员会内部监督效能。

容错免责机制建设的法治化路径——基于地方性党内法规的研究

容错免责机制法治化是健全党和国家监督体系、推进国家治理体系与治理能力现代化的重要保障,影响着中国特色社会主义制度优势转化为治理效能的有效性。基于对12个省、自治区、直辖市容错免责党内法规的研究发现,容错免责机制法治化建设取得了长足进展,但也存在容错免责内涵界定不清晰、容错主体宽泛且职权分配不够科学、容错对象笼统且缺乏分类、容错情形与其认定条件相混淆以及容错免责程序设定规范性不足等现实问题。为此,需要从容错内涵清晰化、容错主体明确化、容错对象科学化、容错情形精准化、容错程序规范化等方面,持续推进容错免责机制建设的法治化进程。