Seddon's Blog
  • 首页
  • 归档
  • 分类
  • 标签
  • 关于
  •   
  •   

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
1234

搜索

Hexo Fluid