GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

テクノロジーカテゴリーの変更を依頼記事元:

github.com/zetzit

22 usersがブックマークコメント

コメント

5

記事へのコメント5件

注目コメント
新着コメント

masterq うーん、close()が必ず呼ばれることを保証できないような。。。

2021/05/15 リンク

bootJP “rust inspired transpiler and symbolic verifier to bare metal C”

2020/02/06 リンク

fcicq memory safe c?

2020/02/06 リンク

tanakh “ZZ (drunk octopus) is a modern formally provable dialect of C, inspired by rust”はぇぇすっごい(´･_･`)

2020/02/05 リンク

ABA C言語のプログラムが未定義動作を行わないことをコンパイル時に形式的に証明することで安全な動作を保証するDrunk Octopus

2020/02/05 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

GitHub - zetzit/zz: 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

You signed in with another tab or window. Reload to refresh your session. You signed out in anoth... You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

ブックマークしたユーザー

masterq2021/05/15
Getaji2020/02/06
xef2020/02/06
teppey2020/02/06
Kureduki_Maari2020/02/06
daikikohara2020/02/06
bootJP2020/02/06
michael262020/02/06
slay-t2020/02/06
akulog2020/02/06
reica2020/02/06
kyata11022020/02/06
korin2020/02/06
fcicq2020/02/06
motoryo2020/02/05
tuki09182020/02/05
tanakh2020/02/05
ABA2020/02/05

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx