Semantic

Semantic is a Haskell-based library and command-line tool designed for polyglot source code analysis. It functions as a static program analysis framework and a polyglot abstract syntax tree parser that converts multiple programming languages into structured syntax trees based on grammar definitions.

The system distinguishes itself through a semantic code comparison engine that detects structural and meaningful changes between code versions rather than relying on textual differences. It further enables analysis across different programming syntaxes by translating surface languages into a unified polyglot intermediate representation.

The framework provides a broad suite of capabilities for parsing languages such as Rust, Go, Python, Ruby, PHP, TypeScript, and TSX. It covers semantic analysis through code scope mapping, symbol extraction, and the generation of semantic graphs, alongside tools for pattern analysis and program behavior evaluation.

The toolset includes command-line utilities for standardizing Haskell source file layouts.

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.

سجل النجوم

githubsemanticArchived

Name: github/semantic
Author: github

View on GitHub

9,041 نجوم459 تفرعاتHaskell23 مشاهدات

Semantic

The toolset includes command-line utilities for standardizing Haskell source file layouts.

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.

بدائل مفتوحة المصدر لـ Semantic

مشاريع مفتوحة المصدر مشابهة، مرتبة حسب عدد الميزات المشتركة مع Semantic.

chai2010/go-ast-book
chai2010/go-ast-book
5,510عرض على 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
Go
عرض على GitHub5,510
dtolnay/syn
dtolnay/syn
3,292عرض على 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
Rustproc-macro
عرض على GitHub3,292
svf-tools/svf
SVF-tools/SVF
1,684عرض على GitHub
SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory
C++code-analysiscode-securitydependency-analysis
عرض على GitHub1,684
aldanial/cloc
AlDanial/cloc
23,201عرض على 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
Perl
عرض على GitHub23,201

عرض جميع البدائل الـ 30 لـ Semantic

الأسئلة الشائعة

ما هي وظيفة github/semantic؟

ما هي الميزات الرئيسية لـ github/semantic؟

الميزات الرئيسية لـ github/semantic هي: Semantic Code Analyzers, Static Analysis Frameworks, Code Symbol Extractors, Code Version Comparisons, Scope-Aware Graphs, Lexical Scope Analysis, Symbol Indexing, Intermediate Representation Translation.

ما هي البدائل مفتوحة المصدر لـ github/semantic؟

تشمل البدائل مفتوحة المصدر لـ github/semantic: chai2010/go-ast-book — go-ast-book is a collection of educational and technical resources focused on abstract syntax tree analysis, compiler… dtolnay/syn — syn is a Rust syntax tree parser and token stream converter. It serves as a toolkit for procedural macro development,… svf-tools/svf — SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references,… aldanial/cloc — cloc is a codebase metrics tool and multi-language code analyzer designed to count blank lines, comment lines, and… typestrong/typedoc — TypeDoc is a documentation generator and AST analyzer that transforms TypeScript source code and comments into… universal-ctags/ctags — Universal Ctags is a multi-language symbol indexer and regex-based parsing engine used to extract and catalog…

Semantic

Features

سجل النجوم

Semantic

Features

بدائل مفتوحة المصدر لـ Semantic

chai2010/go-ast-book

dtolnay/syn

SVF-tools/SVF

AlDanial/cloc

الأسئلة الشائعة

سجل النجوم

الأسئلة الشائعة

بدائل مفتوحة المصدر لـ Semantic

chai2010/go-ast-book

dtolnay/syn

SVF-tools/SVF

AlDanial/cloc