『悟空』软件源代码漏洞检测_静态代码安全扫描工具-中科天齐 - www.tianqisoft.cn

『悟空』软件源代码漏洞检测

0
百度权重
0
百度移动
0
3 6 0权重
0
搜狗权重
热度
3
出站链接

网站编号：20454
最后点入：2026-07-19 20:16:21
加入时间：2024-04-21 07:13:03
网站备案: -

网站URL： https://www.tianqisoft.cn
预估IP流量：-
IP地址：47.92.7.60
备案方: -

关键词：(103个字符)
悟空、 wukong、中科天齐、代码检测、软件安全、静态代码检测、静态代码分析、代码安全检测、代码漏洞检测、代码缺陷检测、代码安全扫描、代码分析工具、代码扫描工具、软件安全扫描、软件漏洞检测、软件安全测试工具、
网站简介：(107个字符)
中科天齐『悟空WuKong』专业的软件源代码安全检测系统、静态代码分析工具，快速扫描检测软件在开发过程中出现的技术与逻辑漏洞，自动化修复软件代码中存在的质量缺陷,提升用户抵御网络攻击、防止数据泄露等安全问题的能力。

网站截图/LOGO

在本站关于www.tianqisoft.cn说明：

www.tianqisoft.cn由网友主动性提交被QQ技术导航整理收录的，QQ技术导航仅提供www.tianqisoft.cn的基础信息并免费向大众网友展示，www.tianqisoft.cn的是IP地址：47.92.7.60，www.tianqisoft.cn的百度权重为0、百度手机权重为0、百度收录为0条、360收录为0条、搜狗收录为0条、谷歌收录为0条、百度来访流量大约在-之间、百度手机端来访流量大约在-之间、www.tianqisoft.cn的备案号是-、备案人叫-、被百度收录的关键词有0个、手机端关键词有0个、迄今为止已经创建未知。

下载地址: txt下载、docx下载、pdf下载、rar下载、zip下载

本页地址: https://qqjsdh.com/links/1830e79c699ed5732922.html

温馨提示

做上本站友情链接,在您站上点击一次,即可自动秒收录并自动排在本站第一位！
<a href="https://qqjsdh.com/" target="_blank">QQ技术导航</a>

SEO综合信息

SEO信息	百度来访IP：- \| 移动端来访IP：- \| 出站链接： \| 站内链接：22
IP网速：	IP地址：47.92.7.60 \| 网速：65毫秒
ALEXA排名	世界排名：- \| 预估IP：- \| 预估PV：-
备案信息	- \| 名称：- \| 已创建：未知

收录	百度	360	搜狗	谷歌
查询	0	0	0	0

电脑关键词	手机关键词	页面友好	首页位置	索引	近期收录
0	0	电脑端优秀	-	0	0

服务器信息协议类型 HTTP/1.1 200 OK 页面类型 text/html;charset=UTF-8 服务器类型 nginx/1.14.2 程序支持连接标识消息发送 2026年7月8日 5时38分06秒 GZIP检测未启用GZIP压缩源文件大小 47.21KB 压缩后大小启用GZIP估计可达到13.97KB 压缩率估计为70.42%

网页快照

              『 悟 空 』 软 件 源 代 码 漏 洞 检 测 _ 静 态 代 码 安 全 扫 描 工 具 中 科 天 齐 检 测 到 您 的 浏 览 器 版 本 过 低 ， 可 能 无 法 正 常 使 用 网 站 功 能 请 更 新 浏 览 器 版 本 ， 或 使 用 谷 歌 浏 览 器 、 F i r e f o x 火 狐 浏 览 器 访 问 网 站 , 更 新 浏 览 器 高 新 技 术 企 业 首 页 产 品 服 务 W u k o n g ( 悟 空 ) 产 品 功 能 检 测 服 务 服 务 优 势 案 例 合 作 伙 伴 关 于 天 齐 联 系 我 们 安 全 资 讯 常 见 问 题 用 户 中 心 注 册 免 费 咨 询 ： 4 0 0 6 3 6 0 1 0 1 申 请 试 用 W u K o n g 静 态 代 码 安 全 测 试 工 具 W u K o n g （ 悟 空 ） 是 一 款 性 能 优 异 的 国 产 静 态 代 码 检 测 工 具 检 测 源 代 码 安 全 缺 陷 和 编 码 规 范 支 持 C 、 C + + 、 C # 、 J A V A 、 P y t h o n 、 J a v a S c r i p t 等 主 流 程 序 开 发 语 言 支 持 混 合 语 言 检 测 ， 支 持 中 间 码 / 字 节 码 检 测 ， 也 支 持 针 对 源 代 码 本 身 检 测 支 持 天 脉 、 K e i l 、 C C S 等 嵌 入 式 环 境 的 自 动 编 译 构 建 和 分 析 支 持 E c l i p s e 插 件 、 I D E A 插 件 进 行 本 地 检 测 支 持 z i p 压 缩 包 形 式 上 传 被 测 工 程 ， 或 S V N / G I T 形 式 上 传 被 检 测 工 程 ， 支 持 C I （ 持 续 集 成 ） 的 检 测 支 持 G B / T 3 4 9 4 3 、 G B / T 3 4 9 4 4 、 S J / T 1 1 6 8 2 、 S J / T 1 1 6 8 3 、 G J B 8 1 1 4 、 C W E 、 O W A S P 、 M i s r a 等 国 内 外 标 准 规 范 支 持 G I T / S V N 的 增 量 检 测 / 全 量 检 测 ， 支 持 两 个 任 务 版 本 之 间 检 测 结 果 对 比 开 始 试 用 线 下 预 约 试 用 请 拨 打 免 费 电 话 ： 4 0 0 6 3 6 0 1 0 1 为 什 么 选 择 悟 空 领 域 技 术 团 队 潜 心 研 发 ， 自 主 技 术 创 新 W u K o n g 是 领 域 专 业 技 术 团 队 多 年 科 研 攻 关 成 果 ， 核 心 技 术 取 得 多 项 荣 誉 成 就 。 
 包 括 ： 四 十 余 篇 国 际 会 议 / 期 刊 论 文 发 表 四 次 国 际 论 文 奖 三 十 余 项 核 心 自 主 知 识 产 权 支 持 多 项 国 际 / 国 内 / 行 业 检 测 标 准 W u K o n g 支 持 安 全 编 码 标 准 、 运 行 时 缺 陷 、 安 全 漏 洞 等 多 种 类 型 检 测 ： 支 持 O W A S P T O P 1 0 、 C W E T O P 2 5 等 国 际 标 准 支 持 G B / T 3 4 9 4 3 、 G B / T 3 4 9 4 4 等 国 家 标 准 支 持 M I S R A 、 S J / T 1 1 6 8 3 等 多 项 其 他 标 准 兼 容 多 种 国 产 化 环 境 W u K o n g 通 过 多 项 国 产 环 境 兼 容 适 配 测 试 ， 可 支 持 多 种 国 产 环 境 ， 包 括 ： 中 标 麒 麟 银 河 麒 麟 鲲 鹏 龙 芯 飞 腾 统 信 等 国 产 软 硬 件 提 供 定 制 化 服 务 W u K o n g 响 应 客 户 的 个 性 化 需 求 ， 提 供 本 地 定 制 化 服 务 ， 可 对 以 下 等 多 个 模 块 及 其 他 个 性 需 求 进 行 定 制 开 发 ， 如 ： 缺 陷 漏 洞 编 码 标 准 图 表 报 表 管 理 功 能 完 备 的 技 术 支 持 体 系 全 天 候 技 术 咨 询 服 务 维 保 期 内 免 费 移 机 服 务 及 时 高 效 的 产 品 升 级 服 务 免 费 提 供 软 件 使 用 技 术 培 训 服 务 核 心 技 术 指 针 准 确 识 别 ( C G O ’ 1 3 最 佳 论 文 ) 高 准 确 率 分 析 结 果 ( C G O ’ 1 4 最 佳 论 文 ) 高 效 的 程 序 切 片 技 术 通 过 先 进 的 程 序 切 片 技 术 来 进 一 步 提 高 测 试 效 率 ， 能 够 将 测 试 效 率 提 高 5 倍 ， 相 关 的 研 究 成 果 获 得 A S E ’ 1 9 ( E C O O P ’ 1 6 最 佳 论 文 ) 可 发 现 大 量 未 知 错 误 ( A S E ’ 1 9 最 佳 论 文 ) 适 用 语 言 和 环 境 W u K o n g 目 前 支 持 C 、 C + + 、 C # 、 J A V A 、 P y t h o n 、 J a v a S c r i p t 等 主 流 开 发 语 言 支 持 U b u n t u 、 C e n t O S 等 L i n u x 环 境 部 署 ； 支 持 麒 麟 、 统 信 等 国 产 操 作 系 统 部 署 ； 支 持 高 并 发 用 户 的 分 布 式 部 署 悟 空 产 品 功 能 列 表 基 本 功 能 支 持 W o r d 、 P D F 格 式 检 测 报 告 支 持 命 令 行 支 持 增 量 检 测 支 持 Z I P 包 、 S V N / G i t 检 测 支 持 第 三 库 / 开 源 组 件 检 测 项 目 、 任 务 、 团 队 管 理 ， 领 导 驾 驶 舱 ， 量 化 分 析 知 识 库 和 定 制 支 持 标 准 O W A S P t o p 1 0 C W E / S A N S t o p 2 5 G B 3 4 9 4 4 ( J a v a ) G B 3 4 9 4 3 ( C / C + + ) S J T 1 1 6 8 3 2 0 1 7 ( J a v a ) S J T 1 1 6 8 2 2 0 1 7 ( C / C + + ) C e r t J a v a 安 全 编 程 规 则 M I S R A 2 0 1 2 G J B 8 1 1 4 支 持 框 架 S p r i n g M y b a t i s H i b e r n a t e 等 1 4 种 内 置 框 架 检 测 引 擎 快 速 检 测 引 擎 ( 能 够 快 速 检 测 ， 生 成 检 测 报 告 ) 深 度 智 能 检 测 引 擎 ( 可 调 节 检 测 深 度 的 智 能 检 测 引 擎 ) 运 行 时 缺 陷 检 测 内 存 泄 漏 变 量 未 初 始 化 使 用 使 用 已 释 放 的 内 存 数 组 越 界 空 指 针 解 引 用 资 源 泄 漏 释 放 未 分 配 的 内 存 无 限 循 环 不 可 达 路 径 等 1 0 0 多 种 运 行 时 缺 陷 检 测 安 全 漏 洞 检 测 S Q L 注 入 跨 站 脚 本 攻 击 密 码 权 限 非 法 计 算 代 码 安 全 线 程 死 锁 0 D a y 漏 洞 C o o k i e 安 全 远 程 拒 绝 服 务 等 上 千 类 安 全 漏 洞 检 测 定 制 化 服 务 检 测 器 定 制 D e v o p s / D e v S e c O p s 定 制 报 告 定 制 图 表 中 心 定 制 领 导 驾 驶 舱 定 制 下 载 白 皮 书 观 看 使 用 教 程 产 品 兼 容 认 证 产 品 界 面 展 示 产 品 首 页 高 频 B U G 分 析 快 速 检 测 软 件 代 码 安 全 驾 驶 舱 客 户 从 源 代 码 入 手 ， 从 根 源 处 解 决 软 件 安 全 问 题 W u k o n g 专 注 于 扫 描 和 检 测 应 用 软 件 源 代 码 中 的 潜 在 问 题 和 缺 陷 至 今 已 检 测 上 亿 行 代 码 发 现 数 十 万 安 全 “ 缺 陷 ” 发 现 数 万 “ 严 重 ” 安 全 问 题 为 企 业 避 免 了 上 亿 经 济 损 失 源 代 码 安 全 漏 洞 检 测 修 复 E x c h a n g e S e r v e r 内 存 损 坏 漏 洞 （ C V E 2 0 1 8 8 3 0 2 ） S t a g e f r i g h t 漏 洞 L i n u x 系 统 d o u b l e f r e e 漏 洞 S a m b a 远 程 代 码 执 行 漏 洞 L i n u x 内 核 漏 洞 P h o e n i x T a l o n L i n u x 内 核 提 权 漏 洞 （ D V E 2 0 1 7 6 0 7 4 ） 永 恒 之 蓝 漏 洞 ， K e r b e r o s 协 议 漏 洞 ， S h e L L S h o c k 漏 洞 心 血 漏 洞 A d o b e F l a s h 漏 洞 （ C V E 2 0 1 8 4 8 7 8 ） I E 双 杀 漏 洞 （ C V E 2 0 1 8 8 1 7 4 ) ， W i n d o w s & A d o b e P D F 漏 洞 ( C V E 2 0 1 8 4 9 9 0 ) C E x c h a n g e S e r v e r 内 存 损 坏 漏 洞 （ C V E 2 0 1 8 8 3 0 2 ） C P U 熔 断 漏 洞 i n d o w s D N S S e r v e r 堆 溢 出 漏 洞 （ C V E 2 0 1 8 8 6 2 6 ） C P U 幽 灵 漏 洞 W i n d o w s W i n 3 2 k 漏 洞 ( C V E 2 0 1 8 8 4 5 3 ) 微 软 J e t D a t a b a s e E n g i n e 远 程 代 码 执 行 漏 洞 （ C V E 2 0 1 8 8 4 2 3 ) W i n d o w s A L P C 漏 洞 （ C V E 2 0 1 8 8 4 4 0 ) 脏 牛 漏 洞 （ C V E 2 0 1 6 5 1 9 5 ） 微 软 E d g e 远 程 代 码 执 行 漏 洞 （ C V E 2 0 1 8 8 4 9 5 ） 源 代 码 级 运 行 级 系 统 级 网 路 级 源 代 码 级 源 代 码 安 全 漏 洞 检 测 修 复 运 行 级 漏 洞 扫 描 器 安 全 沙 箱 F U Z Z 测 试 系 统 级 恶 意 软 件 检 测 主 机 防 护 安 全 O S 网 络 级 I D S 防 火 墙 隔 离 机 基 于 W u K o n g 的 代 码 检 测 服 务 出 具 满 足 多 项 国 家 及 国 际 相 关 标 准 的 测 试 报 告 ， 强 大 的 源 代 码 审 计 团 队 ， 满 足 实 验 室 、 线 上 、 现 场 等 多 种 场 合 的 检 测 需 求 软 件 源 代 码 检 测 软 件 源 代 码 检 测 全 面 覆 盖 软 件 安 全 规 范 和 漏 洞 。 
 出 具 客 观 检 测 报 告 出 具 客 观 检 测 报 告 支 持 多 项 国 际 / 国 内 / 行 业 安 全 编 码 规 范 、 运 行 时 缺 陷 、 安 全 漏 洞 类 型 检 测 。 
 缺 陷 漏 洞 定 位 分 析 缺 陷 漏 洞 定 位 分 析 精 准 到 行 的 代 码 缺 陷 检 测 ， 方 便 开 发 者 更 快 发 现 并 解 决 问 题 。 
 提 出 修 复 策 略 提 出 修 复 策 略 针 对 每 个 发 现 的 缺 陷 ， 提 供 缺 陷 修 复 建 议 ， 帮 助 开 发 者 快 速 修 复 代 码 缺 陷 。 
 三 分 钟 了 解 中 科 天 齐 您 的 浏 览 器 不 支 持 v i d e o 标 签 。 
 技 术 实 力 符 合 国 家 标 准 资 质 认 证 公 司 荣 誉 C G O ’ 1 3 ， C G O ’ 1 4 ， E C O O P ’ 1 6 ， A S E 2 0 1 9 发 表 论 文 P L D I 、 I C S E 、 F S E 、 E C O O P 、 C G O 、 S A S 等 会 议 成 果 发 表 获 得 国 际 、 国 内 多 项 专 利 本 产 品 选 用 J u l i e t T e s t S u i t e V 1 . 3 版 本 的 测 试 集 进 行 测 试 ， 该 测 试 集 是 由 美 国 国 家 技 术 标 准 研 究 所 （ N a t i o n a l I n s t i t u t e o f S t a n d a r d s a n d T e c h n o l o g y ， N I S T ） 于 2 0 1 7 年 针 对 C W E 中 的 不 同 分 类 所 创 建 的 。 
 针 对 我 们 所 支 持 的 c w e 分 类 测 试 结 果 漏 报 率 为 3 % ，   误 报 率 为 2 % 。 
 《 中 华 人 民 共 和 国 网 络 安 全 法 》 《 网 络 安 全 等 级 保 护 基 本 要 求 》 国 家 推 荐 标 准 G B / T 2 2 2 3 9 2 0 1 9 《 信 息 安 全 技 术 信 息 安 全 等 级 保 护 基 本 要 求 》 国 家 推 荐 标 准 G B / T 2 2 2 3 9 2 0 0 8 国 家 信 息 安 全 漏 洞 库 分 类 （ 已 获 得 C N N V D 兼 容 性 资 质 认 证 ） 《 C / C + + 语 言 源 代 码 漏 洞 测 试 规 范 》 国 家 推 荐 标 准 G B / T 3 4 9 4 3 2 0 1 7 《 J a v a 语 言 源 代 码 漏 洞 测 试 规 范 》 国 家 推 荐 标 准 G B / T 3 4 9 4 4 2 0 1 7 《 J a v a 语 言 源 代 码 缺 陷 控 制 与 测 试 指 南 》 行 业 推 荐 标 准 S J / T 1 1 6 8 3 2 0 1 7 《 C / C + + 语 言 源 代 码 缺 陷 控 制 与 测 试 指 南 》 行 业 推 荐 标 准 S J / T 1 1 6 8 2 2 0 1 7 C e r t J a v a （ 国 际 规 范 ） C e r t C / C + + （ 国 际 规 范 ） 国 家 高 新 技 术 企 业 中 关 村 高 新 技 术 企 业 公 安 部 计 算 机 信 息 系 统 安 全 销 售 许 可 证 中 国 软 件 评 测 中 心 兼 容 适 配 测 试 C W E 国 际 认 证 工 信 部 网 络 安 全 技 术 应 用 示 范 项 目 大 连 市 网 络 安 全 公 共 服 务 平 台 技 术 支 撑 单 位 I S O 9 0 0 1 I S O 2 7 0 0 1 A A A 级 质 量 服 务 诚 信 企 业 首 届 “ 鼎 信 杯 ” 信 息 技 术 应 用 创 新 典 型 应 用 软 件 2 0 1 9 年 （ 第 五 届 ） 全 国 移 动 互 联 创 新 大 赛 总 决 赛 一 等 奖 2 0 2 2 年 产 学 研 合 作 创 新 奖 2 0 1 9 年 I P O “ 中 知 在 线 ” 杯 知 识 产 权 运 营 大 赛 优 秀 项 目 奖 2 0 1 9 年 “ 国 科 大 杯 ” 创 新 创 业 大 赛 一 等 奖 N A S A C 2 0 1 8 命 题 型 竞 赛 二 等 奖 安 全 资 讯 更 多 资 讯 2 0 2 4 0 1 1 6 中 科 天 齐 荣 获 “ 国 家 ” “ 中 关 村 ” 高 新 技 术 企 业 双 项 认 定 北 京 中 科 天 齐 信 息 技 术 有 限 公 司 在 经 过 企 业 申 报 、 提 交 申 报 材 料 、 专 家 评 审 、 认 定 报 备 、 公 示 公 告 等 一 系 列 程 序 的 严 格 审 核 后 ， 荣 获 “ 国 家 高 新 技 术 企 业 ” 和 “ 中 关 村 高 新 技 术 企 业 ” 认 定 ， 实 现 了 双 高 新 认 定 。 
 国 家 高 新 技 术 企 业 高 新 技 术 企 业 是 发 展 高 新 技 术 产 业 的 重 要 基 础 ， 是 调 整 产 业 结 构 、 提 高 国 家 竞 争 力 的 生 力 军 ， 在 我 国 经 济 发 展 中 占 有 十 分 重 要 的 战 略 地 位 ， 一 直 受 到 各 级 政 府 的 高 度 重 视 、 鼓 励 和 支 持 。 
 按 照 规 定 ， 只 有 当 企 业 研 发 投 入 占 比 、 高 新 技 术 产 品 收 入 占 比 、 科 技 人 员 数 量 、 技 术 创 新 能 力 等 核 心 指 标 满 足 一 定 条 件 才 能 获 此 认 定 。 
 中 关 村 高 新 技 术 企 业 中 关 村 高 新 技 术 企 业 由 北 京 中 关 村 科 技 园 区 管 理 委 员 会 审 核 ， 通 过 一 系 列 严 格 的 要 求 ， 包 括 企 业 资 质 、 科 技 研 发 能 力 、 技 术 创 新 能 力 、 企 业 发 展 情 况 以 及 填 报 资 料 真 实 性 等 方 面 的 考 察 ， 最 终 确 定 是 否 可 以 获 得 资 质 认 定 ， 是 国 家 为 支 持 高 新 企 业 发 展 ， 提 高 国 家 综 合 经 济 竞 争 力 而 设 立 。 
 本 次 中 科 天 齐 获 得 双 高 新 技 术 企 业 的 认 定 ， 是 国 家 对 企 业 在 科 技 创 新 上 的 认 可 和 支 持 ， 同 时 也 标 志 着 中 科 天 齐 正 式 迈 入 高 新 技 术 企 业 行 列 。 
 中 科 天 齐 将 继 续 以 技 术 为 核 心 ， 以 市 场 发 展 为 导 向 ， 积 极 提 升 企 业 核 心 竞 争 力 、 创 造 力 和 生 命 力 。 
 同 时 更 加 注 重 知 识 产 权 、 培 养 优 秀 技 术 人 才 队 伍 ， 加 强 科 技 成 果 转 化 应 用 能 力 ， 助 推 公 司 高 质 量 发 展 ， 助 力 网 络 安 全 建 设 。 
 W u K o n g 静 态 代 码 安 全 测 试 工 具 “ W u k o n g ” 作 为 一 款 静 态 代 码 安 全 测 试 工 具 ， 支 持 多 种 开 发 语 言 的 安 全 缺 陷 检 测 ， 兼 容 多 种 国 产 化 环 境 ， 帮 助 用 户 提 升 抵 御 网 络 攻 击 、 防 止 数 据 泄 露 等 安 全 问 题 的 能 力 。 
 2 0 2 4 1 1 0 5 中 科 天 齐 团 队 参 加 I S S T A 2 0 2 4 大 会 ， 针 对 C F L 可 达 性 提 出 ” s t a g e d s o l v i n g “ 求 解 方 法 近 日 ， 第 3 3 届 T h e A C M S I G S O F T I n t e r n a t i o n a l S y m p o s i u m o n S o f t w a r e T e s t i n g a n d A n a l y s i s ( I S S T A ) 在 奥 地 利 维 也 纳 举 办 。 
 I S S T A 是 软 件 工 程 四 大 会 之 一 ， 被 评 级 为 C C F A 。 
 中 科 天 齐 团 队 成 员 施 程 航 和 李 昊 峰 前 往 参 会 。 
 在 会 上 ， 施 程 航 展 示 了 题 为 “ B e t t e r N o t T o g e t h e r : S t a g e d S o l v i n g f o r C o n t e x t F r e e L a n g u a g e R e a c h a b i l i t y “ 的 研 究 成 果 。 
 该 工 作 针 对 应 用 广 泛 的 程 序 分 析 框 架 — — C F L 可 达 性 提 出 了 一 种 名 为 ” s t a g e d s o l v i n g “ 的 求 解 方 法 ， 相 比 现 有 方 法 可 大 大 提 升 C F L 可 达 性 的 求 解 效 率 ， 最 高 加 速 比 接 近 三 个 数 量 级 。 
 在 场 很 多 研 究 者 对 该 工 作 表 达 了 浓 厚 的 兴 趣 ， 团 队 成 员 相 应 回 答 了 他 们 的 问 题 。 
 该 工 作 的 主 要 思 路 是 将 上 下 文 无 关 文 法 通 过 语 法 分 解 为 一 个 更 小 的 括 号 匹 配 文 法 和 正 则 文 法 ， 接 着 提 出 了 多 阶 段 求 解 ( s t a g e d s o l v i n g ) 在 两 个 阶 段 分 别 求 解 两 个 文 法 对 应 的 可 达 性 。 
 通 过 利 用 文 法 的 特 性 ， 该 工 作 分 别 提 出 了 高 效 的 可 达 性 求 解 算 法 。 
 在 实 验 评 估 中 ， 该 方 法 的 加 速 比 可 达 约 三 个 数 量 级 。 
 I S S T A 是 专 注 于 软 件 测 试 与 分 析 的 高 影 响 力 会 议 。 
 从 2 0 2 3 年 起 ， I S S T A 采 用 了 两 阶 段 投 稿 流 程 。 
 对 于 在 第 一 轮 中 被 评 为 M a j o r R e v i s i o n ( 大 修 ) 的 论 文 ， 作 者 可 根 据 评 审 意 见 修 改 论 文 后 ， 提 交 到 会 议 的 第 二 轮 ， 由 同 一 组 审 稿 人 评 审 。 
 2 0 2 4 年 ， I S S T A 共 收 到 6 9 4 篇 投 稿 ， 最 终 接 收 1 4 3 篇 ， 其 中 第 一 轮 接 收 1 0 6 篇 ， 第 二 轮 接 收 3 7 篇 ， 总 接 收 率 为 2 0 . 6 1 % 。 
 2 0 2 4 1 1 0 1 中 科 天 齐 团 队 参 加 O O P S L A 2 0 2 4 大 会 ， 提 出 针 对 I F D S 算 法 的 优 化 技 术 ， 平 均 可 加 速 2 个 数 量 级 近 日 ， O O P S L A 2 0 2 4 即 面 向 对 象 编 程 系 统 、 语 言 及 应 用 大 会 在 美 国 帕 塞 迪 纳 举 行 ， 中 科 天 齐 团 队 成 员 李 昊 峰 博 士 在 会 上 展 示 了 题 为 《 B o o s t i n g t h e P e r f o r m a n c e o f A l i a s A w a r e I F D S A n a l y s i s w i t h C F L b a s e d E n v i r o n m e n t T r a n s f o r m e r s 》 的 研 究 成 果 。 
 该 研 究 对 经 典 I F D S 算 法 进 行 优 化 ， 能 够 大 幅 减 少 数 据 流 值 的 数 量 ， 该 技 术 平 均 可 以 加 速 两 个 数 量 级 ， 同 时 可 以 提 升 分 析 精 度 。 
 信 息 流 分 析 技 术 是 检 测 软 件 安 全 缺 陷 的 基 础 分 析 方 法 ， 其 中 基 于 I F D S 分 析 框 架 的 信 息 流 分 析 由 于 其 高 精 度 得 到 广 泛 应 用 ， 该 分 析 已 经 实 现 到 主 流 的 分 析 和 编 译 框 架 中 ( 如 ： W A L A 、 S o o t 、 L L V M 等 ) 。 
 但 I F D S 分 析 算 法 由 于 其 复 杂 度 高 ， 往 往 无 法 在 有 限 的 计 算 资 源 下 分 析 复 杂 的 应 用 程 序 。 
 这 篇 文 章 提 出 了 将 基 于 访 问 路 径 的 域 敏 感 表 示 转 换 成 基 于 C F L 的 表 示 以 减 少 数 据 流 值 的 数 量 ， 从 而 将 传 统 的 I F D S 问 题 转 化 成 I D E 问 题 ， 通 过 定 义 F i e l d C F L 并 实 现 高 效 的 求 解 算 法 维 护 域 敏 感 ， 能 够 平 均 加 速 2 个 数 量 级 。 
 O O P S L A 是 一 个 专 注 于 面 向 对 象 编 程 系 统 、 语 言 及 应 用 的 顶 尖 学 术 盛 会 ， 是 中 国 计 算 机 学 会 ( C C F ) 推 荐 的 程 序 设 计 语 言 领 域 三 个 A 类 学 术 会 议 之 一 。 
 每 年 ， 它 将 来 自 学 术 界 和 工 业 界 的 研 究 人 员 和 从 业 人 员 聚 集 在 一 起 ， 讨 论 编 程 语 言 领 域 的 最 新 理 论 、 技 术 和 应 用 。 
 北 京 中 科 天 齐 信 息 技 术 有 限 公 司 北 京 中 科 天 齐 信 息 技 术 有 限 公 司 由 李 炼 博 士 创 立 ， 以 自 主 研 究 成 果 中 科 天 齐 软 件 源 代 码 安 全 缺 陷 检 测 平 台 （ W u K o n g ） 为 主 打 产 品 ， 团 队 凭 借 多 年 在 程 序 分 析 领 域 的 技 术 积 累 ， 致 力 打 造 安 全 漏 洞 治 理 领 域 新 生 态 的 高 新 技 术 企 业 。 
 联 系 方 式 联 系 电 话 : 4 0 0 6 3 6 0 1 0 1 商 务 合 作 : m a r k e t @ t i a n q i s o f t . c n 公 司 地 址 : 北 京 市 海 淀 区 知 春 路 4 8 号 盈 都 大 厦 友 情 链 接 中 国 软 件 评 测 中 心 国 家 信 息 安 全 漏 洞 共 享 平 台 国 家 信 息 安 全 漏 洞 库 服 务 支 持 悟 空 产 品 功 能 检 测 服 务 关 于 天 齐 安 全 资 讯 常 见 问 题 微 信 公 众 号 软 件 评 测 中 心 © 2 0 2 5 中 科 天 齐 京 I C P 备 2 0 2 5 1 1 3 8 8 6 号 1

站点推荐

苏州健睿电子机械有限公司

提供最为专业的全程服务电子、光电、薄膜、纺织、木业等行业用胶辊

科学技术处

临沂大学科学技术处

我们使用7S管理模型为您优化了巡检的流程,使用更科学的方式进行巡检报修,随时随地,简易巡检,通知方便,微信接收.只需要关注微信公众号即可免费使用。

兰州加固

甘肃金鼎建筑科技有限公司专注建筑加固_房屋加固_房屋鉴定_结构补强加固设计的兰州加固公司,主要施工项目为植筋加固,地基基础处理,混凝土加固粘钢,包钢加固,结构增大截面,高压注浆,碳纤维加固,化学锚栓,拥有建设部核准的特种专业工程施工资质.

附近道路救援

汽车道路救援为您提供道路救援,拖车救援,汽车救援,道路救援电话,拖车救援电话,汽车救援电话,流动加油送油,流动补胎换轮胎,汽车搭电换电瓶服务,价格公道,费用合理.

白酒酿酒设备

湖南旺盛达酿酒设备有限公司主要产品有各种节能，高效蒸馏酿酒设备，瓶装酒配套设备，过滤机，酒缸，酒罐，酒曲及酒用配套设备，保温材料，热水炉，攸河瓶装酒和各种散装酒批发。

汽轮机配件,轴瓦修复

辽宁阜新东昌汽轮机配件制造公司,各种汽轮机配件:武汉,哈尔滨,北重,东方汽轮机配件;轴瓦修复：汽轮机,球磨机,水轮机和电机的轴瓦修复,欢迎业务洽谈……

酷特首页

北京酷特科技有限公司-是实力强大的MIDI电脑音乐制作软件研发公司,提供专业作曲软件,简谱打谱软件,简谱五线谱转换软件，编曲软件,音乐制作软件下载,可供简谱打谱软件网站,中国原创音乐基地网站,音乐教师，文化馆工作者等音乐用户免费下载试用和使用。

苏草堂（药业）官方网站

南京苏草堂药业有限公司

莫亚科技

莫亚科技是金蝶集团的物流与仓储管理系统ISV生态伙伴，基于金苍穹平台研发了国内领先的物流系统、仓储系统的管理系统，可以实现甲方制造业和物流公司的汽运、海运、空运、铁路等物流仓储服务管理，仓储管理系统，包括仓储基础管控、策略配置、资源管理、出入库管理、库内作业、盘点管理、运输协同、PDA移动端、RFID等功能

喷雾干燥机,闪蒸干燥机,沸腾干燥机

助力企业创造价值-常州市群干干燥作为作为常州干燥设备专业厂家,参与起草喷雾干燥机、闪蒸干燥机、沸腾干燥机等干燥设备的新标准起草工作,是拥有强大的非标设计能力的专业化科技型民营企业,行业经验丰富,详情请咨询0519-88908088！