Docker修改mirros地址的方法 使用方法1假如拉取原始镜像命令如下 1docker pull whyour/qinglong:latest 仅需在原命令前缀加入加速镜像地址 例如: 1docker pull dockermirros.com/whyour/qinglong:latest 使用方法2一键设置镜像加速:修改文件 /etc/docker/daemon.json(如果不存在则创建) 1s 2024-10-31 杂项 > 环境配置 #Docker
LibAFL和HardWare Fuzzing学习 1 LibAFL框架 由Rust编写,个人认为是比较好用,适合在上面进行一些工作的选择 手册: https://aflplus.plus/libafl-book/ 源代码: https://github.com/AFLplusplus/LibAFL XFuzz几个关键的组件库 xfuzz:源代码 riscv-arch-test:官方提供的测试用例文件 riscv-isa-sim:Spike, a R 2024-07-18 模糊测试 #Fuzzing #LibAFL #XFuzz
DNSSEC学习 DNSSEC最近在学域名和系统安全的相关知识,学习到了DNSSEC。摘录了通俗易懂的几篇好文: DNSSEC?禁止套娃! https://zhuanlan.zhihu.com/p/355579999这篇文章有个提问: Q:请问为什么还需要KSK呢?感觉使用KSK没有也一样可以很安全呀。上一级DNS直接对下一级的ZSK进行哈希不可以吗 A:这样只要rdata变了,就得去上一级更改DS DNSS 2024-05-27 杂项 #DNSSEC
初识C/CPP 下的BMC 常用的一些工具 cbmc https://github.com/diffblue/cbmc esbmc https://github.com/esbmc/esbmc cpachecker https://github.com/sosy-lab/cpachecker smack https://github.com/smackers/smack 使用情况目前需要对多个文件合并跑BMC,可能使用go 2024-04-28 验证 #BMC #Formal Methods
撰写计算机类专利的基本知识 专利文件(五书) 权利要求书 说明书 说明书附图(发明可以没有) 说明书摘要 摘要附图(发明可以没有) 需要明确的关键点在写专利之前就需要非常明确的点! 和现有方案的区别点(哪个步骤不同) 区别点解决的技术问题 区别点达到的技术效果 摘要名称+领域+方案+效果(结尾一个句号 300字以内) 摘要附图最具有代表性的一个图 权利要求书 权利要求在10个以内,否则需要添加附加费用 不能有不确定词汇 2023-07-25 杂项 #专利 #知识产权
Rust 生命周期学习 Rust 生命周期学习Rust生命周期是Rust学习较为重要的一环,之前看过,但是看的不够深入,现在重新学习一下。 参考学习资料:生命周期-Rust Course 生命周期,简而言之就是引用的有效作用域。在大多数时候,我们无需手动的声明生命周期,因为编译器可以自动进行推导,用类型来类比下: 就像编译器大部分时候可以自动推导类型 <-> 一样,编译器大多数时候也可以自动推导生命周期在多种 2023-03-23 Rust #Rust #生命周期
使用GPG对Github进行签名 前言在GitHub上面我们对自己提交的commit进行签名,通过签名之后GitHub就会知道这个commit是经过签名的、可信的commit,并且会有个绿色的“Verified”显示在旁边。 主要操作是安装PGP,以macOS下为例: 安装GPG1brew install gpg 生成密钥GPG版本<2.1.171gpg --default-new-key-algo rsa4096 --ge 2023-03-11
Cache包含策略 三种包含方式设计多级cache可以有很多种方式,可以根据一个cache的内容是否同时存在于其他级cache来分类,即Cache inclusion policy。 如果较低级别cache中的所有cacheline也存在于较高级别cache中,则称较高级别cache包含(inclusive )较低级别cache。 如果较高级别的cache仅包含较低级别的cache中不存在的cacheline,则称较 2023-03-09 体系结构 #Cache
HTTP协议学习 RESTful APIRepresentational State Transfer HTTP2最小单位—帧 消息和数据流 新的特性 跨域 优化与稳定 QUIC 优化传输体验(很有意义) 目前还在研究阶段,应用还不是很多 2023-01-20 前端 #前端 #HTTP
TypeScript入门学习 JS 和 TSJS: 动态类型、弱类型语言TS: 静态类型、弱类型语言 动态类型:在执行的时候才会去确定类型的匹配。在执行过程时进行类型匹配,才会匹配。静态类型:提前做这个事情,例如Python。弱类型语言:(str)1 + (int)1, 会做类型转换,是可以相加的。 为什么使用TS? 右边就是TS,左边是兼容的JS,主要是加一个类型。 对象类型 数组类型 补充类型 泛型 高级数据类型联合 2023-01-20 前端 #前端 #JS #TypeScript