"Code Contracts"の検索結果1 - 2 件 / 2件

• あとで読む

  GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure.

  • 6 users
  • github.com/viperproject
  • テクノロジー
  • 2022/09/11

  Prusti is a prototype verifier for Rust that makes it possible to formally prove absence of bugs and correctness of code contracts. Internally, Prusti builds upon the Viper verification infrastructure. By default Prusti verifies absence of integer overflows and panics, proving that statements such as unreachable!() and panic!() are unreachable. Overflow checking can be disabled with a configuratio

  • Rust

  
• あとで読む

  C#の今後 - パラメータnullバリデーションの簡略化

  • 3 users
  • www.infoq.com
  • テクノロジー
  • 2020/03/16

  原文(投稿日：2020/01/16)へのリンク プロポーザル #2145は一見すると、C# 8のNullable Reference型機能の論理的拡張のように思われる。基本的な考え方は、非nullパラメータを受け入れるメソッドにおいて、引数のnullチェックを明示的に行う必要をなくす、というものだ。しかしながら、これが大きな論争の的になっている。 本レポートではこのオプションとそのメリット、デメリットを説明することで、読者が自身の意見を持つための一助としたいと考えている。その前に、これがなぜC# 8でも重要であるのかを簡単に説明しよう。 現在のNullable Reference型機能は、極めて情報量の乏しいものになっている。nullを扱う際の一般的なミスを開発者に警告するが、コンパイル時のみだ。アプリケーション実行中は、このようなコンパイル時チェックはまったく機能しない。 しかも、リフレ