FreeBuf网络安全行业门户 ·

记一次java代码审计学习

💡 原文约100字/词，阅读约需1分钟。

📝

内容提要

本文分享了作者学习Java SE和Web请求实现的经验，以及审计CMS的方法。介绍了预处理避免注入的方法和四种HQL参数绑定方式。详细讲解了锁定机制的实现，包括查询数据库、写入锁定次数等步骤。

🏷️

系统设计两种抽象：Java藏细节 TLA+砍细节根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
从AI代码到可信软件：工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准，确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性，并描述了从辅助到自主的成熟度阶段。核心是...
英伟达买下Hugging Face的真正算盘
英伟达买下Hugging Face的真正算盘英伟达为什么用129.3亿美金收购Hugging Face？这期从129303的Unicode表情与英伟达...
2026-09-06-前端与AI技术周报
本期覆盖 Electron 44.2、Bun 1.4、Vite 8.3 beta、Cursor 自托管机器与 Chrome 单轴滚动容器测试。
2026 09 06 HackerNews
Anthropic团队利用Claude AI在11天内完成了费马大定理的完整计算机验证，生成了1300万行Lean代码，证明了29500个中间定理，展示了...
推理服务的缓存与调度：前缀、多级存储、集群路由
本文讨论长上下文推理服务的缓存与调度优化。核心原则是缓存未命中比命中贵几个数量级，因此设计围绕复用展开：单实例内通过块哈希实现前缀缓存；KV池采用writ...