AlloyTools/org.alloytools.alloy
@AlloyToolsAlloy 是一種用於描述結構的語言以及用於探索結構的工具。它已被廣泛應用於各種應用中，從尋找安全機制的漏洞到設計電話交換網路。此儲存庫包含該工具的程式碼。
星數
865
Fork 數
149
語言
Java
授權
NOASSERTION
最後推送
3 個月前
相關情報（0）
還沒有相關情報
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。
Alloy 是一種用於描述結構的語言以及用於探索結構的工具。它已被廣泛應用於各種應用中，從尋找安全機制的漏洞到設計電話交換網路。此儲存庫包含該工具的程式碼。
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。