XPost: linux.debian.bugs.dist
Source: frama-c
Version: 20220511-manganese-4
Severity: minor
Tags: trixie sid ftbfs
User:
lucas@debian.org
Usertags: ftbfs-sab-20230813 ftbfs-source-after-build
User:
debian-qa@lists.debian.org
Usertags: qa-doublebuild
Hi,
This package fails to build a source package after a successful build (dpkg-buildpackage ; dpkg-buildpackage -S).
This is probably a clear violation of Debian Policy section 4.9 (clean target), but this is filed as severity:minor for now, because a discussion on debian-devel showed that we might want to revisit the requirement of a working 'clean' target.
More information about this class of issues, included common problems and solutions, is available at
https://wiki.debian.org/qa.debian.org/FTBFS/SourceAfterBuild
Relevant part of the build log:
cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
----------------------------------------------------------------------------------------------------------------------------------
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/
metrics_coverage.cm* src/plugins/metrics/metrics_pivot.cm* src/plugins/metrics/register.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*
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/*.annot
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/
plugins/callgraph/register.cm*
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.o
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/
utils/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/
utils/widen.cm* src/plugins/value/partitioning/split_return.cm* src/plugins/value/partitioning/per_stmt_slevel.cm* 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/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/
plugins/value/domains/domain_store.cm* src/plugins/value/domains/domain_builder.cm* src/plugins/value/domains/domain_product.cm* 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/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/cvalue_offsetmap.cm* src/plugins/value/utils/summary.cm* src/plugins/value/domains/cvalue/builtins.cm* 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/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_
domain.cm* src/plugins/value/domains/powerset.cm* src/plugins/value/partitioning/auto_loop_unroll.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_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/
initialization.cm* src/plugins/value/engine/compute_functions.cm* src/plugins/value/engine/analysis.cm* 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* 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/
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/utils/widen.cm* src/plugins/value/partitioning/split_return.cm* src/
plugins/value/partitioning/per_stmt_slevel.cm*
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/
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/plugins/value/domains/domain_store.cm* src/plugins/value/domains/
domain_builder.cm* src/plugins/value/domains/domain_product.cm*
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/
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/cvalue_offsetmap.cm* src/plugins/value/utils/summary.
cm* src/plugins/value/domains/cvalue/builtins.cm*
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/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_domain.cm* src/plugins/value/domains/powerset.cm* src/
plugins/value/partitioning/auto_loop_unroll.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_
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/initialization.cm* src/plugins/value/engine/
compute_functions.cm* src/plugins/value/engine/analysis.cm*
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*
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/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.
annot src/plugins/value/utils/widen.annot src/plugins/value/partitioning/split_return.annot src/plugins/value/partitioning/per_stmt_slevel.annot src/plugins/value/utils/library_functions.annot src/plugins/value/utils/eval_typ.annot src/plugins/value/
utils/backward_formals.annot src/plugins/value/alarmset.annot
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.
annot src/plugins/value/legacy/function_args.annot src/plugins/value/domains/domain_store.annot src/plugins/value/domains/domain_builder.annot src/plugins/value/domains/domain_product.annot src/plugins/value/domains/domain_lift.annot src/plugins/value/
domains/unit_domain.annot src/plugins/value/domains/printer_domain.annot
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.
annot src/plugins/value/domains/cvalue/locals_scoping.annot src/plugins/value/domains/cvalue/cvalue_offsetmap.annot src/plugins/value/utils/summary.annot src/plugins/value/domains/cvalue/builtins.annot src/plugins/value/domains/cvalue/builtins_malloc.
annot src/plugins/value/domains/cvalue/builtins_string.annot
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/
cvalue/cvalue_init.annot src/plugins/value/domains/cvalue/cvalue_specification.annot src/plugins/value/domains/cvalue/cvalue_domain.annot src/plugins/value/domains/powerset.annot src/plugins/value/partitioning/auto_loop_unroll.annot src/plugins/value/
partitioning/partition.annot src/plugins/value/partitioning/partitioning_parameters.annot
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/
transfer_specification.annot src/plugins/value/engine/mem_exec.annot src/plugins/value/engine/iterator.annot src/plugins/value/engine/initialization.annot src/plugins/value/engine/compute_functions.annot src/plugins/value/engine/analysis.annot src/
plugins/value/register.annot src/plugins/value/domains/multidim/multidim.annot
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/
utils/results.annot src/plugins/value/api/general_requests.annot src/plugins/value/api/values_request.annot src/plugins/value/utils/unit_tests.annot
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/
plugins/value/partitioning/split_return.o src/plugins/value/partitioning/per_stmt_slevel.o src/plugins/value/utils/library_functions.o src/plugins/value/utils/eval_typ.o src/plugins/value/utils/backward_formals.o src/plugins/value/alarmset.o src/plugins/
value/eval.o src/plugins/value/utils/structure.o
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/
domain_builder.o src/plugins/value/domains/domain_product.o src/plugins/value/domains/domain_lift.o src/plugins/value/domains/unit_domain.o src/plugins/value/domains/printer_domain.o src/plugins/value/domains/traces_domain.o src/plugins/value/domains/
simple_memory.o src/plugins/value/domains/octagons.o
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/
domains/cvalue/builtins.o src/plugins/value/domains/cvalue/builtins_malloc.o src/plugins/value/domains/cvalue/builtins_string.o src/plugins/value/domains/cvalue/builtins_misc.o src/plugins/value/domains/cvalue/builtins_memory.o src/plugins/value/domains/
cvalue/builtins_print_c.o src/plugins/value/domains/cvalue/builtins_watchpoint.o
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/
partition.o src/plugins/value/partitioning/partitioning_parameters.o src/plugins/value/partitioning/partitioning_index.o src/plugins/value/partitioning/trace_partitioning.o src/plugins/value/engine/recursion.o src/plugins/value/engine/function_calls.o
src/plugins/value/legacy/eval_annots.o src/plugins/value/engine/subdivided_evaluation.o
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/
domains/multidim/abstract_offset.o src/plugins/value/domains/multidim/abstract_memory.o src/plugins/value/domains/multidim/pretty_memory.o src/plugins/value/domains/multidim/abstract_structure.o src/plugins/value/domains/multidim/segmentation.o src/
plugins/value/domains/multidim/typed_memory.o src/plugins/value/domains/multidim/multidim_domain.o
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.o
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/
utils/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/
utils/widen.cm* src/plugins/value/partitioning/split_return.cm* src/plugins/value/partitioning/per_stmt_slevel.cm* 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/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/
plugins/value/domains/domain_store.cm* src/plugins/value/domains/domain_builder.cm* src/plugins/value/domains/domain_product.cm* 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*
[continued in next message]
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)