- 博客(5)
- 收藏
- 关注
RSS订阅原创 Tamarin prover在Windows上的安装与使用
在WSL中，Windows系统的路径是在：/mnt。后续可以基于tamarin-manual.pdf中 FirstExample.spthy开始学习。相对其它方法，以上过程安装tamarin-prover很顺利。重新启动vim，并运行: PluginUpdate。
2025-05-30 09:40:46
466
原创 【Autosar:编译源码】
在as-master目录下，SConstruct文件中，SConscript收集objs，然后调用Building()函数上述代码对SConscript收集objs分类。下面的代码将下面代码生成的.c文件加如到objs中。这些文件在：as-master/build/posix/x86/ascore/config。因为BUILD_TYPE = ‘exe’，执行： env.Program(target, objs)会用gcc编译器对objs里面出现的c文件进行编译成o文件，最后进行链接为x86目标文件。
2025-03-23 14:28:39
501
原创 QEMU仿真树莓派
QEMU是一套由Fabrice Bellard所编写的模拟处理器的自由软件。它与Bochs，PearPC近似，但其具有某些后两者所不具备的特性，如高速度及跨平台的特性。
2025-03-08 11:08:33
1017
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人