psychecダウンロード - psychecソースコードのダウンロード

psychec

C# ソースコード

1.0.0

ダウンロード

C言語（ドラフト）cの汎用関数とパラメトリックタイプを可能にする提案。ここでプロトタイプがあります。

Psyche-C

Psyche-Cは、C言語のコンパイラフロントエンドです。ビルドセットアップを理解することなく、Cプログラムの静的分析ツールの実装に焦点を当てたライブラリとして設計されています。ベローズは、精神-Cの主な特徴です：

構文とセマンティックのコンパイラフェーズ間のきれいな分離。
アルゴリズムおよびヒューリスティックな構文の曖昧性除去。
欠落しているstruct 、 union 、 enum 、およびtypedefのオプションのタイプ推論（ #include failuresのため）。
APIは、Roslyn .NETコンパイラとLLVMのClang Frontendのそれに触発されました。

ライブラリとAPI

Psyche-CのネイティブAPIはC ++ですが、他の言語のAPIが計画されています。

 void analyse ( const SourceText& srcText, const FileInfo& fi)
{
    ParseOptions parseOpts;
    parseOpts. setAmbiguityMode (AmbiguityMode::DisambiguateAlgorithmically);

    auto tree = SyntaxTree::parseText (srcText,
                                      TextPreprocessingState::Preprocessed,
                                      TextCompleteness::Fragment,
                                      parseOpts,
                                      fi. fileName ());

    auto compilation = Compilation::create ( " code-analysis " );
    compilation-> addSyntaxTree (tree. get ());

    AnalysisVisitor analysis (tree. get (), compilation-> semanticModel (tree. get ()));
    analysis. run (tree-> translationUnitRoot ());
}

SyntaxVisitor::Action AnalysisVisitor::visitFunctionDefinition ( const FunctionDefinitionSyntax* node) override
{
    const sym = semaModel-> declaredSymbol (node);
    if (sym-> kind () == SymbolKind::Function) {
        const FunctionSymbol* funSym = sym-> asFunction ();
        // ...
    }
    return Action::Skip;
}

Cnippetドライバー

Psyche-CにはCnippetドライバーが付属しており、Cスニペットの通常のパーサーとして使用できます。たとえば、 Cnippetで下のスニペットをコンパイルすると、GCCまたはClangで表示される診断と同様の診断が表示されます。

 void f ()
{
    int ;
}

 ~ cnip test.c
test.c:4:4 error: declaration does not declare anything
int ;
    ^

タイプ推論

Psyche-Cは、オプションで（これまでのところ、元のブランチでのみ利用可能）、不足しているタイプのCスニペットを推測できます。たとえば、以下のスニペットの場合、Psyche-Cは、コンピレーション中にTするための（編集可能な）宣言を推測できます。

 void f ()
{
    T v = 0 ;
    v -> value = 42 ;
    v -> next = v ;
}

 typedef struct TYPE_2__ TYPE_1__ ;
struct TYPE_2__ 
{
    int value ;
    struct TYPE_2__ * next ;
} ;
typedef TYPE_1__ * T ;

この機能を以下に使用することをお勧めします。

不完全なプログラムでは、完全なプログラムを必要とする静的分析ツールを有効にします。
オブジェクトコード検査のために、スニペット（例：バグトラッカーから取得）をコンパイルします。
単独で関数のテスト入力データを生成します。
特定のデータ構造のないアルゴリズムをプロトタイプ。

ドキュメントとリソース

ドキシゲン生成API。
貢献者のウィキ。
Psyche-Cのタイプの推論機能を垣間見るオンラインインターフェイス。
記事/ブログ：
- Psyche-CでCプログラムのASTをダンプします
  （Pt-Br）visualizando a ast de um programa c com o psyche-c
- 型推論を備えたCでのプログラミング
  （PT-BR）プログラムEM C Com Infencia de Tipos Usando Psychec