-
公开(公告)号：CN119739633A
公开(公告)日：2025-04-01
申请号：CN202411801062.2
申请日：2024-12-09
Applicant: 北京邮电大学
IPC: G06F11/3668 , G06F21/57 , G06F21/56
Abstract: 本发明提供一种基于读写关系的并发缺陷检测方法及系统，属于并发缺陷检测技术领域，包括：获取原始轨迹，原始轨迹用于触发被测程序的已知并发缺陷；调整原始轨迹中的线程调度顺序，生成第一验证轨迹；对第一验证轨迹和被测程序进行静态分析，得到可疑读写关系；根据可疑读写关系，调整第一验证轨迹中的线程交错顺序，生成多个第二验证轨迹；利用全部第二验证轨迹对被测程序进行再次并发缺陷测试，以识别被测程序是否存在额外并发缺陷。本发明通过轨迹生成、静态分析和线程交错顺序调整的协同机制，精准检测并发程序的已知缺陷并探索潜在缺陷，从而实现在复杂并发程序中高效且全面地检测和验证是否存在额外的并发缺陷。
-
公开(公告)号：CN117370150B
公开(公告)日：2024-08-20
申请号：CN202311146304.4
申请日：2023-09-06
Applicant: 北京邮电大学
Abstract: 本发明提供一种用于验证修复原子性违反补丁的方法，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。从而可以对并发程序中各个路径的原子性是否违反都进行验证，更全面地验证并发程序中的原子性违反。
-
公开(公告)号：CN117370150A
公开(公告)日：2024-01-09
申请号：CN202311146304.4
申请日：2023-09-06
Applicant: 北京邮电大学
Abstract: 本发明提供一种用于验证并发程序原子性违反的方法、装置及电子设备，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。从而可以对并发程序中各个路径的原子性是否违反都进行验证，更全面地验证并发程序中的原子性违反。
-
-
Search Results
13
records
(took 0.046 seconds)
