Tags

frama-c 20200625+scandium-2

• frama-c-base_20200625+scandium-2+b3_amd64.deb
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Aorai.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Callgraph.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Constant_Propagation.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/E_ACSL.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Eva.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/From.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Impact.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Inout.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Instantiate.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/LoopAnalysis.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Metrics.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Nonterm.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Obfuscator.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Occurrence.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Pdg.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Postdominators.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Print_api.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Qed.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Report.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/RteGen.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Scope.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Security_slicing.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Server.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Slicing.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Sparecode.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Studia.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Users.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Variadic.cmx
• E ocaml-dangling-cmx usr/lib/frama-c/plugins/top/Wp.cmx
• W no-manual-page usr/bin/frama-c-config
• W no-manual-page usr/bin/frama-c-script
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Eva.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/From.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Impact.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Metrics.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Occurrence.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Qed.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Scope.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Slicing.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Studia.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/gui/Wp.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Aorai.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Callgraph.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Constant_Propagation.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/E_ACSL.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Eva.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/From.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Impact.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Inout.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Instantiate.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/LoopAnalysis.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Metrics.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Nonterm.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Obfuscator.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Occurrence.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Pdg.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Postdominators.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Print_api.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Qed.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Report.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/RteGen.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Scope.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Security_slicing.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Server.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Slicing.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Sparecode.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Studia.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Users.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Variadic.cmxs
• W shared-library-lacks-prerequisites usr/lib/frama-c/plugins/top/Wp.cmxs
• I bin-sbin-mismatch usr/share/frama-c/analysis-scripts/creduce.sh bin/frama-c -> usr/bin/frama-c
• I hardening-no-fortify-functions usr/bin/frama-c
• I hardening-no-fortify-functions usr/bin/frama-c-config
• I hardening-no-fortify-functions usr/bin/frama-c-gui
• I hardening-no-fortify-functions usr/bin/frama-c-gui.byte
• I hardening-no-fortify-functions usr/bin/frama-c.byte
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/analysis-scripts/README.md
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/doc/code/intro_kernel_plugin.txt
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/doc/code/intro_plugin.txt
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/doc/code/intro_plugin_default.txt
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/doc/code/toc_head.htm
• I package-contains-documentation-outside-usr-share-doc usr/share/frama-c/doc/code/toc_tail.htm
• I spare-manual-page usr/share/man/man1/e-acsl-gcc.sh.1.gz
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Eva.cmxs explicitely explicitly
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Wp.cmxs Interrrupt Interrupt
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Wp.cmxs extented extended
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Wp.cmxs overriden overridden
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Wp.cmxs splitted split
• I spelling-error-in-binary usr/lib/frama-c/plugins/gui/Wp.cmxs unkown unknown
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Eva.cmxs explicitely explicitly
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Server.cmxs informations information
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Server.cmxs interruped interrupted
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Wp.cmxs extented extended
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Wp.cmxs overriden overridden
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Wp.cmxs splitted split
• I spelling-error-in-binary usr/lib/frama-c/plugins/top/Wp.cmxs unkown unknown
• I typo-in-manual-page usr/share/man/man1/e-acsl-gcc.sh.1.gz intead instead
• I unstripped-static-library usr/lib/frama-c/frama-c.a(FCHashtbl.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(abstract_interp.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(acsl_extension.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(alarms.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(allocates.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(alpha.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(annotations.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(asm_contracts.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ast.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ast_info.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(bag.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(base.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(binary_cache.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(bit_utils.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(bitvector.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(bottom.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cabs2cil.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cabs_debug.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cabshelper.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cabsvisit.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cfg.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cilE.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_const.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_datatype.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_descriptive_printer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_printer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_state_builder.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cil_types_debug.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cilconfig.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(clexer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(clone.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cmdline.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(command.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cparser.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cprint.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(cvalue.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(dataflow2.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(dataflows.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(datatype.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(db.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(descr.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(description.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(destructors.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(dominators.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(dotgraph.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(dynamic.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(emitter.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(errorloc.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(escape.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(exn_flow.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(extlib.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(fc_config.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(fc_float.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(file.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(filecheck.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(filepath.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(filter.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(float_interval.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(floating_point.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(frama_c_init.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(frontc.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(function_Froms.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(fval.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ghost_accesses.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ghost_cfg.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(globals.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(hook.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(hptmap.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(hptset.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(indexer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(infer_annotations.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(inline.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(inout_type.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(int_Base.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(int_Intervals.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(int_interval.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(int_set.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(int_val.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(integer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(interpreted_automata.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ival.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(journal.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(json.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(json_compilation_database.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(kernel.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(kernel_function.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(lattice_messages.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(lexerhack.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(lmap.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(lmap_bitwise.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(locations.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(log.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_builtin.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_const.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_env.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_interp.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_lexer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_parser.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_preprocess.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_print.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_typing.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(logic_utils.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(loop.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(map_lattice.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(markdown.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(mergecil.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(messages.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(offsetmap.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(oneret.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(ordered_stmt.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(origin.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(parameter_builder.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(parameter_category.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(parameter_customize.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(parameter_state.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(pdgIndex.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(pdgMarks.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(pdgTypes.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(plugin.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(precise_locs.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(pretty_utils.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(printer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(printer_builder.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(printer_tag.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(project.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(project_skeleton.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(property.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(property_status.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(qstack.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(rangemap.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(rgmap.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(rich_text.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(rmtmps.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(sanitizer.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(service_graph.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(special_hooks.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(state.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(state_builder.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(state_dependency_graph.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(state_selection.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(state_topological.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(statuses_by_call.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(stmts_graph.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(structural_descr.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(substitute_const_globals.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(task.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(tr_offset.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(transitioning.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(translate_lightweight.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(type.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(typed_parameter.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(undefined_sequence.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(unicode.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(unmarshal.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(unmarshal_z.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(unroll_loops.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(utf8_logic.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(value_types.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(vector.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(visitor.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(visitor_behavior.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(widen_type.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(wto.o)
• I unstripped-static-library usr/lib/frama-c/frama-c.a(wto_statement.o)
• P ocaml-dev-file-in-nondev-package 484 files in usr/lib
• frama-c_20200625+scandium-2.dsc
• E source-is-missing tests/verisec/suite/programs/apps/SpamAssassin/BID-6679/message_write/test
• I patch-not-forwarded-upstream debian/patches/0002-Use-bin-cp-instead-of-usr-bin-install.patch
• I patch-not-forwarded-upstream debian/patches/0003-Disable-CHMOD_RO-invocations.patch
• I patch-not-forwarded-upstream debian/patches/0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas.patch
• I unused-file-paragraph-in-dep5-copyright paragraph at line 116
• I unused-file-paragraph-in-dep5-copyright paragraph at line 123
• I unused-file-paragraph-in-dep5-copyright paragraph at line 143
• I unused-license-paragraph-in-dep5-copyright qpl-modified (line 167)
• I wildcard-matches-nothing-in-dep5-copyright src/aorai/* (line 116)
• I wildcard-matches-nothing-in-dep5-copyright src/kernel_services/analysis/dataflow.ml (line 60)
• I wildcard-matches-nothing-in-dep5-copyright src/kernel_services/analysis/dataflow.mli (line 60)
• I wildcard-matches-nothing-in-dep5-copyright src/plugins/wp/why3_xml.mli (line 29)
• I wildcard-matches-nothing-in-dep5-copyright src/plugins/wp/why3_xml.mll (line 29)
• I wildcard-matches-nothing-in-dep5-copyright tests/bugs/evoting.c (line 143)
• I wildcard-matches-nothing-in-dep5-copyright tests/minix/* (line 123)
• P debian-watch-does-not-check-gpg-signature
• P package-does-not-install-examples share/analysis-scripts/examples/
• P package-does-not-install-examples src/plugins/e-acsl/tests/examples/
• P silent-on-rules-requiring-root
• P source-contains-prebuilt-binary tests/verisec/suite/programs/apps/SpamAssassin/BID-6679/message_write/test
• P upstream-metadata-file-is-missing