北京中科天齐信息技术有限公司在经过企业申报、提交申报材料、专家评审、认定报备、公示公告等一系列程序的严格审核后，荣获“国家高新技术企业”和“中关村高新技术企业”认定，实现了双高新认定。国家高新技术企业高新技术企业是发展高新技术产业的重要基础，是调整产业结构、提高国家竞争力的生力军，在我国经济发展中占有十分重要的战略地位，一直受到各级政府的高度重视、鼓励和支持。按照规定，只有当企业研发投入占比、高新技术产品收入占比、科技人员数量、技术创新能力等核心指标满足一定条件才能获此认定。中关村高新技术企业"中关村高新技术企业"由北京中关村科技园区管理委员会审核，通过一系列严格的要求，包括企业资质、科技研发能力、技术创新能力、企业发展情况以及填报资料真实性等方面的考察，最终确定是否可以获得资质认定，是国家为支持高新企业发展，提高国家综合经济竞争力而设立。本次中科天齐获得双高新技术企业的认定，是国家对企业在科技创新上的认可和支持，同时也标志着中科天齐正式迈入高新技术企业行列。中科天齐将继续以技术为核心，以市场发展为导向，积极提升企业核心竞争力、创造力和生命力。同时更加注重知识产权、培养优秀技术人才队伍，加强科技成果转化应用能力，助推公司高质量发展，助力网络安全建设。WuKong静态代码安全测试工具 “Wukong”作为一款静态代码安全测试工具，支持多种开发语言的安全缺陷检测，兼容多种国产化环境，帮助用户提升抵御网络攻击、防止数据泄露等安全问题的能力。

近日，第33届The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 在奥地利维也纳举办。ISSTA是软件工程四大会之一，被评级为CCF-A。中科天齐团队成员施程航和李昊峰前往参会。在会上，施程航展示了题为“Better Not Together: Staged Solving for Context-Free Language Reachability “的研究成果。该工作针对应用广泛的程序分析框架——CFL可达性提出了一种名为”staged solving“的求解方法，相比现有方法可大大提升CFL可达性的求解效率，最高加速比接近三个数量级。在场很多研究者对该工作表达了浓厚的兴趣，团队成员相应回答了他们的问题。该工作的主要思路是将上下文无关文法通过语法分解为一个更小的括号匹配文法和正则文法，接着提出了多阶段求解(staged solving)在两个阶段分别求解两个文法对应的可达性。通过利用文法的特性，该工作分别提出了高效的可达性求解算法。在实验评估中，该方法的加速比可达约三个数量级。 ISSTA 是专注于软件测试与分析的高影响力会议。从 2023 年起，ISSTA 采用了两阶段投稿流程。对于在第一轮中被评为 "Major Revision"(大修) 的论文，作者可根据评审意见修改论文后，提交到会议的第二轮，由同一组审稿人评审。2024 年，ISSTA 共收到 694 篇投稿，最终接收 143 篇，其中第一轮接收 106 篇，第二轮接收 37 篇，总接收率为 20.61%。

近日，OOPSLA 2024即面向对象编程系统、语言及应用大会在美国帕塞迪纳举行，中科天齐团队成员李昊峰博士在会上展示了题为《Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers》的研究成果。该研究对经典IFDS算法进行优化，能够大幅减少数据流值的数量，该技术平均可以加速两个数量级，同时可以提升分析精度。信息流分析技术是检测软件安全缺陷的基础分析方法，其中基于IFDS分析框架的信息流分析由于其高精度得到广泛应用，该分析已经实现到主流的分析和编译框架中(如：WALA、Soot、LLVM等)。但IFDS分析算法由于其复杂度高，往往无法在有限的计算资源下分析复杂的应用程序。这篇文章提出了将基于访问路径的域敏感表示转换成基于CFL的表示以减少数据流值的数量，从而将传统的IFDS问题转化成IDE问题，通过定义Field CFL并实现高效的求解算法维护域敏感，能够平均加速2个数量级。 OOPSLA是一个专注于面向对象编程系统、语言及应用的顶尖学术盛会，是中国计算机学会(CCF)推荐的程序设计语言领域三个A类学术会议之一。每年，它将来自学术界和工业界的研究人员和从业人员聚集在一起，讨论编程语言领域的最新理论、技术和应用。