1 مستودع
Awesome GitHub RepositoriesProgram Behavior Analysis
Analysis of source code via intermediate representations to extract program properties and behavior.
Distinct from Undefined Behavior Analysis: Focuses on extracting behavior from an IR rather than runtime tracing or binary analysis
Explore 1 awesome GitHub repository matching programming languages & runtimes · Program Behavior Analysis. Refine with filters or upvote what's useful.
Awesome Program Behavior Analysis GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- github/semantic
github/semantic
9,041عرض على GitHubSemantic 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 unifi
Analyzes source code by interpreting an intermediate language to extract program behavior and properties.
Haskell
