本文深入探讨编译器优化导致的"分歧表示"现象：同一源代码变量在不同代码段被编译为不同语义表示，重点分析SQLite漏洞CVE-2022-35737的利用实例，并介绍使用Binary Ninja和CodeQL检测此类问题的技术方法。当心！分歧表示无处不在！ - Trail of Bits博客 Trail of Bi…

今天是2025年9月7日，上午中山大学举行了开学典礼，我的大学生活也渐渐拉开了帷幕。总觉得该记录些什么，于是趁着夜色，随手乱写了点东西。 不知不觉，来到中山大学已经快二十天了。这段时间经历了充满乐趣的军训：遇到了很棒的室友，认识了亲切的何教官（虽然他总叫我“黑皮”…

ROS2 Python 时间模块技术文档ROS2 Python 时间模块技术文档 1. 核心概念 1.1 时间系统概述 ROS2 的时间系统基于纳秒级精度设计，通过 rclpy.time 模块为开发者提供以下核心功能：精确的时间点（Time）和时间间隔（Duration）表示 支持多种时钟源（系统时钟/仿真时钟） 线程安…

面试官你好，我叫xx是湖南人，今年28岁，学历本科，做软件测试7年了，之前做的业务方向是南方电网的项目有，南网在线，法治平台，电网管理平台，广东省森林公安防火系统，水质应急指挥系统。web端和app端，微信小程序，和支付宝小程序都有涉及到。在个人技能这一块首先我是非常…

开篇虽然所有的渲染在某种程度上都是“基于物理”的。但是在实践中，“基于物理”意味着严格遵循物理模型，而不是“基于现象”，前者可以启发式地捕捉主观的感知特征，比如用经验公式把高光放在“正确”的地方。这章覆盖了基于物理的高级渲染，定义了领域中使用的单位和术语，…

2025年9月 9月8日BUG_ID: 1000: 当文章长度过长时, 侧边目录的高度大于屏幕的高度, 且不能随着屏幕的滚动而滚动

从“分治”到“点分治” 在算法世界里，“分治”几乎是最经典的套路：把一个大问题拆成若干规模较小的子问题，递归解决，再把答案拼接。归并排序、快速幂，都是这样耳熟能详的例子。 数组有天然的“中点”，可以左右对半分；而无根树由节点与边连接，我们也可以选择一个节点，…