psychec下載 - psychec源代碼下載

psychec

C#源碼

1.0.0

下載

C語言（草稿）建議在C中啟用通用功能和參數類型；原型可在此處提供。

Psyche-c

Psyche-C是C語言的編譯器前端。它被設計為庫，重點是實施C程序的靜態分析工具，而無需了解其構建設置。波紋管是Psyche-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 ;

您可能需要使用此功能來：

在不完整的程序中啟用需要完整程序的靜態分析工具。
編譯摘要（例如從錯誤跟踪器檢索）進行對象代碼檢查。
生成隔離函數的測試輸入數據。
原型是無特定數據結構的算法。

文檔和資源

Doxygen生成的API。
貢獻者的Wiki。
一個在線界面，可瞥見Psyche-C類型的推理功能。
文章/博客：
- 用Psyche-C傾倒C程序的AST
  （pt-br）Visualizando a ast de um programa c com o Psyche-c
- 具有類型推理的C編程
  （pt-br）programando em c comcompeceênciade tipos usando psychec