タグ

analysisに関するk1mのブックマーク (11)

  • TLS 1.3 and the Future of Cryptographic Protocols

    ✕ Synopsys Enters into Definitive Agreement for Sale of Application Security (Software Integrity Group) Learn More The All-in-One Application Security Platform Optimized for DevSecOps Whether testing one application or thousands, automate any scan, any time, anywhere, all at once Explore the Polaris platform 2024 Open Source Security and Risk Analysis Report Explore insights into the current state

    k1m
    k1m 2007/04/20
    静的解析ベースの bug/fault finder
  • netail.net(2006-12-19)

    自作フリーソフトや,ゲームに関する雑記を公開してます. 日記はソフトウェア工学の論文ネタが中心です. _ [論文] 動詞+目的語でコードを検索 ▲ David Shepherd, Zachary P. Fry, Emily Gibson, Lori Pollock, K. Vijay-Shanker: Using Natural Language Program Analysis to Locate and Understand Action-Oriented Concerns. [author's page] Technical Report No. 2006-334 (U. of Delaware), AOSD 2007, to appear. ソースコードとコメントから,動詞と目的語のペアからソースコードへの対応を辺としたグラフを作るという話です.On-demand remodula

    k1m
    k1m 2006/12/21
    Using Natural Language Program Analysis to Locate and Understand Action-Oriented Concerns, AOSD2007
  • はじめてのにき(2006-12-10)

    _ とまらないコンパイラ i@u ~/test/d> dmd functional functional.d(26): Error: 'this' is only allowed in non-static member functions, not f functional.d(26): Error: 'this' for nested class must be a class type, not int functional.d(26): Error: 'this' is only allowed in non-static member functions, not f functional.d(26): Error: 'this' for nested class must be a class type, not int functional.d(26): Error: 'th

    k1m
    k1m 2006/12/11
    某Dがコンパイラ実装にやさしいのであれば,エディタ実装に以下略。ここで解析とかSDEとか言い出すと,「アカデミック」になっちゃうのかなあ。
  • netail.net(2006-11-17)

    自作フリーソフトや,ゲームに関する雑記を公開してます. 日記はソフトウェア工学の論文ネタが中心です. _ [論文] プログラムの条件分岐を無理やり変更してデバッグ ▲ Xiangyu Zhang, Neelam Gupta, Rajiv Gupta: Locating Faults Through Automated Predicate Switching. ICSE 2006, pp.272-281. プログラム実行中のある時点でデータに誤りが発生した場合,それはそこまでの実行経路に問題がある.直前ないし近い位置の分岐で別方向に進んでいたらプログラムはうまく動いていたかもしれない.だから,そういう条件分岐("critical predicate")がもしあるのなら自動的に見つけよう,という論文です. critical predicate が見つかれば,入力変数から critical pr

    k1m
    k1m 2006/11/19
    Locating Faults Through Automated Predicate Switching, ICSE2006
  • PPI-1.278

    Adam Kennedy Andy Lester Arnout Pierre bowtie Branislav Zahradník brian d foy Chas. J. Owens IV Chris Capaci Chris Dolan Christian Walde Colin Newell Damyan Ivanov Dan Book Dan Church David Steinbrunner dependabot[bot] Edmund Adjei Elliot Shank Gabor Szabo Graham Knop Graham Ollis Guillaume Aubert James E Keenan Joel Maslak Julian Fondren Karen Etheridge Kent Fredric Lance Wicks Matt Church Matthe

    PPI-1.278
    k1m
    k1m 2006/10/19
    Perl の 静的解析ツール(というよりパーサか)
  • OBB vs AABB - Radium Software Development

    iPhoneの一般修理店は予約なしでも来店できる? 基的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、

    k1m
    k1m 2006/09/13
    IS(?) はテンプレートのインスタンス化を少なくとも17 回までサポートすればよいと規定しているらしい
  • スラッシュドット ジャパン | バグを発見する典型的なやり方ってありますか?

    あるAnonymous Coward曰く、"Mu: 経由で、「w3mのデバッグの記録」というのを読んだ。 w3mのバグを修正した時の記録です。バグ修正のケーススタディ的な物があると有用かなと思ったので、公開します。 バグの発見方法 * なにはともあれ、ktrace * fstatでオープンしているファイルの状態を見る * w3mのソースからgzipの処理部を探す * pcloseが呼ばれているのかを検証 * pcloseではクローズできないpipeがある? * pipeをオープンする方法は、popenだけではない 時々、じっとログを眺めていたかと思うと「キター」とかいってバグを発見するヒトもいるのですが、みなさんはバグを発見するための定石などありますか?聞いてみたいです。"

    k1m
    k1m 2006/09/13
    静的解析ツールがいくつか並べられてます
  • IEEE Xplore# Wrapper Result

  • wlog - 無料の Web サーバーアクセスログ収集解析ツール

    wlog — Web サーバー用アクセスログ収集解析ツール Version 2.5.1 あなたはこんな質問に答えられますか? 広告の効果を見たいので、去年の 3 月と今月分だけ、日ごとにページビュー見れる? 何時ごろのアクセスが一番多いの? アクセス数が変わったのは、どこかがリンクしてくれたのかな? どういう検索語でサイトに来ているの? ロボットってちゃんと来ている? どのバージョンのブラウザが一番多いの? Windows で IE のユーザーって何 % くらいいるの? リンク切れって起きているの? 去年と比べてこのサイトって遅くなっている? wlog なら、使い慣れた Excel の上で知りたい部分をダブルクリックして操作できる対話的なレポートにより、こういった質問にすべて答えることができます。 アクセスログ解析ツール wlog の特徴 Excel を使って、アクセスログの自由で柔軟な集

    k1m
    k1m 2006/09/13
    Excel based WWW-log analyser
  • Visitors - fast web log analyzer

    Visitors is a very fast web log analyzer for Linux, Windows, and other Unix-like operating systems. It takes as input a web server log file, and outputs statistics in form of different reports. The design principles are very different compared to other software of the same type: No installation required, can process up to 150,000 lines of log entries per second in fast computers (20MB/s with my lo

    k1m
    k1m 2006/09/13
    Fast, Simple
  • The Daikon dynamic invariant detector

    k1m
    k1m 2006/09/13
    Daikon is an implementation of dynamic detection of likely invariants
  • 1