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

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

网站编号：20454
最后点入：2025-06-12 04:52:48
加入时间：2024-04-21 07:13:03
网站备案: -

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

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

网站截图/LOGO

上一篇：.: 无锡椿阳精工机电制造有限公司 TOMNY:. | 下一篇：IDC机房文库，IDC机房文档，IDC机房介绍，电信联通移动机房文档

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

www.tianqisoft.cn由网友主动性提交被QQ技术导航整理收录的，QQ技术导航仅提供www.tianqisoft.cn的基础信息并免费向大众网友展示，www.tianqisoft.cn的是IP地址：- 地址：-，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：- \| 出站链接： \| 站内链接：21
IP网速：	IP地址：- 地址：- \| 网速：232毫秒
ALEXA排名	世界排名：- \| 预估IP：- \| 预估PV：-
备案信息	- \| 名称：- \| 已创建：未知

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

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

服务器信息协议类型 - 页面类型 - 服务器类型 - 程序支持 - 连接标识 - 消息发送 - GZIP检测 - 源文件大小 - 压缩后大小 - 压缩率 -

网页快照

              『 悟 空 』 软 件 源 代 码 漏 洞 检 测 _ 静 态 代 码 安 全 扫 描 工 具 中 科 天 齐 检 测 到 您 的 浏 览 器 版 本 过 低 ， 可 能 无 法 正 常 使 用 网 站 功 能 请 更 新 浏 览 器 版 本 ， 或 使 用 谷 歌 浏 览 器 、 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

热门推荐

IDC机房文库，IDC机房文档，IDC机房介绍，电信联通移动机房文档

提供全球IDC机房文库文档，上传IDC机房介绍，下载就能赚取收益！

重庆起重机厂-力福汀（重庆）起重机有限公司

力福汀（重庆）起重机有限公司原重庆起重机厂是起重机及物料搬运产品的专业制造和服务供应商，致力于起重机及物料搬运技术的发展和研究，采用新理念，开发新产品，不断追求工业进步。

苏州语流通讯技术有限公司

远见科技（天津）有限公司

免费信息发布,腾讯云主机,Ucloud香港云主机,百度云加速,华为云主机

莱州莱华试验仪器厂金相磨抛机显微硬度计金相切割机

莱州莱华试验仪器厂-金相试样镶嵌机_全自动金相磨抛机_金相切割机_金相显微镜，显微硬度计,维氏硬度计,里氏硬度计,布氏硬度计,洛氏硬度计,维氏硬度计,肖氏硬度计,邵氏硬度计六大系列硬度检测仪及相关检测产品。是集销售、售后维修于一体的服务型企业

大连众兴电子科技有限公司

专业伴奏下载 - 原版伴奏网 - 伴奏下载网站

零奏网是一个专业伴奏网站。拥有上百万首【中文】【英文】【日韩】精品伴奏、原创伴奏。提供伴奏下载、伴奏升降调、高质量消音、扒带、编曲等业务。零奏网0ZOU.COM，一个专业下载伴奏的网站

赛问营销 - 宝宝起名大全|公司起名|宝宝名字集|网络营销|资源整合

赛问营销提供原创宝宝名字大全,为你提供姓名测试打分,宝宝起名,公司起名,生辰八字起名字服务。

中望CAD官网-自主研发的二三维CAD软件机械设计制图软件免费下载及初学入门教程

中望软件是可信赖的All-in-OneCAx解决方案提供商,科创板上市企业,掌握二三维CAD、CAM、CAE核心技术及产品开发能力,产品有中望CAD,中望3D,中望电磁,中望结构仿真.提供建筑设计软件与机械设计制图软件