What are the main features of github/semantic?

The main features of github/semantic are: Semantic Code Analyzers, Static Analysis Frameworks, Code Symbol Extractors, Code Version Comparisons, Scope-Aware Graphs, Lexical Scope Analysis, Symbol Indexing, Intermediate Representation Translation.

Semantic - analyser et traiter du code source

Semantic est une bibliothèque basée sur Haskell et un outil en ligne de commande conçu pour l'analyse de code source polyglotte. Il fonctionne comme un framework d'analyse statique et un parseur d'arbres de syntaxe abstraite (AST) capable de convertir plusieurs langages de programmation en arbres structurés basés sur des définitions de grammaire.

Le système se distingue par son moteur de comparaison sémantique qui détecte les changements structurels et fonctionnels entre les versions de code, plutôt que de se limiter aux différences textuelles. Il permet une analyse transversale en traduisant les langages sources en une représentation intermédiaire polyglotte unifiée.

Le framework offre une large gamme de capacités pour parser des langages comme Rust, Go, Python, Ruby, PHP, TypeScript et TSX. Il couvre l'analyse sémantique via le mappage de portée, l'extraction de symboles, la génération de graphes sémantiques, ainsi que des outils d'analyse de motifs et d'évaluation du comportement des programmes.

L'ensemble d'outils inclut des utilitaires en ligne de commande pour standardiser la mise en page des fichiers sources Haskell.

Features

Semantic Code Analyzers - Implements semantic analysis to produce graphs and scope information by examining relationships and meanings within source code.
Static Analysis Frameworks - Provides a framework for mapping code scopes and extracting symbols to analyze program behavior.
Code Symbol Extractors - Provides specialized tools for identifying and indexing named identifiers and types within source code files.
Code Version Comparisons - Identifies structural and meaning-based changes between versions of source code instead of relying on simple text diffs.
Scope-Aware Graphs - Analyzes identifier visibility and accessibility to construct graphs mapping the relationships and meanings within a codebase.
Lexical Scope Analysis - Analyzes abstract syntax trees to determine the visibility and accessibility of identifiers across different scopes.
Symbol Indexing - Identifies and indexes named identifiers and types from source code to facilitate fast navigation and lookup.
Intermediate Representation Translation - Translates multiple surface languages into a unified internal language to enable consistent analysis across different programming syntaxes.
Polyglot AST Parsers - Converts multiple programming languages into structured syntax trees based on formal grammar definitions.
Polyglot Source Code Analyzers - Provides a library and CLI for parsing source code into abstract syntax trees and semantic graphs.
Polyglot Analyzers - Parses multiple programming languages into a unified format to analyze semantics and behavior across different files.
Source File Parsing - Converts source code from files or strings into abstract syntax trees using grammar definitions for multiple languages.
Typed Abstract Syntax Trees - Produces strongly typed abstract syntax trees from language definitions to enable structured static analysis.
Code Analysis Tools - Provides structural indexing and symbol extraction to facilitate codebase navigation and logic understanding.
Abstract Syntax Tree Generation - Converts raw source code into typed tree representations for deep structural analysis and developer tooling.
Structural Comparison Tools - Detects changes between versions of structured code using specialized tree difference algorithms.
AST Generators - Produces strongly typed abstract syntax trees by applying formal language grammar definitions to raw source text.
AST Difference Algorithms - Employs specialized tree-based diffing to identify structural and semantic changes between hierarchical versions of source code.
Static Analysis Pattern Matching - Identifies structural patterns and potential vulnerabilities within a codebase using static analysis.
Analysis Data Modeling - Uses protobuf schemas to define and generate structured data types for representing source code and semantic analysis results.
Go Parsers - Parses and analyzes Go source code to extract semantic information for processing or comparison.
Language Representation Types - Automates the creation of strongly typed Haskell data structures to represent language-specific syntax and semantics.
PHP Parsers - Analyzes PHP code to produce a structured representation for programmatic analysis and comparison.
Program Behavior Analysis - Analyzes source code by interpreting an intermediate language to extract program behavior and properties.
Python AST Parsing - Analyzes Python code to extract structured semantic information for use in program analysis or comparison.
Ruby Parsers - Analyzes Ruby source files to extract structural information and semantic data for code analysis.
TSX Parsers - Analyzes TypeScript JSX files to extract a structured representation of the source code for study.
TypeScript Parsers - Converts TypeScript code into a structured representation for programmatic analysis and comparison.
Rust Parsers - Analyzes Rust source code to extract semantic information and structure for further processing.
Developer Utilities - Tool for parsing and analyzing source code.

chai2010/go-ast-book

5,510Voir sur GitHub

go-ast-book is a collection of educational and technical resources focused on abstract syntax tree analysis, compiler development, and static code verification. It provides guides and manuals for parsing, traversing, and analyzing Go source code to extract semantic meaning. The project serves as a reference for building compiler frontends, covering the translation of high-level code into intermediate representations and single static assignment forms. It also provides instructions for using these techniques to develop language tooling and perform static code analysis. The resources cover a b

dtolnay/syn

3,292Voir sur GitHub

syn is a Rust syntax tree parser and token stream converter. It serves as a toolkit for procedural macro development, providing a framework to parse Rust source code into structured syntax trees for analysis and transformation. The project enables the manipulation of Rust abstract syntax trees through specialized visitor and folder patterns for traversing and mutating nodes. It provides a bidirectional mapping that allows developers to convert token streams into structured trees and print those trees back into tokens for code generation. The library covers a broad range of syntax analysis ca

AlDanial/cloc

23,201Voir sur GitHub

cloc is a codebase metrics tool and multi-language code analyzer designed to count blank lines, comment lines, and physical lines of code. It serves as a source code line counter and report generator that identifies file types to calculate source volume across a wide variety of programming languages. The tool distinguishes itself by providing codebase version comparison to measure relative changes in source and comment lines between two versions of a directory or archive. It also supports the definition of custom languages and the extension of language recognition by loading custom comment fi

Historique des stars

TypeDoc is a documentation generator and AST analyzer that transforms TypeScript source code and comments into structured API reference websites or data files. It functions as a static site generator that converts code symbols into a searchable web interface. The project is an extensible framework, allowing users to modify the documentation process and generator logic through a programmable plugin system and custom themes. Its capabilities include API reference generation, source code parsing, and documentation coverage validation to ensure exported members are properly described. It support

githubsemanticArchived

Semantic

Features