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