QualaLLVM/Clang 的类型修饰符

0粉丝
Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验,它的灵感来自于 JSR-308 和 Checker Framework用户定制
简介
Quala 是一个增加覆盖类型系统到 LLVM 和 Clang 的实验,它的灵感来自于 JSR-308 和 Checker Framework用户定制化的类型系统让不用黑进编译器来增加一个可选的语言选项成为可能。世界上有很多关于帮助识别特定问题的一次性类型系统的想法,例如 SQL 注入,但是把这些整... 更多
其它信息
地区
不详
开发语言
C/C++
开源组织
所属分类
程序开发、 常用工具包
授权协议
MIT
操作系统
跨平台
收录时间
2023-09-28
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐