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%

推荐

Zapcc基于 Clang 的 C++ 编译器

Zapcc 是基于 LLVM/Clang 的缓存型 C++ 编译器，旨在执行更快的编译。Zapcc

CodeChecker基于 Clang 的分析器工具

CodeChecker 是一个基于 LLVM/Clang静态分析器工具链的静态分析基础设施，可替代 scan-buildLinux或macOS(OSX)开发环境。CodeChecker已移植到Pyth

CodeChecker基于 Clang 的分析器工具

CodeChecker 是一个基于 LLVM/Clang 静态分析器工具链的静态分析基础设施，可替代

Zapcc基于 Clang 的 C++ 编译器

Zapcc是基于LLVM/Clang的缓存型C++编译器，旨在执行更快的编译。Zapcc在client-server架构中使用in-memory技术来编译缓存，它会记住运行之间的所有编译信息。Zapc

XsemanticsXtext 的类型系统

Eclipse Xsemantics 是一种DSL（在 Xtext 中实现的），为 Xtext 实现

XsemanticsXtext 的类型系统

EclipseXsemantics是一种DSL（在Xtext中实现的），为Xtext实现了编写类型系统、缩减规则、解释器和一般关系规则的语言。Xsemantics定义是一套具有结论和一套前提的判断规则

ELLCC基于 clang 的跨平台编译器工具包

ELLCC是一个基于clang的跨平台编译器工具包。ELLCC支持多平台：ARM,i386,Mips,PowerPC,以及X86_64。所有用于构建ELLCC和由ecc生成的可执行文件的库都使用了BS

ELLCC基于 clang 的跨平台编译器工具包

ELLCC 是一个基于 clang 的跨平台编译器工具包。ELLCC 支持多平台：ARM, i386

ReJSONRedis 的 Json 类型模块

Redis的Json类型模块快速开始编译ReJSON模块加载ReJSONtoRedis从任意Redis客户端使用,e.g.:

TSON一种带类型的

一种带类型的 "json"，主要用于解决 json 反序列化类型丢失问题；Java 对象的持久化方案