-
公开(公告)号：CN110188540B
公开(公告)日：2021-06-22
申请号：CN201910309528.X
申请日：2019-04-17
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种基于控制状态跟踪的ROP攻击检测方法，对传统动态污点分析的方法进行了简化，仅以攻击者控制的寄存器为跟踪对象，步骤包括：为每个寄存器维护一个标记组 ，该标记组 用来表示寄存器状态，其中Tb标记记录寄存器所来源的基地址寄存器，Tc标记记录寄存器是否可控；基于可控标记和操作类型，判断当前操作是否为有效操作，对有效操作进行累计，在指令片段gadget结尾处，根据累计的正向有效操作数判断当前gadget是否为有效gadget；对检测到的有效gadget进行累计，根据当前有效gadget数以及可控寄存器数是否超过阈值，来判断当前是否遭受了ROP攻击。
-
公开(公告)号：CN102541642A
公开(公告)日：2012-07-04
申请号：CN201110450432.9
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A、通过发送信号量的方式调度某一个任务；B、设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排到同任务优先级队列；反之则强制抢占处理器资源并执行该任务；C、为所述某一任务指定优先级抢占阀值，根据该阀值判定是否允许抢占该任务；D、当所述某一任务添加到所述同任务优先级队列中时，根据其信号量以及抢占阀值判断其所属优先级等级，并在所述同优先级就绪任务队列中定位插入位置，从而形成一个有序的任务阻塞队列。
-
公开(公告)号：CN102103501A
公开(公告)日：2011-06-22
申请号：CN201010603424.9
申请日：2010-12-14
Applicant: 中国科学院软件研究所
IPC: G06F9/44
Abstract: 本发明属于软件过程仿真和建模领域，公开了一种预测软件过程执行时间和开发成本的方法，通过as-TRISO/ML过程仿真建模语言建立软件过程模型；并根据历史经验等指派模型中实际活动的属性，及待分配人力资源的属性；进而将人员分配给过程活动；进一步将上述过程模型、属性和人力资源分配输入软件过程随机仿真工具，通过拟指派的参数对仿真模型进行多次仿真，分析仿真结果，获得软件过程同一活动的执行时间和开发成本、过程执行时间和开发成本的概率分布、及其他衍生指标。本发明简化过程建模的复杂度；考虑了返工出现的原因和影响，比传统的基于经验的返工分析方法更为准确；且能够从多个角度呈现了仿真分析的结果，提高了软件过程分析的准确性和实用性。
-
公开(公告)号：CN118330425A
公开(公告)日：2024-07-12
申请号：CN202410386570.2
申请日：2024-04-01
Applicant: 中国科学院软件研究所
Abstract: 本发明提供一种基于语义等价程序执行的符号化快速错误检测方法，属于芯片形式化验证领域，改进现有的符号化快速错误检测，将原始指令和复制指令在待验证处理器模型中执行结果的比较，改变为原始指令和语义等价程序在待验证处理器模型中执行结果的比较。寻找原始指令和语义等价的程序提出了基于最高优先级优先的反例引导的归纳综合算法，能够在面对大型组件库的时候短时间内为原始指令综合出期望的等价程序。本发明方法可以覆盖所有能引起处理器可见架构状态改变的逻辑错误类型，在逻辑错误的发现时间和生成的反例轨迹方面也比原符号化快速错误检测方法更具优势。
-
公开(公告)号：CN105138601B
公开(公告)日：2019-03-26
申请号：CN201510477815.3
申请日：2015-08-06
Applicant: 中国科学院软件研究所
IPC: G06F16/53
Abstract: 本发明提供一种支持模糊约束关系的图模式匹配方法，涉及图信息查询技术领域，用于解决现有技术无法在满足所有精确约束的基础上，支持对模糊约束关系的匹配的问题。所述方法包括：通过输入层，获取用户输入的查询图Q和存储的目标数据图G，所述查询图中既包含精确约束关系又包含模糊约束关系；通过精确匹配层，在所述目标数据图中，针对用户输入的查询图中的精确约束关系进行精确地图匹配，并在所述目标数据图中构建带有合并节点的引导图；通过模糊搜索层，在所述引导图中，找出并输出在满足所有精确约束基础上对模糊约束匹配质量最好的K个匹配图。本发明适用于在大规模目标数据图中，进行支持模糊约束关系与精确约束关系的混合查询。
-
Patent Agency Ranking
公开(公告)号：CN103559131A
公开(公告)日：2014-02-05
申请号：CN201310548119.8
申请日：2013-11-07
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，如果是则算法停止，否则从c出发，通过数据和控制依赖分析标识可能存在的其它异常值集合V’，并将集合V’中的异常值加入集合V中；迭代以上步骤，直到找到含错误语句的原因为止；最后输出含有错误语句的最小原因，以及该原因产生的异常值传递到失败断言语句所经过的原因集合。本发明在帮助调试人员执行错误定位的同时，还能提供有效的信息来辅助调试人员理解错误的形成原因，进而帮助其修护错误。
-
公开(公告)号：CN102226913A
公开(公告)日：2011-10-26
申请号：CN201110133561.5
申请日：2011-05-23
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种自动生成Bug修复计划的方法及BUG修复方法，属于计算机软件工程领域。本方法为：1)资源建模模块提取所输入Bug报告集合的属性信息；2)资源建模模块提取所存储人力资源的属性信息；3)任务调度模块根据所提取的属性信息，获得每一Bug修复活动所需的候选人力资源集合；4)设置一遗传算法可识别的二进制染色体结构，其包括修复活动的候选资源和修复活动执行的优先级；5)任务调度模块利用遗传算法对二进制染色体结构进行寻优，得到所输入Bug报告集合的最优修复计划。本发明提高了人力资源配置的准确性，降低了计划过程中对人的主观意识的依赖，提高了人力资源利用率。
-
公开(公告)号：CN117875250A
公开(公告)日：2024-04-12
申请号：CN202311761094.X
申请日：2023-12-20
Applicant: 中国科学院软件研究所
IPC: G06F30/39
Abstract: 本发明公开了一种带有时序信息的集成电路物理设计数据集的构建方法，属于集成电路设计领域。本方法从模块和单元物理库文件LEF中提取结构信息；从标准单元、SRAM、IP的时序库中提取时序信息；从物理库文件DEF中提取结构信息；从集成电路模块物理实现后的网表中提取结构信息，定义形成图结构；收集该集成电路模块经过物理实现后的时序报告；建立库数据和果数据。本方法从实际芯片设计数据中提取所需数据，最终为集成电路物理设计人工智能算法研究提供数据支持。
-
公开(公告)号：CN103559131B
公开(公告)日：2017-04-26
申请号：CN201310548119.8
申请日：2013-11-07
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，如果是则算法停止，否则从c出发，通过数据和控制依赖分析标识可能存在的其它异常值集合V’，并将集合V’中的异常值加入集合V中；迭代以上步骤，直到找到含错误语句的原因为止；最后输出含有错误语句的最小原因，以及该原因产生的异常值传递到失败断言语句所经过的原因集合。本发明在帮助调试人员执行错误定位的同时，还能提供有效的信息来辅助调试人员理解错误的形成原因，进而帮助其修护错误。
-
公开(公告)号：CN102567096B
公开(公告)日：2017-02-08
申请号：CN201110450433.3
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况，对任务状态控制块中存放占有信号量的个数的域以及互斥信号量状态数组进行更新。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.025 seconds)
