psychec 다운로드 - psychec 소스 코드 다운로드

psychec

C# 소스 코드

1.0.0

다운로드

C 언어 (초안) 제안서를 활성화하는 제안서 및 C의 매개 변수 유형; 여기에서 프로토 타입을 사용할 수 있습니다.

Psyche-C

Psyche-C는 C 언어의 컴파일러 프론트 엔드입니다. 빌드 설정에 대한 이해없이 C 프로그램의 정적 분석 도구를 구현하는 데 중점을 둔 라이브러리로 설계되었습니다. 벨로우는 Psyche-C의 주요 특성입니다.

구문과 시맨틱 컴파일러 단계 사이의 깨끗한 분리.
알고리즘 및 휴리스틱 구문 명확성.
누락 된 struct , union , enum 및 typedef 의 선택적 유도 ( #include 고장으로 인해).
Roslyn .NET 컴파일러 및 LLVM의 Clang Frontend의 API에서 영감을 얻었습니다.

도서관 및 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의 유형 추론 기능을 엿볼 수있는 온라인 인터페이스.
기사/블로그 :
- C Psyche-C와 함께 C 프로그램을 덤프합니다
  (Pt-Br) Visualizando A ast de um programa c com o psyche-c
- 유형 추론으로 C로 프로그래밍
  프로그램