公开(公告)号：CN118838824A

公开(公告)日：2024-10-25

申请号：CN202410873114.0

申请日：2024-07-01

Applicant: 重庆大学 ,  国科础石(重庆)软件有限公司

Inventor： 张小洪 ,  张耀升 ,  鄢萌 ,  梁家源 ,  郭天泽 ,  丁磊

IPC: G06F11/36

Abstract: 本发明涉及一种基于大模型的代码静态分析警告自动修复方法，该方法利用基于代码的大模型，通过模型在预训练阶段学习到的代码理解能力和生成能力，结合静态代码扫描分析工具对潜在异味的精准定位，能够有效地识别和修复软件代码中的潜在异味。这种方法可以显著提高软件开发的效率和代码质量，减少人工干预，同时确保更高的代码安全性和可维护性。该技术不仅适用于传统的软件开发过程，也适应于持续集成和持续部署(CI/CD)环境中的动态代码。通过这种方式，可以有效地管理和优化大规模软件项目的代码库。

公开(公告)号：CN116954892A

公开(公告)日：2023-10-27

申请号：CN202310780081.0

申请日：2023-06-28

Applicant: 国科础石(重庆)软件有限公司

Inventor： 梁家源 ,  董学明 ,  仲京臣 ,  胡自成

IPC: G06F9/50 ,  G06F21/60

Abstract: 本公开涉及一种内存划分的方法、装置、电子设备、介质及车辆，上述方法包括：获取多个可执行代码文件；上述多个可执行代码文件包括以下至少一种：不同应用的相同功能单元编译后的中间文件、相同应用的不同功能单元编译后的中间文件、不同应用的不同功能单元编译后的中间文件；对上述多个可执行代码文件中的目标代码配置差异化的标识，上述标识用于指向不同的内存空间。该方法能够实现不同应用之间的内存隔离，确保其他应用不能访问当前应用所对应的地址空间，或者同一个应用的不同功能单元之间的静态内存隔离；标识差异化配置可以通过编写程序自动化执行，有效简化了地址划分的工作量，便于维护。

公开(公告)号：CN117850878A

公开(公告)日：2024-04-09

申请号：CN202311861758.X

申请日：2023-12-29

Applicant: 国科础石(重庆)软件有限公司

Inventor： 梁家源 ,  丁磊 ,  胡自成

IPC: G06F9/38 ,  G06F9/32

Abstract: 本公开涉及一种提高RTOS稳定性的方法、装置、车辆、设备及介质，其中，该方法包括当CPU访问指针出错触发异常时，确定当前程序计数器指向的指令地址；获取并分析所述程序计数器指向的指令地址之前的多条指令，确定出错指针的地址；若所述出错指针的地址在存储辅助指针的内存地址段范围内，则在异常处理函数中执行用户自定义的代码，使所述程序计数器指向触发异常时的下一条指令地址；其中，所述辅助指针为用于存放辅助函数或数据的指针，所述辅助函数或数据是用来执行辅助性的操作或存储一些辅助性的数据，以解决对当系统指针访问异常导致系统宕机而影响系统运行稳定性的问题。

公开(公告)号：CN117251368A

公开(公告)日：2023-12-19

申请号：CN202311176503.X

申请日：2023-09-12

Applicant: 国科础石(重庆)软件有限公司

Inventor： 梁家源 ,  谢宝友 ,  丁磊

IPC: G06F11/36

Abstract: 本公开涉及一种调试信息输出方法、装置、电子设备和存储介质。其中，调试信息输出方法包括：利用自定义的调试信息存储函数，将待调试程序的用户态代码中的调试信息存储到内核信息缓冲区；其中，待调试程序基于目标操作系统开发，待调试程序包括用户态代码和内核库函数；利用目标操作系统提供的内核信息缓冲区输出命令，打印内核信息缓冲区中的调试信息。