WEB程序污点分析的形式化定义和验证研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 大模型推理场景下的高效显存复用技术研究（国自然，郭帆，2025）
• 铜基金属有机框架的晶面设计及光催化还原二氧化碳依赖性研究（国自然，郭帆，2021）
• 感应电压叠加器中感应腔工作电压与驱动时序的关联性研究（国自然，郭帆，2019）
• 生殖生物学（国自然，郭帆，2018）
• 哺乳动物早期胚胎核小体重构及其调控机制研究（国自然，郭帆，2017）

江西师范大学其他项目

• 昆虫通过Yki-Foxo模块的乙酰化修饰权衡生长和免疫防御的机制探究（国自然，周紫堂，2026）
• 基于益生菌的复合免疫激活剂的构建及其抗肿瘤效果的研究（国自然，曾思敏，2026）
• 微米水滴高效抑菌机制及在三文鱼保鲜的绿色应用研究（国自然，山珊，2026）
• 基于噬菌体-MOF荧光阵列集成微流控芯片的多重致病菌快速检测技术研究（国自然，邵艳娜，2026）
• 转录因子TFEB通过调控溶酶体活性介导肿瘤干细胞不对称分裂的机制研究（国自然，魏满坤，2026）
• 水溶性紫苏多酚消减冷藏草鱼肉劣变风味物质的机制研究（国自然，涂宗财，2026）
• eccDNA-circRNA-ROS轴介导东乡野生稻低温适应机制研究（国自然，杜尚广，2026）
• 晶体场与陷阱态协同调控构筑Eu2+基高效近红外长余辉发光材料及其应用研究（国自然，丁松松，2026）

软件理论、软件工程与服务学科其他项目

• 融合业务过程和物联大数据的服务抽象与编程机制研究（国自然，韩燕波，2020）
• 回归缺陷链的恢复、分析与预测研究（国自然，肖冠平，2020）
• 智能化符号执行方法研究（国自然，张羽丰，2020）
• 基于持续度量的软件体系结构追踪与重构关键技术研究（国自然，莫然，2020）
• 数据驱动的软件持续演化方法和技术研究（国自然，余萍，2020）
• 多源数据驱动的不可重复构建问题定位与修复研究（国自然，任志磊，2020）
• 面向多模态监控数据的微服务无监督异常检测与定位（国自然，裴丹，2020）
• 基于蜕变关系的编译工具链缺陷检测技术研究（国自然，杨已彪，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• Frontiers in Virtual Reality（IF 3.900，JCR Q2）
• Proceedings of the ACM on Programming Languages-PACMPL（IF 3.300，JCR Q2）
• Proceedings of the ACM on Computer Graphics and Interactive Techniques（IF 3.100，JCR Q2）