活动预告丨CodeWisdom软件供应链系列学术报告：第8期（张绿野新加坡南洋理工大学）...

pengxin_ce

于 2023-09-25 09:52:52 发布

阅读量164

点赞数

CC 4.0 BY-SA版权

原文链接：https://mp.weixin.qq.com/s?__biz=MzU4NDU4OTM4OQ==&mid=2247504300&idx=1&sn=9fa1be83a332c9e9b56e19cd7809995e&chksm=fd95188ecae29198595829c1b31e2386d5e5d043b10680e7cb0157c03d4d5322367fdbbe3e28&scene=126&sessionid=0

张绿野

内容简介

题目

面向开源软件的安全与兼容性分析研究

摘要

随着开源软件的普及，开源软件安全和维护问题已经成为一个关键议题。我们聚焦在用户使用开源软件过程中的后期维护操作如安全问题修复、软件更新等。针对第三方开源代码的后期维护更新，我们提出了基于静态语义拟合的行为兼容性分析工具以及应对第三方已知漏洞的全局修复方案。结合一些已有的静态兼容性分析工具来保证在修复过程中的兼容性和修复过后的可用性。随后也利用保证兼容性的能力推广修复方案到Maven生态中的顽固漏洞。利用自动生成版本范围的技术结合Maven生态特性自动降低生态中的漏洞风险。

报告人

张绿野是新加坡南洋理工大学计算机科学与工程学院网络安全实验室博士，于南洋理工大学取得硕士学位，哈尔滨工程大学取得本科学位。主要研究方向为软件供应链安全，主要包括的开源软件安全分析，开源软件生态治理，软件成分分析等。相关工作发表在ICSE, ASE, FSE等会议上，并获得两次distinguished paper awards。

时间安排

❖

时间：2023年9月26日10点

❖

地点：江湾校区交叉二号楼D2014-2

博客等级

码龄3年

118
原创

347
点赞

437
收藏

276
粉丝

关注

私信

热门文章

上一篇：: 2023CCF中国开源大会丨大模型时代的智能化软件工程新范式分论坛

下一篇：: 柴洪峰院士将在2023年CCF中国软件大会上作特邀报告

最新评论

代码数字孪生：回归软件的复杂系统属性
马拉喀什: 针对世界上最大的开源软件系统进行基因测序，解析解读，可视化重放其演进脉络，历史渊源, 未来发展甚至底层逻辑。针对普通开发者打开一扇全面便捷地了解 Linux 内核, 具象理解软件工程的大门。确实是一件功德无量的重大基础研究! 谢谢彭院长及团队！期待能够试用。
复旦CodeWisdom团队发布开源风险治理平台“伏羲”
2301_79153091: 希望我儿子团队继续努力！
CCF ChinaSoft 2023 论坛巡礼 | 智能化软件开发和维护论坛
m0_74215679: import java.util.Scanner; public class Main { public static void main(String[] args){ Scanner can=new Scanner(System.in); int n=can.nextInt(); for (int k = 0; k < n; k++) { int salary=can.nextInt(); int summary=0; if (salary>=100){ summary+=salary/100; salary%=100; } if (salary>=50){ summary+=salary/50; salary%=50; } if (salary>=10){ summary+=salary/10; salary%=10; } if (salary>=5){ summary+=salary/5; salary%=5; } if (salary>=2){ summary+=salary/2; salary%=2; } if (salary>=1){ summary+=salary; } System.out.println(summary); } } }
CCF ChinaSoft 2023 论坛巡礼 | 智能化软件开发和维护论坛
m0_74215679: import java.util.ArrayList; import java.util.Collections; import java.util.Comparator; import java.util.List; import java.util.Scanner; public class Main{ public static void main(String[] args){ Scanner ci=new Scanner(System.in); int n=ci.nextInt(); for (int i = 0; i < n; i++) { int mybagSize= ci.nextInt(); bag[] s=new bag[5]; List<bag>b=new ArrayList<>(); for (int j = 0; j < 5; j++) { s[j]=new bag(); s[j].sized=ci.nextInt(); } for (int j = 0; j < 5; j++) { s[j].priced=ci.nextInt(); s[j].prsd=s[j].priced/(s[j].sized*1.0); } for (int j = 0; j < 5; j++) { b.add(s[j]); } Collections.sort(b, new Comparator<bag>() { @Override public int compare(bag o1d, bag o2d) { return o2d.prsd.compareTo((o1d.prsd)); } } ); double sum=0; for (int j = 0; j < 5; j++) { if (mybagSize>=b.get(j).sized){ sum+=b.get(j).priced; mybagSize-=b.get(j).sized; if (mybagSize==0) break; } else { sum+=b.get(j).prsd*mybagSize; break; } } System.out.printf("%.2f\n",sum); } } } class bag{ int priced; int sized; Double prsd; }
【chatGPT】和chatGPT结对编程的6小时
探险家Ezreal: 真是彭老师吗？

最新文章

目录

展开全部

收起

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。