首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

资源分享之计算机网络虚拟实践

喜欢整理一些资源,之后放在知识库或是资源站里,等待着有缘人去发现,可等了许久发现:有的人需要它,可就是找不到;有些人不需要它,却误打误撞地看到了。反思之后以为,做了一些事情就要学会声明,比如我个人就可以直接发给我认为需要的人,或者像现在一样,发一篇文章,需要的同学可以收藏。 计算机网络是计算机核心课程之一,人们无时无刻不在享受计算机网络各种协议带来的便利,可这么庞大而又错综复杂的网络,是如何保证高校可用的呢?我的设备又是怎么在茫茫人海中找到我想要联系的那个她的呢?这些都可以在计算机网络的学习中找到答案。 学《计算机网络》这门课是在2018年年底的样子,到了2020年这门课已经成为省双一流建设学科了,虽然不知道有多厉害,但听其他老师说这门课有一个很庞大的备课团队,分工明确,水平极高。

03

【Rust日报】2021-11-05 - MirChecker 通过静态分析检测 Rust 程序中的错误

最近,Rust 已成为安全系统级编程的有前途的替代方案。在为程序员提供细粒度的硬件控制的同时,其强类型系统强制执行许多安全属性。然而,Rust 的安全保证不是灵丹妙药。正如大量研究报告的那样,运行时崩溃和内存安全错误仍然困扰着 Rust 开发人员,导致破坏性的可利用漏洞。在本文中,我们通过对 Rust 执行静态分析,展示并评估了一个用于 Rust 程序的全自动错误检测框架 -- MirChecker 。基于对 Rust 代码库中发现的现有错误的观察,MirChecker 的方法会跟踪数字和符号信息,通过使用约束求解技术检测潜在的运行时崩溃和内存安全错误,并向用户输出信息性诊断信息。我们的实验表明 MirChecker 可以检测我们代码片段中的所有问题,并且能够在实际场景中执行错误查找, -- https://mssun.me/research/ccs21mirchecker.html

04
领券