ENTITY PROFILE / 实体档案
OpenSSL
METR study reports on OpenSSL vulnerabilities Theorem’s roadmap targets the OpenSSL library for formal verification· Graphiti 生成的实体摘要
RELATIONS
2关系CURRENT
2当前有效EVENTS
1相关事件REPORTS
2来源报道暂无可公开的邻近关系
按需展开实体的全部已公开关系，保留探索过的节点与连线。
关系变化
按生效时间- Claude CodeTARGETSOpenSSL
Theorem’s roadmap targets the OpenSSL library for formal verification
- METR studyREPORTS ONOpenSSL
METR study reports on OpenSSL vulnerabilities
关系是 Graphiti 从报道中提取的事实陈述，不是原文引述；失效时间表示后来的报道显示这条关系已不成立。