Comments (4)
I assume graphs for static analysis, like:
- Control-flow Graphs (CFGs) (example on page 6)
- Data-flow Graphs (DFGs) (image)
- Dominator Trees
- Dependence Graphs
These are built from ASTs; but building them is quite complicated [1], and the algorithm is different for programs with different control structures, hence this DSL.
[1] See this guide to constructing a CFG from source code. Constructing a dominator tree and dependence graph requires a CFG first, then you must compute the dominance frontier ("basic block" is a node in the CFG)
from tree-sitter-graph.
That's really up to the rules you make. E.g. an empty set of rules produces an empty graph—not terribly exciting. You can also painstakingly duplicate the AST if you want, or, much more likely, make a more interesting graph (perhaps with sharing or maybe even cycles).
I think beyond that the only really general statements I can make are:
- they're directed
- vertices and edges can have named attributes which can act as labels
- there can be at most one edge between the same (ordered) pair of vertices
Not sure if that answers your question?
from tree-sitter-graph.
do you have some examples?
from tree-sitter-graph.
I think this question has been sufficiently answered, given the generality of the question. (And thanks @Jakobeha for the pointers on possible graph based analyses!)
I'm closing this now. If you want to discuss this further, opening a discussion (instead of an issue) is the best way.
from tree-sitter-graph.
Related Issues (20)
- `Globals::nested` should take a non-mutable reference
- Default values for global variables
- Remove support for undeclared globals
- Add string construction function
- Outline/jump to symbol support in VS Code plugin
- Incorrect Behavior of Quantification Operators HOT 3
- CMD usage HOT 1
- Add support for automatic attributes for top-level query match and variable scope HOT 1
- how to understand from where a function call is made? HOT 1
- Support user-defined functions
- Improve errors & warnings
- Support includes
- Check for duplicate nodes
- Python bindings
- Use of white text color causes readability issue in light terminal theme
- mutable variables are not considered local, thus cannot be evaluated in conditionals HOT 1
- Unpredictable Regex behavior in TSG
- Allow duplicate attrs
- Namespacing
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tree-sitter-graph.