[kernel] Removes module Postdominators from Db.
Creates a standard interface for the postdominators plugin, used by the Eva and from plugins.
Showing
- src/kernel_services/plugin_entry_points/db.ml 0 additions, 30 deletionssrc/kernel_services/plugin_entry_points/db.ml
- src/kernel_services/plugin_entry_points/db.mli 0 additions, 33 deletionssrc/kernel_services/plugin_entry_points/db.mli
- src/plugins/eva/domains/taint_domain.ml 1 addition, 1 deletionsrc/plugins/eva/domains/taint_domain.ml
- src/plugins/eva/dune 2 additions, 1 deletionsrc/plugins/eva/dune
- src/plugins/from/from_compute.ml 1 addition, 1 deletionsrc/plugins/from/from_compute.ml
- src/plugins/postdominators/compute.ml 14 additions, 44 deletionssrc/plugins/postdominators/compute.ml
- src/plugins/postdominators/compute.mli 19 additions, 1 deletionsrc/plugins/postdominators/compute.mli
- src/plugins/postdominators/dune 1 addition, 2 deletionssrc/plugins/postdominators/dune
- src/plugins/postdominators/postdominators.ml 42 additions, 0 deletionssrc/plugins/postdominators/postdominators.ml
- src/plugins/postdominators/postdominators.mli 43 additions, 0 deletionssrc/plugins/postdominators/postdominators.mli
- src/plugins/postdominators/print.ml 5 additions, 5 deletionssrc/plugins/postdominators/print.ml
Loading
Please register or sign in to comment