psychec

psychec

C#-Quellcode

1.0.0

Herunterladen

C Language (Entwurf) Vorschlag, der generische Funktionen und parametrische Typen in C ermöglicht; Prototyp hier verfügbar.

Psyche-C

Psyche-C ist ein Compiler-Frontend für die C-Sprache. Es ist als Bibliothek konzipiert, wobei der Schwerpunkt auf der Implementierung statischer Analyse -Tools von C -Programmen liegt, ohne das Verständnis der Build -Setup zu verstehen. Unten sind die Hauptmerkmale von Psyche-C:

Saubere Trennung zwischen den syntaktischen und semantischen Compiler -Phasen.
Algorithmische und heuristische Syntax -Disambiguierung.
Optionaler Typ -Inferenz für fehlende struct , union , enum und typedef (aufgrund von #include -Fehlern).
API inspiriert von dem des Roslyn .NET Compiler und des Clang Frontend von LLVM.

Bibliothek und API

Die native API von Psyche-C befindet sich in C ++, APIs für andere Sprachen sind jedoch geplant.

 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;
}

Der Znippetfahrer

Psyche-C geliefert mit dem Znippet- Treiber und kann als gewöhnlicher Parser für C-Snippets verwendet werden. Wenn Sie beispielsweise den Snippet unten mit Cnippet kompilieren, sehen Sie eine ähnliche Diagnose wie bei GCC oder Clang.

 void f ()
{
    int ;
}

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

Geben Sie Inferenz ein

Psyche-C kann optional (bisher nur im Originalzweig erhältlich) die fehlenden Arten eines C-Snippets schließen. Zum Beispiel kann Psyche-C für das Snippet eine (kompilierbare) Erklärung für T Synthese während der Zusammenstellung schließen.

 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 ;

Vielleicht möchten Sie diese Funktionalität verwenden, um:

Aktivieren Sie bei unvollständigen Programmen statische Analyse -Tools, die vollständige Programme erfordern.
Kompilieren Sie einen Ausschnitt (z. B. aus einem Fehler-Tracker abgerufen) für die Objektcode-Inspektion.
Generieren Sie Daten für Testeingänge für eine Funktion isoliert.
Prototypen Sie einen Algorithmus ohne spezifische Datenstrukturen.

Dokumentation und Ressourcen

Die Doxygen-erzeugte API.
Ein Wiki eines Mitwirkenden.
Eine Online-Oberfläche, die einen Einblick in die Typ-Inferenzfunktionalität von Psyche-C bietet.
Artikel/Blogs:
- Dumpeln eines C-Programms mit Psyche-C
  (Pt-BR) Visuarizando a ast de um programma c com o psyche-c
- Programmierung in C mit Typinferenz
  (Pt-BR) Programando EM C com inferência de tipos usando psychec