厉害！北大软件2项科技成果荣获专利授权
近日，北京北大软件工程股份有限公司两项发明专利——“一种基于值依赖图的污染数据分析方法、系统与电子设备” “C/C++程序中不可达代码的静态检测方法及系统”获国家知识产权局授权。
一种基于值依赖图的污染数据分析方法、系统与电子设备
难点攻克：现有静态污染数据分析方法基于数据流分析或符号执行技术，精度较低或存在路径爆炸问题，难以用于大规模、全程序的高精度静态污点分析。本发明为污染数据相关分析提供了一种基于守卫值依赖图的模型，保证了污染数据按需传播分析的全面性、精确性。
应用价值：本发明为缺陷、漏洞的精确检测提供定义源和污染传播路径，使得对污染数据引起的漏洞，以及其它Source-Sink模式的漏洞检测更加准确。通过使用本发明提供的扩展接口，同时能够支持新型缺陷和漏洞检测的定制开发。
C/C++程序中不可达代码的静态检测方法及系统
难点攻克：现有的定理证明、抽象解释、符号执行、模式匹配等方法支持检测不可达代码，但往往速度较低，或者精度较低。本发明提出控制依赖图和值依赖图相结合的模型，将函数内的控制依赖关系传播至函数间的稀疏值依赖模型中并进行迭代，既实现了高效的计算，也实现了准确的守卫关系传播。
应用价值：本发明通过去除程序的不可达路径，在跨函数缺陷和漏洞的检测精度上超过了符号执行技术，具有较低的误报率和漏报率；支持千万行级别的不可达代码检测，每小时检测速度超过两百万行。
本次专利授权，增强了北大软件技术核心竞争力，为未来发展提供了强有力的科技支撑。这些成果来之不易，是对北大软件自主创新的肯定。
未来，北大软件将继续加大研发投入以及加强自身技术创新能力，继续利用自身技术优势，为科技赋能行业应用贡献自己一份力量。
厉害！北大软件2项科技成果荣获专利授权相关推荐
- 南瑞rt21系统服务器,南瑞“一种基于CORBA的综合监控系统数据定义和存取方法”等三项科技成果获专利授权...
南瑞"一种基于CORBA的综合监控系统数据定义和存取方法"等三项科技成果获专利授权 北极星电力信息化网 来源:国网电科院 2012/5/22 9:24:13 我要投稿 北 ...
- 中国人工智能学会2020年度优秀科技成果出炉，百度文心ERNIE入选
11月14日,由中国人工智能学会(CAAI)主办的2020第十届中国智能产业高峰论坛(CIIS 2020)正式开幕,CAAI理事长戴琼海院士.何积丰院士.何友院士.王恩东院士.陆军院士等多位中外院士. ...
- 惠州将建中国高校科技成果大数据中心
6月22日,首届中国高校科技成果交易会将在广东惠州召开. 届时,约有300所高校的嘉宾从国内外赶到惠州,其中包括约20位院士.一位诺贝尔物理学奖得主,以及剑桥.牛津.北大.清华等著名高校的代表.他们将 ...
- 废墟搜救机器人入选中国地震局10大最具实效科技成果
12月23日,中国地震局在北京召开了科技创新暨成果交流推广工作会议.会上评选出了中国地震局"十一五"以来最具应用实效的10项科技成果.沈阳自动化研究所作为主要研制单位的" ...
- 高企申报的好处及高新技术企业认定科技成果转化要求，补贴20-50万
高企申报的好处,经认定的高新技术企业,可享受15%(认定前为25%)的优惠税率,补贴20-50万等.而高新技术企业认定科技成果转化,,科技成果和科技成果转化有一个时间上的先后顺序,是先有成果,后有转化 ...
- 以数据智能科技助力智慧法治建设，北大软件携新技术亮相2021政法装备展
以数据智能科技助力智慧法治建设,北大软件携新技术亮相2021政法装备展 2021政法装备展火爆京城 7月27日-28日,全国政法智能化建设技术装备及成果展在北京国家会议中心盛大开幕.展会意在为深化政法 ...
- 世界互联网大会发布15项领先科技成果
围观互联网大会上的黑科技,看看未来科技发展大趋势. [编者按]本文转载自果壳网 16日下午,世界互联网大会首次发布15项世界互联网领先科技成果!有的已经投入应用,有的刚从实验室诞生,虽然具体的科技成果 ...
- 数据库数字孪生技术获突破，Ganos两项研究成果入选VLDB
近日,国际顶级数据库学术会议 VLDB 2022 在澳大利亚悉尼举办.阿里云与达摩院空天数据库引擎团队有关 Ganos 的两项研发成果被 VLDB 2022 收录. VLDB 与 SIGMOD.ICD ...
- MySQL建设用地信息系统_“建设用地整治监测与评价关键技术研究与示范”科技成果登记公示...
本项目来源于国土资源部公益性行业科研专项经费项目,针对建设用地整治监测体系和装备不完善,监测评价指标和数据不规范.方法手段单一.信息化程度不高等突出问题,围绕国土资源部和广东省共建节约集约用地示范省的 ...
最新文章
- Django中Model继承的三种方式
- arduino 超声波测距原理_超声波测距灯
- Linux中的selinux
- 云原生时代, 选择.NET Core
- Python语言importError:cannot import name ‘InvalidArgumentException‘报错的解决方法：
- CF 799B T-shirt buying
- mongodb 日常维护
- PAT (Basic Level) Practice1007 素数对猜想
- sublime text3神器插件
- 无法启动此程序 因为计算机中丢失msvcr71.dll,win7系统弹出对话框提示“msvcr71.dll丢失”如何解决...
- 如何政治正确地黑咪蒙？！
- 【转】常见英语单词前缀
- eclipse安装wtp
- ACM比赛中如何加速c++的输入输出
- 如何为勒索软件攻击做准备？
- 【Linux】将用户添加到root组中
- 国庆旅游3天，Python 把我的疲倦治愈了
- 9.matplotlib contours等高线图
- vue两个数组如何判断值是否相同_vue两个数组如何判断重复的数据？
- 刘若英唱《后来》失控大哭：初听不知曲中意，再听已是曲中人