QualaLLVM/Clang 的類型修飾符
認領
0粉絲
Quala 是一個增加覆蓋類型系統(tǒng)到 LLVM 和 Clang 的實驗，它的靈感來自于 JSR-308 和 Checker Framework用戶定制化的類型系統(tǒng)讓不用黑進編譯器來增加一個可選的語言選項成為可能。世界上有很多關于幫助識別特定問題的一次性類型系統(tǒng)的想法，例如 SQL 注入，但是把這些整
簡介
Quala 是一個增加覆蓋類型系統(tǒng)到 LLVM 和 Clang 的實驗，它的靈感來自于 JSR-308 和 Checker Framework用戶定制化的類型系統(tǒng)讓不用黑進編譯器來增加一個可選的語言選項成為可能。世界上有很多關于幫助識別特定問題的一次性類型系統(tǒng)的想法，例如 SQL 注入，但是把這些整... 更多
技術信息
開源協(xié)議
MIT
開發(fā)語言
C/C++
操作系統(tǒng)
跨平臺
軟件類型
開源軟件
所屬分類
程序開發(fā)、 常用工具包
開源組織
無
地區(qū)
不詳
適用人群
未知
評價
0.0（滿分 10 分）0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%