[region] Ivette memory diagram
Showing
- ivette/src/frama-c/plugins/region/api/index.ts 24 additions, 14 deletionsivette/src/frama-c/plugins/region/api/index.ts
- ivette/src/frama-c/plugins/region/memory.tsx 36 additions, 1 deletionivette/src/frama-c/plugins/region/memory.tsx
- src/plugins/region/analysis.ml 2 additions, 2 deletionssrc/plugins/region/analysis.ml
- src/plugins/region/code.ml 3 additions, 3 deletionssrc/plugins/region/code.ml
- src/plugins/region/memory.ml 122 additions, 68 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 20 additions, 19 deletionssrc/plugins/region/memory.mli
- src/plugins/region/services.ml 16 additions, 12 deletionssrc/plugins/region/services.ml
- src/plugins/region/services.mli 1 addition, 1 deletionsrc/plugins/region/services.mli
Loading
Please register or sign in to comment