[B! static][c++] masterqのブックマーク

masterq id:masterq

staticとc++に関するmasterqのブックマーク (4)

GitHub - GaloisInc/crucible: Crucible is a library for symbolic simulation of imperative programs
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.
masterq 2022/11/15
ドキュメントが2022年12月時点ではそろっていないように思える

static

verify

rust

llvm

jvm

c

c++
リンク
GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution
masterq 2022/11/09
ユニットテストの要領で書くと検査してくれる何か？

c

c++

static

verify

test

unittest

testing

fuzzing
リンク
GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
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.
masterq 2022/11/08
"抽象解釈にもとづく静的プログラム解析器。Z3などのソルバは使っていないが、多面体解釈や不動点をサポートしており、制御フローや関数呼び出しも考慮してバグを発見できる。C/C++を対象としているが、LLVMでも"

c

c++

static

verify

あとで読む
リンク
GitHub - smackers/smack: SMACK Software Verifier and Verification Toolchain
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
masterq 2022/11/01
LLVM IRをBoogieに変換することでassertを検証できるツール

rust

static

verify

language

llvm

c

c++

boogie
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx