「静态分析检查器」共找到 1208 篇相关文章
“DeepSeek 时刻” 一周年
本文回顾 2025 年 1 月 “DeepSeek 时刻” 后中国开源 AI 社区转折，分析其对全球开源生态的重塑。指出 DeepSeek R1 降低三门槛，推动战略转变，全球也积极应对新开源热潮。
Cloudflare 通过左移安全实践扩展基础设施即代码
Cloudflare实施基础设施即代码和自动化策略执行，将安全验证前置，消除手动配置错误，在部署前捕捉安全违规。该方案以Terraform等为核心，还解决了采用难题、配置漂移等问题。
中美AI竞争的四种未来：OpenAI情报与调查团队指出决胜点
OpenAI情报与调查团队对中美未来几年AI竞争进行推演，指出美国有资本、算力等优势，但面临电力等问题；中国靠国家意志推动，有工业协调等优势。未来博弈有四种结局，决胜看中国算力自救、全球‘朋友圈’和本土市场消化能力。
ChatGPT也上线了个人年度报告！
OpenAI 让 ChatGPT 上线「Your Year with ChatGPT」功能，根据用户过去一年对话生成专属年度回顾。报告有数据统计、聊天风格分析、年度奖项等，还能预测 2026 年，虽简洁但数据更私密真实。
高智商 ≠ 高财商？50天实盘测试：LMArena 高分王者也可能是「韭菜」
伊利诺伊大学厄巴纳 - 香槟分校团队开发 LiveTradeBench，让大模型在真实金融市场交易，检验其能力。它全面开源，有实时数据、组合决策等创新，50 天实测揭示模型财商差距。
ICCV 25 Highlight | 扩散过程「早预警」实现6x加速，AIGC生图的高效后门防御
随着AIGC图像生成技术流行，后门攻击威胁开源社区，传统防御技术难适配。本文作者来自多所高校，提出输入级防御框架NaviT2I，基于神经元激活差异检测样本，加速检测，性能优。
CrowdStrike联手Meta发布AI安全基准，让AI在真实网络攻击中证明自己
美国网络安全巨头CrowdStrike与Meta在Fal.Con 2025大会联合推出开源基准测试套件CyberSOCEval，旨在评估AI大语言模型在真实SOC环境下的网络安全能力，它源于Meta之前框架，开源供全球开发者使用。
从BM25到Multi-Vector：6种Embedding演进路线
文章介绍从BM25到Multi - Vector的6种Embedding演进路线，涵盖Sparse、Dense等类型，分析其痛点、效果、案例及选型建议，还给出不同场景的方案选择和步骤。
具身智能能力狂飙，安全却严重滞后？首个安全可信EAI框架与路线图出炉！
具身人工智能发展迅速，但能力与安全出现“脱钩”。上海人工智能实验室和华东师范大学团队撰写论文，为“安全可信具身智能”建立理论框架与蓝图，提出成熟度模型、分析框架等。
17000 tokens的GPT-5系统提示词被意外泄露，以及八点总结~
OpenAI GPT - 5的system prompt被曝光在github，约17803 Tokens、78960 Characters。文章对提示词做八点分析总结，如互动风格、写作要求、工具使用等，还给出工具部分重点。