TIS-interpreter progress report
tis-interpreter is a specialized version of Frama-C for interpreting C programs and finding bugs in them. The development of tis-interpreter started from Frama-C’s Value Analysis plug-in, and discarded the possibility of analyzing the behaviors of the program for all inputs. Instead, tis-interpreter monitors the program’s behavior for one input at a time. In exchange for giving up on generality, t
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - GayPizzaSpecifications/mac-linux-kdk: Build ARM Linux Kernels natively on macOS hosts
GitHub - google/autofdo: AutoFDO
GitHub - endrazine/wcc: The Witchcraft Compiler Collection
GitHub - TrustInSoft/tis-interpreter: An interpreter for finding subtle bugs in programs written in standard C