nyaocatのブックマーク / 2017年10月25日

nyaocat id:nyaocat

2017年10月25日のブックマーク (4件)

C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。他にも耳寄りな情報があったら教えてほしい。静的解析を行うことができるソフトウェア調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
nyaocat 2017/10/25
リンク
大阪風甘辛ソースコビーフカレー
前回が多くの人に向けた簡単レシピだったので今回は上級編。大阪のインディアンカレーに代表されるような甘辛いビーフカレー、題して「大阪風甘辛ソースコビーフカレー」でーーーーす♪♪♪ このカレーをブレずに作ることが出来たらお店を開ける！！と断言出来る自信作です。めちゃくちゃ美味しいのでぜひ作ってみてください！！！！（゜∀゜）ノ牛肉　　500g（一口大にカット）玉ねぎ　中1個（スライス）カットトマト缶　1/3缶ニンニク　3片（すりおろす）※1片は5gで計算ショウガ　同量をすりおろすソースコ　小さじ1 カレー粉　大さじ5（25g）※S&Bの赤缶かインデラカレー粉が◎ 黒胡椒（粗挽き）　小さじ1 薄力粉　大さじ4 バター40g 赤ワイン　50cc オイスターソース　大さじ1 マギーブイヨン　3個（細かく砕いておきます）フルーツチャツネ　大さじ1（マンゴーチャツネ可）モモ缶詰のモモ
nyaocat 2017/10/25
リンク
Bola99 > Menang Bermain RTP Gacor 2024 | Login Slot Gacor Bola 99
Perkem bangan zaman modern sangat amat dinantikan terutama yang tadinya semua orang bermain mesin slot konvensional sekarang berpindah ke slot online dan juga mencari berbagai game slot gacor hari ini yang sangat populer. Situs slot gacor gampang menang yang dapat memberikan jackpot kepada para pem ain slot terbaru yaitu di Bola99. Sebagai agen slot gacor ternama pastinya akan terus mengikuti perkem
nyaocat 2017/10/25
リンク
GitHub - Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
RTags is a client/server application that indexes C/C++ code and keeps a persistent file-based database of references, declarations, definitions, symbolnames etc. There’s also limited support for ObjC/ObjC++. It allows you to find symbols by name (including nested class and namespace scope). Most importantly we give you proper follow-symbol and find-references support. We also have neat little thi
nyaocat 2017/10/25
ふむ
リンク
- 2017年10月26日
- 2017年10月25日
- 2017年10月23日