[Callgraph] Add an Ivette component to display service graphs
Showing
- ivette/src/frama-c/plugins/callgraph/api/index.ts 221 additions, 0 deletionsivette/src/frama-c/plugins/callgraph/api/index.ts
- ivette/src/frama-c/plugins/callgraph/callgraph.css 6 additions, 0 deletionsivette/src/frama-c/plugins/callgraph/callgraph.css
- ivette/src/frama-c/plugins/callgraph/graph-style.json 34 additions, 0 deletionsivette/src/frama-c/plugins/callgraph/graph-style.json
- ivette/src/frama-c/plugins/callgraph/index.tsx 138 additions, 0 deletionsivette/src/frama-c/plugins/callgraph/index.tsx
- ivette/src/frama-c/plugins/callgraph/pkg.json 3 additions, 0 deletionsivette/src/frama-c/plugins/callgraph/pkg.json
- src/plugins/callgraph/callgraph_api.ml 1 addition, 0 deletionssrc/plugins/callgraph/callgraph_api.ml
- src/plugins/callgraph/requests.ml 169 additions, 0 deletionssrc/plugins/callgraph/requests.ml
- src/plugins/callgraph/requests.mli 23 additions, 0 deletionssrc/plugins/callgraph/requests.mli
- src/plugins/callgraph/services.ml 4 additions, 0 deletionssrc/plugins/callgraph/services.ml
Loading
Please register or sign in to comment