cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -Smetrics_coverage.cm* src/plugins/metrics/metrics_pivot.cm* src/plugins/metrics/register.cm*
----------------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package frama-c
dpkg-buildpackage: info: source version 20220511-manganese-4 dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
dpkg-source --before-build .
debian/rules clean
dh clean --with ocaml --without autoreconf
debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
touch .depend
[ ! -f src/kernel/config.ml.debian ] || mv src/kernel/config.ml.debian src/kernel/config.ml
[ ! -f Makefile -o ! -f share/Makefile.config ] || /usr/bin/make clean make[2]: Entering directory '/<<PKGBUILDDIR>>'
if test -f share/.gitignore; then \
for link in $(cat share/.gitignore); do \
if test -L share$link; then \
rm -f share$link \
else \
rm -rf share$link; \
fi; \
done; \
rm share/.gitignore; \
fi
rm -rf src/plugins/metrics/.Makefile.plugin.generated
rm -rf src/plugins/metrics/Makefile.plugin.generated
rm -rf src/plugins/callgraph/.Makefile.plugin.generated
rm -rf src/plugins/callgraph/Makefile.plugin.generated
rm -f /Eva.mli
rm -rf src/plugins/value/.Makefile.plugin.generated
rm -rf src/plugins/value/Makefile.plugin.generated
rm -rf src/plugins/reduc/.Makefile.plugin.generated
rm -rf src/plugins/reduc/Makefile.plugin.generated
rm -rf src/plugins/occurrence/.Makefile.plugin.generated
rm -rf src/plugins/occurrence/Makefile.plugin.generated
rm -rf src/plugins/rte/.Makefile.plugin.generated
rm -rf src/plugins/rte/Makefile.plugin.generated
rm -rf src/plugins/from/.Makefile.plugin.generated
rm -rf src/plugins/from/Makefile.plugin.generated
rm -rf src/plugins/users/.Makefile.plugin.generated
rm -rf src/plugins/users/Makefile.plugin.generated
rm -rf src/plugins/constant_propagation/.Makefile.plugin.generated
rm -rf src/plugins/constant_propagation/Makefile.plugin.generated
rm -rf src/plugins/postdominators/.Makefile.plugin.generated
rm -rf src/plugins/postdominators/Makefile.plugin.generated
rm -rf src/plugins/inout/.Makefile.plugin.generated
rm -rf src/plugins/inout/Makefile.plugin.generated
rm -rf src/plugins/impact/.Makefile.plugin.generated
rm -rf src/plugins/impact/Makefile.plugin.generated
rm -rf src/plugins/pdg/.Makefile.plugin.generated
rm -rf src/plugins/pdg/Makefile.plugin.generated
rm -rf src/plugins/scope/.Makefile.plugin.generated
rm -rf src/plugins/scope/Makefile.plugin.generated
rm -rf src/plugins/sparecode/.Makefile.plugin.generated
rm -rf src/plugins/sparecode/Makefile.plugin.generated
rm -rf src/plugins/slicing/.Makefile.plugin.generated
rm -rf src/plugins/slicing/Makefile.plugin.generated
rm -rf src/plugins/aorai/.Makefile.plugin.generated
rm -rf src/plugins/aorai/Makefile.plugin.generated
rm -rf src/plugins/dive/.Makefile.plugin.generated
rm -rf src/plugins/dive/Makefile.plugin.generated
for d in src src/libraries src/analyses src/project_initializer src/code_generator src/plugins/e-acsl/tests/; do \
rm -f $d/*~; \
done
rm -f src/plugins/e-acsl/tests/*.cm* src/plugins/e-acsl/tests/*.o
rm -f
rm -f src/plugins/e-acsl/lib/libeacsl-dlmalloc.a
rm -rf src/plugins/e-acsl/.Makefile.plugin.generated
rm -rf src/plugins/e-acsl/Makefile.plugin.generated
rm -f src/plugins/e-acsl/doc/doxygen/html/*
rm -f src/plugins/e-acsl/doc/code/*
rm -f src/plugins/e-acsl/doc/doxygen/warn.log
rm -rf src/plugins/instantiate/.Makefile.plugin.generated
rm -rf src/plugins/instantiate/Makefile.plugin.generated
rm -rf src/plugins/loop_analysis/.Makefile.plugin.generated
rm -rf src/plugins/loop_analysis/Makefile.plugin.generated
rm -rf src/plugins/markdown-report/.Makefile.plugin.generated
rm -rf src/plugins/markdown-report/Makefile.plugin.generated
rm -rf src/plugins/nonterm/.Makefile.plugin.generated
rm -rf src/plugins/nonterm/Makefile.plugin.generated
rm -rf src/plugins/obfuscator/.Makefile.plugin.generated
rm -rf src/plugins/obfuscator/Makefile.plugin.generated
rm -rf src/plugins/print_api/.Makefile.plugin.generated
rm -rf src/plugins/print_api/Makefile.plugin.generated
rm -f src/plugins/print_api/dynamic_plugins.mli
rm -f src/plugins/print_api/grammar.output
rm -f src/plugins/print_api/grammar.ml
rm -f src/plugins/print_api/grammar.mli
rm -f src/plugins/print_api/lexer.ml
rm -f -r _build
rm -rf src/plugins/qed/.Makefile.plugin.generated
rm -rf src/plugins/qed/Makefile.plugin.generated
rm -f src/plugins/qed/Qed.mli
rm -rf src/plugins/report/.Makefile.plugin.generated
rm -rf src/plugins/report/Makefile.plugin.generated
rm -rf src/plugins/security_slicing/.Makefile.plugin.generated
rm -rf src/plugins/security_slicing/Makefile.plugin.generated
rm -rf src/plugins/server/.Makefile.plugin.generated
rm -rf src/plugins/server/Makefile.plugin.generated
rm -rf src/plugins/studia/.Makefile.plugin.generated
rm -rf src/plugins/studia/Makefile.plugin.generated
rm -rf src/plugins/variadic/.Makefile.plugin.generated
rm -rf src/plugins/variadic/Makefile.plugin.generated
rm -rf src/plugins/wp/.Makefile.plugin.generated
rm -rf src/plugins/wp/Makefile.plugin.generated
rm -f src/plugins/wp/Wp.mli
rm -f -fr src/plugins/wp/doc/html
rm -f src/plugins/wp/share/instwp
rm -f src/plugins/wp/share/install.cm*
rm -f ./headers/hdrck headers/hdrck.o
rm -f headers/hdrck.cmx headers/hdrck.cmi headers/hdrck.cmp
rm -f ./bin/check_newlines bin/check_newlines.cm* bin/check_newlines.o
rm -f ./bin/isutf8 bin/isutf8.cm* bin/isutf8.o
if test "yes" = "yes"; then \
rm -f src/plugins/metrics/.depend; \
fi
rm -f
rm -f src/plugins/metrics/Metrics_DEP src/plugins/metrics/Metrics_DEP_REDO
rm -f src/plugins/metrics/metrics_parameters.cm* src/plugins/metrics/css_html.cm* src/plugins/metrics/metrics_base.cm* src/plugins/metrics/metrics_acsl.cm* src/plugins/metrics/metrics_cabs.cm* src/plugins/metrics/metrics_cilast.cm* src/plugins/metrics/
rm -f src/plugins/metrics/metrics_parameters.cm* src/plugins/metrics/css_html.cm* src/plugins/metrics/metrics_base.cm* src/plugins/metrics/metrics_acsl.cm* src/plugins/metrics/metrics_cabs.cm* src/plugins/metrics/metrics_cilast.cm* src/plugins/metrics/metrics_coverage.cm* src/plugins/metrics/metrics_pivot.cm* src/plugins/metrics/register.cm*
rm -f src/plugins/metrics/metrics_parameters.annot src/plugins/metrics/css_html.annot src/plugins/metrics/metrics_base.annot src/plugins/metrics/metrics_acsl.annot src/plugins/metrics/metrics_cabs.annot src/plugins/metrics/metrics_cilast.annot src/plugins/metrics/metrics_coverage.annot src/plugins/metrics/metrics_pivot.annot src/plugins/metrics/register.annot
rm -f src/plugins/metrics/metrics_parameters.o src/plugins/metrics/css_html.o src/plugins/metrics/metrics_base.o src/plugins/metrics/metrics_acsl.o src/plugins/metrics/metrics_cabs.o src/plugins/metrics/metrics_cilast.o src/plugins/metrics/metrics_coverage.o src/plugins/metrics/metrics_pivot.o src/plugins/metrics/register.o
rm -f src/plugins/metrics/metrics_parameters.cm* src/plugins/metrics/css_html.cm* src/plugins/metrics/metrics_base.cm* src/plugins/metrics/metrics_acsl.cm* src/plugins/metrics/metrics_cabs.cm* src/plugins/metrics/metrics_cilast.cm* src/plugins/metrics/metrics_coverage.cm* src/plugins/metrics/metrics_pivot.cm* src/plugins/metrics/register.cm* src/plugins/metrics/metrics_gui.cm* src/plugins/metrics/register_gui.cm*
rm -f src/plugins/metrics/metrics_parameters.cm* src/plugins/metrics/css_html.cm* src/plugins/metrics/metrics_base.cm* src/plugins/metrics/metrics_acsl.cm* src/plugins/metrics/metrics_cabs.cm* src/plugins/metrics/metrics_cilast.cm* src/plugins/metrics/metrics_coverage.cm* src/plugins/metrics/metrics_pivot.cm* src/plugins/metrics/register.cm* src/plugins/metrics/metrics_gui.cm* src/plugins/metrics/register_gui.cm*
rm -f src/plugins/metrics/metrics_parameters.annot src/plugins/metrics/css_html.annot src/plugins/metrics/metrics_base.annot src/plugins/metrics/metrics_acsl.annot src/plugins/metrics/metrics_cabs.annot src/plugins/metrics/metrics_cilast.annot src/plugins/metrics/metrics_coverage.annot src/plugins/metrics/metrics_pivot.annot src/plugins/metrics/register.annot src/plugins/metrics/metrics_gui.annot src/plugins/metrics/register_gui.annot
rm -f src/plugins/metrics/metrics_parameters.o src/plugins/metrics/css_html.o src/plugins/metrics/metrics_base.o src/plugins/metrics/metrics_acsl.o src/plugins/metrics/metrics_cabs.o src/plugins/metrics/metrics_cilast.o src/plugins/metrics/metrics_coverage.o src/plugins/metrics/metrics_pivot.o src/plugins/metrics/register.o src/plugins/metrics/metrics_gui.o src/plugins/metrics/register_gui.o
rm -f src/plugins/metrics/*~ src/plugins/metrics/*.cm* src/plugins/metrics/*.o src/plugins/metrics/*.annotplugins/callgraph/register.cm*
rm -f
rm -f -f src/plugins/metrics/Metrics.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/callgraph/.depend; \
fi
rm -f
rm -f src/plugins/callgraph/Callgraph_DEP src/plugins/callgraph/Callgraph_DEP_REDO
rm -f src/plugins/callgraph/options.cm* src/plugins/callgraph/journalize.cm* src/plugins/callgraph/subgraph.cm* src/plugins/callgraph/cg.cm* src/plugins/callgraph/services.cm* src/plugins/callgraph/uses.cm* src/plugins/callgraph/register.cm*
rm -f src/plugins/callgraph/callgraph_api.cm* src/plugins/callgraph/options.cm* src/plugins/callgraph/journalize.cm* src/plugins/callgraph/subgraph.cm* src/plugins/callgraph/cg.cm* src/plugins/callgraph/services.cm* src/plugins/callgraph/uses.cm* src/
rm -f src/plugins/callgraph/options.annot src/plugins/callgraph/journalize.annot src/plugins/callgraph/subgraph.annot src/plugins/callgraph/cg.annot src/plugins/callgraph/services.annot src/plugins/callgraph/uses.annot src/plugins/callgraph/register.annot
rm -f src/plugins/callgraph/options.o src/plugins/callgraph/journalize.o src/plugins/callgraph/subgraph.o src/plugins/callgraph/cg.o src/plugins/callgraph/services.o src/plugins/callgraph/uses.o src/plugins/callgraph/register.outils/eva_annotations.cm* src/plugins/value/utils/eva_dynamic.cm* src/plugins/value/utils/eva_utils.cm* src/plugins/value/utils/red_statuses.cm* src/plugins/value/utils/active_behaviors.cm* src/plugins/value/utils/widen_hints_ext.cm* src/plugins/value/
rm -f
rm -f
rm -f
rm -f
rm -f src/plugins/callgraph/*~ src/plugins/callgraph/*.cm* src/plugins/callgraph/*.o src/plugins/callgraph/*.annot
rm -f tests/callgraph/function_pointer.cmx tests/callgraph/function_pointer.cm* tests/callgraph/function_pointer.opt tests/callgraph/function_pointer.byte tests/callgraph/function_pointer.o
rm -f -f src/plugins/callgraph/Callgraph.check_mli_exists
if test "yes" = "yes"; then \
rm -f src/plugins/value/.depend; \
fi
rm -f
rm -f src/plugins/value/Eva_DEP src/plugins/value/Eva_DEP_REDO
rm -f src/plugins/value/partitioning/split_strategy.cm* src/plugins/value/domains/domain_mode.cm* src/plugins/value/self.cm* src/plugins/value/parameters.cm* src/plugins/value/utils/eva_audit.cm* src/plugins/value/utils/eva_perf.cm* src/plugins/value/
src/plugins/value/utils/structure.cm* src/plugins/value/utils/abstract.cm* src/plugins/value/values/value_product.cm* src/plugins/value/values/location_lift.cm* src/plugins/value/values/cvalue_forward.cm* src/plugins/value/values/cvalue_backward.cm*src/plugins/value/values/main_values.cm* src/plugins/value/values/main_locations.cm* src/plugins/value/values/offsm_value.cm* src/plugins/value/values/sign_value.cm* src/plugins/value/legacy/eval_op.cm* src/plugins/value/legacy/function_args.cm* src/
src/plugins/value/domains/simple_memory.cm* src/plugins/value/domains/octagons.cm* src/plugins/value/domains/gauges/gauges_domain.cm* src/plugins/value/domains/hcexprs.cm* src/plugins/value/domains/equality/equality.cm* src/plugins/value/domains/equality/equality_domain.cm* src/plugins/value/domains/offsm_domain.cm* src/plugins/value/domains/symbolic_locs.cm* src/plugins/value/domains/sign_domain.cm* src/plugins/value/domains/cvalue/warn.cm* src/plugins/value/domains/cvalue/locals_scoping.cm*
src/plugins/value/domains/cvalue/builtins_print_c.cm* src/plugins/value/domains/cvalue/builtins_watchpoint.cm* src/plugins/value/domains/cvalue/builtins_float.cm* src/plugins/value/domains/cvalue/builtins_split.cm* src/plugins/value/domains/inout_domain.cm* src/plugins/value/legacy/eval_terms.cm* src/plugins/value/domains/cvalue/cvalue_transfer.cm* src/plugins/value/domains/cvalue/cvalue_init.cm* src/plugins/value/domains/cvalue/cvalue_specification.cm* src/plugins/value/domains/cvalue/cvalue_
src/plugins/value/engine/recursion.cm* src/plugins/value/engine/function_calls.cm* src/plugins/value/legacy/eval_annots.cm* src/plugins/value/engine/subdivided_evaluation.cm* src/plugins/value/engine/evaluation.cm* src/plugins/value/engine/abstractions.cm* src/plugins/value/engine/transfer_logic.cm* src/plugins/value/engine/transfer_stmt.cm* src/plugins/value/engine/transfer_specification.cm* src/plugins/value/engine/mem_exec.cm* src/plugins/value/engine/iterator.cm* src/plugins/value/engine/
src/plugins/value/domains/multidim/abstract_structure.cm* src/plugins/value/domains/multidim/segmentation.cm* src/plugins/value/domains/multidim/typed_memory.cm* src/plugins/value/domains/multidim/multidim_domain.cm* src/plugins/value/domains/taint_domain.cm* src/plugins/value/utils/eva_results.cm* src/plugins/value/utils/results.cm* src/plugins/value/api/general_requests.cm* src/plugins/value/api/values_request.cm* src/plugins/value/utils/unit_tests.cm*
rm -f src/plugins/value/values/abstract_value.cm* src/plugins/value/values/abstract_location.cm* src/plugins/value/domains/abstract_domain.cm* src/plugins/value/domains/simpler_domains.cm* src/plugins/value/partitioning/split_strategy.cm* src/plugins/value/domains/domain_mode.cm* src/plugins/value/self.cm* src/plugins/value/parameters.cm* src/plugins/value/utils/eva_audit.cm* src/plugins/value/utils/eva_perf.cm* src/plugins/value/utils/eva_annotations.cm* src/plugins/value/utils/eva_dynamic.cm* src/
src/plugins/value/utils/library_functions.cm* src/plugins/value/utils/eval_typ.cm* src/plugins/value/utils/backward_formals.cm* src/plugins/value/alarmset.cm* src/plugins/value/eval.cm* src/plugins/value/utils/structure.cm* src/plugins/value/utils/abstract.cm* src/plugins/value/values/value_product.cm* src/plugins/value/values/location_lift.cm* src/plugins/value/values/cvalue_forward.cm* src/plugins/value/values/cvalue_backward.cm* src/plugins/value/values/main_values.cm* src/plugins/value/values/
src/plugins/value/domains/domain_lift.cm* src/plugins/value/domains/unit_domain.cm* src/plugins/value/domains/printer_domain.cm* src/plugins/value/domains/traces_domain.cm* src/plugins/value/domains/simple_memory.cm* src/plugins/value/domains/octagons.cm* src/plugins/value/domains/gauges/gauges_domain.cm* src/plugins/value/domains/hcexprs.cm* src/plugins/value/domains/equality/equality.cm* src/plugins/value/domains/equality/equality_domain.cm* src/plugins/value/domains/offsm_domain.cm* src/plugins/
src/plugins/value/domains/cvalue/builtins_malloc.cm* src/plugins/value/domains/cvalue/builtins_string.cm* src/plugins/value/domains/cvalue/builtins_misc.cm* src/plugins/value/domains/cvalue/builtins_memory.cm* src/plugins/value/domains/cvalue/builtins_print_c.cm* src/plugins/value/domains/cvalue/builtins_watchpoint.cm* src/plugins/value/domains/cvalue/builtins_float.cm* src/plugins/value/domains/cvalue/builtins_split.cm* src/plugins/value/domains/inout_domain.cm* src/plugins/value/legacy/eval_terms.cm*
src/plugins/value/partitioning/partition.cm* src/plugins/value/partitioning/partitioning_parameters.cm* src/plugins/value/partitioning/partitioning_index.cm* src/plugins/value/partitioning/trace_partitioning.cm* src/plugins/value/engine/recursion.cm*src/plugins/value/engine/function_calls.cm* src/plugins/value/legacy/eval_annots.cm* src/plugins/value/engine/subdivided_evaluation.cm* src/plugins/value/engine/evaluation.cm* src/plugins/value/engine/abstractions.cm* src/plugins/value/engine/transfer_
src/plugins/value/register.cm* src/plugins/value/domains/multidim/multidim.cm* src/plugins/value/domains/multidim/abstract_offset.cm* src/plugins/value/domains/multidim/abstract_memory.cm* src/plugins/value/domains/multidim/pretty_memory.cm* src/plugins/value/domains/multidim/abstract_structure.cm* src/plugins/value/domains/multidim/segmentation.cm* src/plugins/value/domains/multidim/typed_memory.cm* src/plugins/value/domains/multidim/multidim_domain.cm* src/plugins/value/domains/taint_domain.cm*
rm -f src/plugins/value/partitioning/split_strategy.annot src/plugins/value/domains/domain_mode.annot src/plugins/value/self.annot src/plugins/value/parameters.annot src/plugins/value/utils/eva_audit.annot src/plugins/value/utils/eva_perf.annot src/plugins/value/utils/eva_annotations.annot src/plugins/value/utils/eva_dynamic.annot src/plugins/value/utils/eva_utils.annot src/plugins/value/utils/red_statuses.annot src/plugins/value/utils/active_behaviors.annot src/plugins/value/utils/widen_hints_ext.
src/plugins/value/eval.annot src/plugins/value/utils/structure.annot src/plugins/value/utils/abstract.annot src/plugins/value/values/value_product.annot src/plugins/value/values/location_lift.annot src/plugins/value/values/cvalue_forward.annot src/plugins/value/values/cvalue_backward.annot src/plugins/value/values/main_values.annot src/plugins/value/values/main_locations.annot src/plugins/value/values/offsm_value.annot src/plugins/value/values/sign_value.annot src/plugins/value/legacy/eval_op.
src/plugins/value/domains/traces_domain.annot src/plugins/value/domains/simple_memory.annot src/plugins/value/domains/octagons.annot src/plugins/value/domains/gauges/gauges_domain.annot src/plugins/value/domains/hcexprs.annot src/plugins/value/domains/equality/equality.annot src/plugins/value/domains/equality/equality_domain.annot src/plugins/value/domains/offsm_domain.annot src/plugins/value/domains/symbolic_locs.annot src/plugins/value/domains/sign_domain.annot src/plugins/value/domains/cvalue/warn.
src/plugins/value/domains/cvalue/builtins_misc.annot src/plugins/value/domains/cvalue/builtins_memory.annot src/plugins/value/domains/cvalue/builtins_print_c.annot src/plugins/value/domains/cvalue/builtins_watchpoint.annot src/plugins/value/domains/cvalue/builtins_float.annot src/plugins/value/domains/cvalue/builtins_split.annot src/plugins/value/domains/inout_domain.annot src/plugins/value/legacy/eval_terms.annot src/plugins/value/domains/cvalue/cvalue_transfer.annot src/plugins/value/domains/
src/plugins/value/partitioning/partitioning_index.annot src/plugins/value/partitioning/trace_partitioning.annot src/plugins/value/engine/recursion.annot src/plugins/value/engine/function_calls.annot src/plugins/value/legacy/eval_annots.annot src/plugins/value/engine/subdivided_evaluation.annot src/plugins/value/engine/evaluation.annot src/plugins/value/engine/abstractions.annot src/plugins/value/engine/transfer_logic.annot src/plugins/value/engine/transfer_stmt.annot src/plugins/value/engine/
src/plugins/value/domains/multidim/abstract_offset.annot src/plugins/value/domains/multidim/abstract_memory.annot src/plugins/value/domains/multidim/pretty_memory.annot src/plugins/value/domains/multidim/abstract_structure.annot src/plugins/value/domains/multidim/segmentation.annot src/plugins/value/domains/multidim/typed_memory.annot src/plugins/value/domains/multidim/multidim_domain.annot src/plugins/value/domains/taint_domain.annot src/plugins/value/utils/eva_results.annot src/plugins/value/
rm -f src/plugins/value/partitioning/split_strategy.o src/plugins/value/domains/domain_mode.o src/plugins/value/self.o src/plugins/value/parameters.o src/plugins/value/utils/eva_audit.o src/plugins/value/utils/eva_perf.o src/plugins/value/utils/eva_annotations.o src/plugins/value/utils/eva_dynamic.o src/plugins/value/utils/eva_utils.o src/plugins/value/utils/red_statuses.o src/plugins/value/utils/active_behaviors.o src/plugins/value/utils/widen_hints_ext.o src/plugins/value/utils/widen.o src/
src/plugins/value/utils/abstract.o src/plugins/value/values/value_product.o src/plugins/value/values/location_lift.o src/plugins/value/values/cvalue_forward.o src/plugins/value/values/cvalue_backward.o src/plugins/value/values/main_values.o src/plugins/value/values/main_locations.o src/plugins/value/values/offsm_value.o src/plugins/value/values/sign_value.o src/plugins/value/legacy/eval_op.o src/plugins/value/legacy/function_args.o src/plugins/value/domains/domain_store.o src/plugins/value/domains/
src/plugins/value/domains/gauges/gauges_domain.o src/plugins/value/domains/hcexprs.o src/plugins/value/domains/equality/equality.o src/plugins/value/domains/equality/equality_domain.o src/plugins/value/domains/offsm_domain.o src/plugins/value/domains/symbolic_locs.o src/plugins/value/domains/sign_domain.o src/plugins/value/domains/cvalue/warn.o src/plugins/value/domains/cvalue/locals_scoping.o src/plugins/value/domains/cvalue/cvalue_offsetmap.o src/plugins/value/utils/summary.o src/plugins/value/
src/plugins/value/domains/cvalue/builtins_float.o src/plugins/value/domains/cvalue/builtins_split.o src/plugins/value/domains/inout_domain.o src/plugins/value/legacy/eval_terms.o src/plugins/value/domains/cvalue/cvalue_transfer.o src/plugins/value/domains/cvalue/cvalue_init.o src/plugins/value/domains/cvalue/cvalue_specification.o src/plugins/value/domains/cvalue/cvalue_domain.o src/plugins/value/domains/powerset.o src/plugins/value/partitioning/auto_loop_unroll.o src/plugins/value/partitioning/
src/plugins/value/engine/evaluation.o src/plugins/value/engine/abstractions.o src/plugins/value/engine/transfer_logic.o src/plugins/value/engine/transfer_stmt.o src/plugins/value/engine/transfer_specification.o src/plugins/value/engine/mem_exec.o src/plugins/value/engine/iterator.o src/plugins/value/engine/initialization.o src/plugins/value/engine/compute_functions.o src/plugins/value/engine/analysis.o src/plugins/value/register.o src/plugins/value/domains/multidim/multidim.o src/plugins/value/
src/plugins/value/domains/taint_domain.o src/plugins/value/utils/eva_results.o src/plugins/value/utils/results.o src/plugins/value/api/general_requests.o src/plugins/value/api/values_request.o src/plugins/value/utils/unit_tests.outils/eva_annotations.cm* src/plugins/value/utils/eva_dynamic.cm* src/plugins/value/utils/eva_utils.cm* src/plugins/value/utils/red_statuses.cm* src/plugins/value/utils/active_behaviors.cm* src/plugins/value/utils/widen_hints_ext.cm* src/plugins/value/
rm -f src/plugins/value/partitioning/split_strategy.cm* src/plugins/value/domains/domain_mode.cm* src/plugins/value/self.cm* src/plugins/value/parameters.cm* src/plugins/value/utils/eva_audit.cm* src/plugins/value/utils/eva_perf.cm* src/plugins/value/
src/plugins/value/utils/structure.cm* src/plugins/value/utils/abstract.cm* src/plugins/value/values/value_product.cm* src/plugins/value/values/location_lift.cm* src/plugins/value/values/cvalue_forward.cm* src/plugins/value/values/cvalue_backward.cm*src/plugins/value/values/main_values.cm* src/plugins/value/values/main_locations.cm* src/plugins/value/values/offsm_value.cm* src/plugins/value/values/sign_value.cm* src/plugins/value/legacy/eval_op.cm* src/plugins/value/legacy/function_args.cm* src/
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 491 |
Nodes: | 16 (3 / 13) |
Uptime: | 126:28:27 |
Calls: | 9,688 |
Calls today: | 4 |
Files: | 13,728 |
Messages: | 6,177,134 |