In plugins using Eva, replaces some calls to Db.Value by Eva.Analysis.
For the functions [use_spec_instead_of_definition] and [no_results].
Showing
- src/plugins/from/callwise.ml 3 additions, 7 deletionssrc/plugins/from/callwise.ml
- src/plugins/from/from_compute.ml 2 additions, 2 deletionssrc/plugins/from/from_compute.ml
- src/plugins/from/from_register.ml 1 addition, 1 deletionsrc/plugins/from/from_register.ml
- src/plugins/inout/cumulative_analysis.ml 1 addition, 1 deletionsrc/plugins/inout/cumulative_analysis.ml
- src/plugins/inout/operational_inputs.ml 7 additions, 10 deletionssrc/plugins/inout/operational_inputs.ml
- src/plugins/nonterm/nonterm_run.ml 15 additions, 28 deletionssrc/plugins/nonterm/nonterm_run.ml
- src/plugins/pdg/build.ml 6 additions, 7 deletionssrc/plugins/pdg/build.ml
- src/plugins/pdg/ctrlDpds.ml 2 additions, 2 deletionssrc/plugins/pdg/ctrlDpds.ml
- src/plugins/pdg/sets.ml 1 addition, 1 deletionsrc/plugins/pdg/sets.ml
- src/plugins/scope/datascope.ml 1 addition, 4 deletionssrc/plugins/scope/datascope.ml
- src/plugins/scope/defs.ml 1 addition, 1 deletionsrc/plugins/scope/defs.ml
- src/plugins/security_slicing/components.ml 1 addition, 1 deletionsrc/plugins/security_slicing/components.ml
- src/plugins/slicing/slicingCmds.ml 1 addition, 1 deletionsrc/plugins/slicing/slicingCmds.ml
- src/plugins/slicing/slicingMacros.ml 1 addition, 1 deletionsrc/plugins/slicing/slicingMacros.ml
- src/plugins/slicing/slicingTransform.ml 1 addition, 1 deletionsrc/plugins/slicing/slicingTransform.ml
- src/plugins/studia/reads.ml 1 addition, 1 deletionsrc/plugins/studia/reads.ml
- src/plugins/studia/writes.ml 1 addition, 1 deletionsrc/plugins/studia/writes.ml
Loading
Please register or sign in to comment