[Eva] Splits and renames file value_parameters into self and parameters.
Showing
- Makefile 2 additions, 2 deletionsMakefile
- headers/header_spec.txt 4 additions, 2 deletionsheaders/header_spec.txt
- src/plugins/aorai/aorai_eva_analysis.enabled.ml 1 addition, 1 deletionsrc/plugins/aorai/aorai_eva_analysis.enabled.ml
- src/plugins/markdown-report/eva_info.ml 1 addition, 1 deletionsrc/plugins/markdown-report/eva_info.ml
- src/plugins/value/Eva.mli 2 additions, 2 deletionssrc/plugins/value/Eva.mli
- src/plugins/value/alarmset.ml 4 additions, 4 deletionssrc/plugins/value/alarmset.ml
- src/plugins/value/domains/abstract_domain.mli 2 additions, 2 deletionssrc/plugins/value/domains/abstract_domain.mli
- src/plugins/value/domains/apron/apron_domain.ml 4 additions, 4 deletionssrc/plugins/value/domains/apron/apron_domain.ml
- src/plugins/value/domains/cvalue/builtins.ml 12 additions, 12 deletionssrc/plugins/value/domains/cvalue/builtins.ml
- src/plugins/value/domains/cvalue/builtins_float.ml 1 addition, 1 deletionsrc/plugins/value/domains/cvalue/builtins_float.ml
- src/plugins/value/domains/cvalue/builtins_malloc.ml 16 additions, 16 deletionssrc/plugins/value/domains/cvalue/builtins_malloc.ml
- src/plugins/value/domains/cvalue/builtins_memory.ml 9 additions, 9 deletionssrc/plugins/value/domains/cvalue/builtins_memory.ml
- src/plugins/value/domains/cvalue/builtins_print_c.ml 4 additions, 4 deletionssrc/plugins/value/domains/cvalue/builtins_print_c.ml
- src/plugins/value/domains/cvalue/builtins_split.ml 3 additions, 3 deletionssrc/plugins/value/domains/cvalue/builtins_split.ml
- src/plugins/value/domains/cvalue/builtins_watchpoint.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/builtins_watchpoint.ml
- src/plugins/value/domains/cvalue/cvalue_domain.ml 11 additions, 11 deletionssrc/plugins/value/domains/cvalue/cvalue_domain.ml
- src/plugins/value/domains/cvalue/cvalue_init.ml 13 additions, 13 deletionssrc/plugins/value/domains/cvalue/cvalue_init.ml
- src/plugins/value/domains/cvalue/cvalue_specification.ml 7 additions, 7 deletionssrc/plugins/value/domains/cvalue/cvalue_specification.ml
- src/plugins/value/domains/cvalue/cvalue_transfer.ml 2 additions, 2 deletionssrc/plugins/value/domains/cvalue/cvalue_transfer.ml
- src/plugins/value/domains/cvalue/warn.ml 5 additions, 5 deletionssrc/plugins/value/domains/cvalue/warn.ml
Loading
Please register or sign in to comment