QuickCheck++: Main Page
Table of Contents Introduction What is QuickCheck++ Why Would I Want to Use It? How to Get It? Relation to Haskell's QuickCheck License Using QuickCheck++ Defining Properties Verifying Properties Specifying a Precondition Inspecting Input Data Distribution Custom Data Generators General Purpose Generators Special Purpose Generators Data Generator Primitives Printing Property Names Verbose Checking
ソースコードの脆弱性をチェックするツール、IPAが無償公開。C言語に対応
IPA（独立行政法人情報処理推進機構）は、 C言語で作成されたソースコードに脆弱性が存在しないかどうかを検査するツール「iCodeChecker」を公開しました。無償で利用できます。 iCodeCheckerは、ソースコードの脆弱性が存在する箇所を検出し、修正例や脆弱性が悪用された場合の脅威についてのレポートを出力するツール。プレスリリースから引用します。 本ツールは、脆弱性やソースコード検査技術を学習したい学生や開発者を対象に、利用者自身が作成したソースコード（C言語）を検査することできます。 本ツールでは、ソースコードの脆弱性が存在する箇所を検出し、修正例や脆弱性が悪用された場合の脅威について解析したレポートを出力します。利用者は本ツールを通して、脆弱性を学習するとともに、ソースコードセキュリティ検査技術の有効的な活用方法を習得することができます。 配布形式は、VMイメージ、パッケージ
Another HTML Lint 5
Another HTML-lint 5 is a free checker tool for HTML syntax. You may freely reuse and repost this as long as it is for non-profits. Please make sure to link to this website and specify explicitly your (website manager's) location and contact details. Advertising or any service associated with advertising is forbidden. Note: This is currently Beta version. Please contact us at the following e-mail i
「MoMA」を使って.NETアプリをLinuxのMonoに移植してみる
「MoMA」を使って.NETアプリをLinuxのMonoに移植してみる：.NET互換性検証ツールレビュー（1/5 ページ） 「Mono Migration Analyzer（MoMA）」は、Microsoft .NETプログラムのMonoへの移植を支援するツール。その究極目標はWindowsソフトウェアをLinuxに移植することにある。実際にMoMAを検証してみた。 Microsoftが.NETのランタイムとフレームワークを最初にリリースしたとき、Windows向けのプログラミングが非常に容易になった。プログラマーは人気の高い言語（C++、Javaによく似たC#、Visual Basic）の中から好きなものを選ぶことができるようになったが、.NETを選択することは、基本的にWindowsプラットフォームに縛り付けられることを意味した。移植性を考慮するのであれば、C++とwxWidgetsな
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BackTrack Linux - Penetration Testing Distribution
