Build:
- 0
2026-06-24 13:54.51: New job: build sawja.1.5.7 (40486b014fd2)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 15:49.19: Got resource from pool day11-builds
2026-06-24 15:49.19: [profile full] build sawja.1.5.7
2026-06-24 15:49.19: build sawja.1.5.7 (40486b014fd2)
=== DEPENDENCIES (15 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
camlzip.1.14 b2a1cb874022
conf-perl.2 bdcd7b1dce5e
conf-pkg-config.5 d5de2c6a88f9
conf-which.1 84b48e007e35
conf-zlib.1 5297f1b9477f
cppo.1.8.0 5f3f70cae95b
dune.3.23.1 848a72441e15
extlib.1.8.0 6b63cbaccce6
javalib.3.2 2f9a3ec87d4f
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-config.2 2d9c209f5590
ocamlfind.1.9.8 214dd418ac02
=== STDOUT ===
Processing: [default: loading data]
[sawja.1.5.7: dl]
[sawja.1.5.7: extract]
-> retrieved sawja.1.5.7 (https://opam.ocaml.org/cache)
[sawja: ./configure.sh]
+ /home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/./configure.sh (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7)
- * Debug flag set to yes.
- * Buddy flag set to no. Sawja won't use the buddy BDD package.
- * Ocamlfind found at /home/opam/.opam/default/bin/ocamlfind.
- * System-wide installation, in /home/opam/.opam/default/lib.
- * Perl found at /usr/bin/perl.
- * Package javalib v3.2 found at /home/opam/.opam/default/lib/javalib.
- * Writing /home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/Makefile.config.
- Creating from /home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/Makefile.config.example.
- ... done.
-
- WHAT'S NEXT: all dependencies are satisfied.
- Compile and install Sawja with the following commands:
- make && sudo make install
-
- More details can be found in the installation documentation (INSTALL or http://javalib.gforge.inria.fr/sawja-doc.html).
[sawja: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7)
- /usr/bin/make -C src
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/src'
- ocamlyacc heap_parser/parse_heap.mly
- cp classDomainPtrees.ml classDomain.ml
- rm -f safe.ml
- for i in safe_domain.ml safe_var.ml safe_state.ml safe_constraints.ml safe_solver.ml; do \
- echo `basename $i .ml` | \
- awk 'BEGIN{ORS="";OFS="";}{print "module " toupper(substr($0,6,1)) substr($0,7,length($0)-6) "= struct\n";}' >> safe.ml;\
- echo "# 1 \""$i"\"" >> safe.ml;\
- cat $i >> safe.ml;\
- echo " end">> safe.ml;\
- done
- ocamllex heap_parser/lex_heap.mll
- 82 states, 4559 transitions, table size 18728 bytes
- /home/opam/.opam/default/bin/ocamlfind ocamldep -I dataflow_analyses/ iter.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli jUtil.ml iter.ml iter2.ml wlist.ml jProgram.ml classDomain.ml jsrInline.ml jControlFlow.ml jPrintUtil.ml jPrintHtml.ml jPrintPlugin.ml argPlugin.ml jCodePP.ml cmn.ml bir.ml birA3.ml jBir.ml jBirPP.ml a3Bir.ml a3BirPP.ml dataflow_analyses/live_bir.ml dataflow_analyses/live_a3bir.ml jBirSSA.ml jBirSSAPP.ml a3BirSSA.ml a3BirSSAPP.ml safe.ml reachableMethods.ml jNativeStubs.ml jType.ml nexir.ml heap_parser//parserType.ml heap_parser//parse_heap.ml heap_parser/lex_heap.ml heap_parser/heapParser.ml jCRA.ml jRTA.ml jRTAWithHeap.ml jRRTA.ml XTA.ml jCFAOptions.ml jCFADom.ml jCFAPrinter.ml jCFA.ml dataflow_analyses/reachDef.ml dataflow_analyses/availableExpr.ml dataflow_analyses/availableExprSSA.ml > .depend
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.mli", line 23, characters 11-12:
- 23 | functor (S : sig val nb_bits:int end) ->
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter S.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.mli", line 32, characters 0-45:
- 32 | (** {2 JVM resolution and lookup functions}*)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 33, characters 0-43:
- 33 | (** {3 Lookup and resolution procedures} *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", lines 34-35, characters 0-23:
- 34 | (** {b Warning : lookup and resolve functions do not take in account
- 35 | visibility yet}! *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jControlFlow.mli", line 27, characters 0-17:
- 27 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintHtml.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.mli", line 150, characters 2-26:
- 150 | (** Type of the code. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jPrintHtml.mli", line 28, characters 0-17:
- 28 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.mli", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.mli", line 26, characters 0-17:
- 26 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBir.mli", line 29, characters 0-17:
- 29 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3Bir.mli", line 33, characters 0-39:
- 33 | (** Abstract data type for variables *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 34, characters 0-68:
- 34 | (** [var_equal v1 v2] is equivalent to [v1 = v2], but is faster. *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3Bir.mli", line 31, characters 0-17:
- 31 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSA.mli", line 29, characters 0-20:
- 29 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "jBirSSA.mli", lines 342-344, characters 0-18:
- 342 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 343 | point [pc] must be executed before the corresponding [code.(pc)]
- 344 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jBirSSA.mli", line 25, characters 0-17:
- 25 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.mli", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.mli", line 23, characters 0-17:
- 23 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSA.mli", line 30, characters 0-20:
- 30 | (** {3 Variables} *)
- ^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "a3BirSSA.mli", lines 310-312, characters 0-18:
- 310 | (** Array of phi nodes assignments. Each phi nodes assignments at
- 311 | point [pc] must be executed before the corresponding [code.(pc)]
- 312 | instruction.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "a3BirSSA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.mli", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.mli", line 24, characters 0-17:
- 24 | open JControlFlow
- ^^^^^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JControlFlow.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe.mli", lines 119-123, characters 6-44:
- 119 | ......(** [join_ad modifies v1 v2] returns the union of [v1] and [v2]
- 120 | and sets [modifies] to true if the result is different from
- 121 | [v1]. The option [do_join] allows avoiding to compute the
- 122 | join of values when it is known that the target value (the
- 123 | second one) is smaller or equal.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 139-141, characters 6-19:
- 139 | ......(** [init] is an initial value for local variables: it is not bottom but
- 140 | contains no local variable (it correspond to a reachable point in the
- 141 | code). *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", line 173, characters 6-34:
- 173 | (** initial (empty) stack *)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe.mli", lines 178-179, characters 6-26:
- 178 | ......(** raise [Invalid_argument] if the stack is empty. Raise Failure if the
- 179 | stack is Top. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser//parserType.mli", line 70, characters 0-24:
- 70 | (**for array instance.*)
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/parse_heap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/heapParser.mli", line 21, characters 0-12:
- 21 | open JBasics
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.JBasics.
- File "heap_parser/heapParser.mli", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open JProgram.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.mli", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.mli", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.mli", line 26, characters 0-17:
- 26 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.mli", line 28, characters 0-12:
- 28 | open Javalib
- ^^^^^^^^^^^^
- Warning 33 [unused-open]: unused open Javalib_pack.Javalib.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.mli", lines 44-46, characters 2-39:
- 44 | ..(** [singleton pps cn]: Create a set from a singleton element. [pps] is a list
- 45 | * of program point characterizing the location of the affectation. cn is the
- 46 | * class of the allocated object. *)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 58-59, characters 0-42:
- 58 | (** [filter_with_uncompatible prog abs cn] :Restrain the abstraction [abs] to
- 59 | * the type not compatible with [cn].*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", lines 90-93, characters 2-50:
- 90 | ..(** [fSet2var fset objvSet]: From a field abstraction [fset] and [objvSet],
- 91 | * the abstraction of the object variable used to access the field, return
- 92 | * a variable abstraction corresponding to the possible abstract values when
- 93 | * then variable is affected the field value.*)
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "jCFADom.mli", line 146, characters 48-62:
- 146 | val join_ad : ?do_join:bool -> ?modifies:bool Pervasives.ref ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.mli
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c iter2.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "iter2.ml", lines 126-180, characters 0-5:
- 126 | module CycleDetection = struct
- 127 |
- 128 | (* Tarjan's strongly connected components algorithm *)
- 129 | let run size iter_adj : int array =
- 130 | let max_scc_length = ref 0 in
- ...
- 177 | scc
- 178 |
- 179 |
- 180 | end
- Warning 60 [unused-module]: unused module CycleDetection.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c wlist.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jProgram.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jProgram.ml", line 23, characters 0-17:
- 23 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jProgram.ml", line 220, characters 9-21:
- 220 | i1.i_interfaces false
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 246, characters 6-18:
- 246 | i.i_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: i_interfaces belongs to several types: interface_node Javalib_pack.Javalib.jinterface
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 254, characters 6-18:
- 254 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jProgram.ml", line 26, characters 0-12:
- 26 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jProgram.ml", line 519, characters 37-67:
- 519 | map_program2' (map_program_classes map_interface_or_class_context) f fpp p
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?force
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c classDomain.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "classDomain.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "classDomain.ml", line 21, characters 13-14:
- 21 | module Make (S:sig end) = struct
- ^
- Warning 60 [unused-module]: unused module S.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jsrInline.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jsrInline.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jsrInline.ml", line 22, characters 0-12:
- 22 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jControlFlow.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jControlFlow.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jControlFlow.ml", line 76, characters 14-41:
- 76 | (List.map JDumpBasics.value_signature mparams))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?jvm
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_field (which is later used)
- File "jControlFlow.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jControlFlow.ml", line 362, characters 6-18:
- 362 | c.c_interfaces
- ^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: c_interfaces belongs to several types: JProgram.class_node Javalib_pack.Javalib.jclass
- The first one was selected. Please disambiguate if this is wrong.
- File "jControlFlow.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintUtil.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintUtil.ml", line 149, characters 0-17:
- 149 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -c jPrintHtml.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintHtml.ml", line 21, characters 0-17:
- 21 | en JBasics
- 21 | open J....
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintHtml.ml", line 24, characters 0-12:
- 24 | rogram
- 24 | open ..........
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintHtml.ml", line 25, characters 0-13:
- 25 | PrintUtil
- |
- 25 | ty.........
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jPrintPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jPrintPlugin.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jPrintPlugin.ml", line 23, characters 0-12:
- 23 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_methods (which is later used)
- File "jPrintPlugin.ml", line 707, characters 4-26:
- 707 | open AdaptedASTGrammar
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Return (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c argPlugin.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCodePP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCodePP.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jCodePP.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c cmn.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "cmn.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "cmn.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "cmn.ml", line 268, characters 16-18:
- 268 | | `MethodType md -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "cmn.ml", line 269, characters 18-20:
- 269 | | `MethodHandle mh -> assert false (* TODO Java8 *)
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "bir.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "bir.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "bir.ml", line 447, characters 37-46:
- 447 | List.iter (fun e -> jump_target.(e.e_handler) <- true) m.bir_exc_tbl ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 2711, characters 42-51:
- 2711 | (List.map (fun (i, e) -> (i, NoP, e.e_handler)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3149, characters 26-33:
- 3149 | { e_start= find e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3180, characters 27-34:
- 3180 | let in_scope = ref e.e_start in
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3274, characters 43-50:
- 3274 | { e_start= new_code_corresp.(e.e_start)
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3550, characters 40-50:
- 3550 | (String.concat "::" (List.map print_expr e))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 3639, characters 34-43:
- 3639 | (List.map (fun (i, e) -> (e.e_handler, [], i)) (bir_exception_edges m))
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 3812, characters 45-52:
- 3812 | Printf.printf " [%d, %d] --> %d\n" e.e_start e.e_end e.e_handler )
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4029, characters 17-24:
- 4029 | { e_start= e.e_start
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4056, characters 40-49:
- 4056 | List.iter (fun (i, e) -> add_pred e.e_handler i) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4077, characters 37-46:
- 4077 | List.iter (fun (i, e) -> add i e.e_handler) (bir_exception_edges m) ;
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4765, characters 60-70:
- 4765 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4783, characters 60-70:
- 4783 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4791, characters 60-70:
- 4791 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4807, characters 60-70:
- 4807 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4827, characters 60-70:
- 4827 | (Printf.sprintf "(%s)" (JUtil.print_list_sep ", " print_expr le))
- ^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 4886, characters 15-22:
- 4886 | handler.e_start handler.e_end handler.e_handler
- ^^^^^^^
- Warning 41 [ambiguous-name]: e_start belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 4917, characters 6-19:
- 4917 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier iter (which is later used)
- File "bir.ml", line 4963, characters 6-19:
- 4963 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "bir.ml", line 5138, characters 38-47:
- 5138 | (fun map eh -> Ptmap.add eh.e_handler eh.e_catch_type map)
- ^^^^^^^^^
- Warning 41 [ambiguous-name]: e_handler belongs to several types: exception_handler Javalib_pack.JCode.exception_handler
- The first one was selected. Please disambiguate if this is wrong.
- File "bir.ml", line 5336, characters 29-40:
- 5336 | let inst_disp = inst_disp' print_instr
- ^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- File "bir.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "bir.ml", line 96, characters 16-18:
- 96 | | `MethodType md ->
- ^^
- Warning 27 [unused-var-strict]: unused variable md.
- File "bir.ml", line 98, characters 18-20:
- 98 | | `MethodHandle mh ->
- ^^
- Warning 27 [unused-var-strict]: unused variable mh.
- File "bir.ml", line 309, characters 25-27:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable bm.
- File "bir.ml", line 309, characters 29-31:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 309, characters 33-35:
- 309 | | InvokeDynamic (None, bm, ms, le) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable le.
- File "bir.ml", line 313, characters 21-23:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 313, characters 25-27:
- 313 | | `GetField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 315, characters 22-24:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 315, characters 26-28:
- 315 | | `GetStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 317, characters 21-23:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 317, characters 25-27:
- 317 | | `PutField (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 319, characters 22-24:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 319, characters 26-28:
- 319 | | `PutStatic (cn, fs) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable fs.
- File "bir.ml", line 321, characters 26-28:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ot.
- File "bir.ml", line 321, characters 30-32:
- 321 | | `InvokeVirtual (ot, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 323, characters 29-31:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 323, characters 33-35:
- 323 | | `NewInvokeSpecial (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 325, characters 24-25:
- 325 | | `InvokeStatic m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 327, characters 25-26:
- 327 | | `InvokeSpecial m ->
- ^
- Warning 27 [unused-var-strict]: unused variable m.
- File "bir.ml", line 329, characters 28-30:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable cn.
- File "bir.ml", line 329, characters 32-34:
- 329 | | `InvokeInterface (cn, ms) ->
- ^^
- Warning 27 [unused-var-strict]: unused variable ms.
- File "bir.ml", line 3389, characters 30-36:
- 3389 | let nir_code, nir2bc, nbc2ir, nir_exc_tbl =
- ^^^^^^
- Warning 27 [unused-var-strict]: unused variable nbc2ir.
- File "bir.ml", line 4236, characters 11-12:
- 4236 | (fun i w ->
- ^
- Warning 27 [unused-var-strict]: unused variable i.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c birA3.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "birA3.ml", line 24, characters 0-17:
- 24 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "birA3.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3Bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_bir.ml", line 59, characters 65-80:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map JBir.print_expr e))
- ^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/live_a3bir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/live_a3bir.ml", line 59, characters 65-81:
- 59 | Printf.sprintf "GenVars(%s)" (String.concat "::" (List.map A3Bir.print_tvar e))
- ^^^^^^^^^^^^^^^^
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?show_type
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jBirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jBirSSAPP.ml", line 19, characters 0-17:
- 19 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jBirSSAPP.ml", line 21, characters 0-13:
- 21 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c a3BirSSAPP.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "a3BirSSAPP.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "a3BirSSAPP.ml", line 22, characters 0-13:
- 22 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c safe.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "safe_domain.ml", line 80, characters 4-32:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", lines 85-86, characters 4-24:
- Warning 50 [unexpected-docstring]: ambiguous documentation comment
- File "safe_domain.ml", line 234, characters 29-37:
- Warning 48 [eliminated-optional-arguments]: implicit elimination of optional argument ?modifies
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JBasics (which is later used)
- File "safe_var.ml", line 113, characters 2-19:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "safe_var.ml", line 115, characters 2-14:
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c reachableMethods.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "reachableMethods.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "reachableMethods.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jNativeStubs.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c nexir.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Atom (which is later used)
- File "nexir.ml", line 170, characters 31-35:
- 170 | | A3Bir.Atom(cmp,tv1,tv2) -> Atom(BinCond(cmp,Var tv1,Var tv2))
- ^^^^
- Warning 41 [ambiguous-name]: Atom belongs to several types: Formula.formula A3Bir.formula
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor BoolVar (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor And (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor Or (which is later used)
- File "nexir.ml", line 311, characters 6-18:
- 311 | | MonitorEnter (tv) -> [(cur_pc, [MonitorEnter (tv), cur_pc+1])]
- ^^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorEnter relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 312, characters 6-17:
- 312 | | MonitorExit (tv) -> [(cur_pc, [MonitorExit (tv), cur_pc+1])]
- ^^^^^^^^^^^
- Warning 42 [disambiguated-name]: this use of MonitorExit relies on type-directed disambiguation,
- it will not compile with OCaml 4.00 or earlier.
- File "nexir.ml", line 284, characters 31-34:
- 284 | | A3Bir.Nop -> [(cur_pc, [(Nop, cur_pc+1)])]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNullPointer (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArrayStore (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckNegativeArraySize (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckCast (which is later used)
- File "nexir.ml", line 124, characters 0-12:
- 124 | open Formula
- ^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor CheckArithmetic (which is later used)
- File "nexir.ml", line 471, characters 28-31:
- 471 | Ptmap.add start_pc [Nop, 0]
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: instrCfg A3Bir.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 539, characters 4-20:
- 539 | CheckNullPointer e -> Printf.sprintf "CheckNotNull (%s != null);" (print_tvar e)
- ^^^^^^^^^^^^^^^^
- Warning 41 [ambiguous-name]: CheckNullPointer belongs to several types: Formula.check A3Bir.check
- The first one was selected. Please disambiguate if this is wrong.
- File "nexir.ml", line 18, characters 0-38:
- 18 | exception IncompatibleClassChangeError
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 38 [unused-extension]: unused exception IncompatibleClassChangeError
- File "nexir.ml", line 144, characters 4-18:
- 144 | let clear_fresh_pc _ = fresh_pc := -1
- ^^^^^^^^^^^^^^
- Warning 32 [unused-value-declaration]: unused value clear_fresh_pc.
- File "nexir.ml", line 146, characters 17-21:
- 146 | let get_fresh_pc unit : int =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable unit.
- File "nexir.ml", line 544, characters 17-18:
- 544 | | CheckCast (e,t) ->
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 570, characters 17-18:
- 570 | let (t, v ) = tv in
- ^
- Warning 27 [unused-var-strict]: unused variable t.
- File "nexir.ml", line 597, characters 13-21:
- 597 | | CheckLink(opcode) -> "CheckLink(??)"
- ^^^^^^^^
- Warning 27 [unused-var-strict]: unused variable opcode.
- File "nexir.ml", line 622, characters 35-36:
- 622 | | VirtualCall (exc_var, ret_var, v, vmc, args) ->
- ^
- Warning 27 [unused-var-strict]: unused variable v.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parserType.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser//parse_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "heap_parser/parse_heap.mly", line 24, characters 0-15:
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/lex_heap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "heap_parser/lex_heap.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c heap_parser/heapParser.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCRA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCRA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label c_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the label i_interfaces (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jCRA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_concrete_methods (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRTA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRTA.ml", line 109, characters 21-28:
- 109 | (ClassMap.find cs p.classes,fields_of_nodes)
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 229, characters 20-27:
- 229 | ClassMap.find cs p.classes
- ^^^^^^^
- Warning 41 [ambiguous-name]: classes belongs to several types: program_cache JProgram.program
- The first one was selected. Please disambiguate if this is wrong.
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier defines_method (which is later used)
- File "jRTA.ml", line 24, characters 0-12:
- 24 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jRTA.ml", line 25, characters 0-13:
- 25 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRTAWithHeap.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jRRTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jRRTA.ml", line 22, characters 0-17:
- 22 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jRRTA.ml", line 26, characters 0-13:
- 26 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "jRRTA.ml", line 25, characters 0-12:
- 25 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c XTA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "XTA.ml", lines 63-66, characters 2-74:
- 63 | ..(** [get_relevant_operations program m] returns the sets of instance
- 64 | fields that are read, instance field that are written, static
- 65 | fields that are read, static fields that are written, classes
- 66 | that are instantiated and handled exceptions types in that order. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 160-161, characters 2-38:
- 160 | ..(** returns a set with all the classes that extends (or implements) the class or
- 161 | interface given as parameter. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 288-295, characters 4-23:
- 288 | ....(** [refine_with_type program type_list abm] returns the some abstract value
- 289 | [abm] where the classes in [abm] that cannot be of a type of [type_list]
- 290 | have been removed. Partial applications with a program and a type_list
- 291 | are encourage as it should speed up the computation.
- 292 |
- 293 | As an optimization, [refine_with_type program type_list] may return
- 294 | [None] to encode a function that would otherwise always returns
- 295 | [XTADom.bot] *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", lines 740-745, characters 2-46:
- 740 | ..(** [static_lookup state classmap cn ms invoke] returns the set of
- 741 | methods that may be called for a call to [invoke] from [(cn,ms)]
- 742 | with the [classmap] as [program.classes]. Note: partial
- 743 | applications with the state and the classmap are greatly
- 744 | encourage, as partial application with the caller ([cn] and
- 745 | [ms]) has it speed up the resolution. *)
- Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
- File "XTA.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_field (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_name (which is later used)
- File "XTA.ml", line 23, characters 0-13:
- 23 | open JProgram
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- File "XTA.ml", line 280, characters 13-15:
- 280 | let module ED = Domain.Empty in
- ^^
- Warning 60 [unused-module]: unused module ED.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAOptions.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFADom.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFADom.ml", line 20, characters 0-17:
- 20 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFADom.ml", line 21, characters 0-12:
- 21 | open Javalib
- ^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier JPrint (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_open_hvbox (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_string (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_print_space (which is later used)
- File "jCFADom.ml", line 540, characters 14-25:
- 540 | let open Format in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier pp_close_box (which is later used)
- File "jCFADom.ml", line 29, characters 19-23:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst1.
- File "jCFADom.ml", line 29, characters 30-34:
- 29 | let asite_compare (lst1,cn1) (lst2,cn2) =
- ^^^^
- Warning 27 [unused-var-strict]: unused variable lst2.
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- File "jCFADom.ml", line 33, characters 12-14:
- 33 | | [], e2::_ -> 1
- ^^
- Warning 27 [unused-var-strict]: unused variable e2.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFAPrinter.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFAPrinter.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c jCFA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "jCFA.ml", line 21, characters 0-17:
- 21 | open Javalib_pack
- ^^^^^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the module identifier Javalib (which is later used)
- File "jCFA.ml", line 430, characters 6-17:
- 430 | let open JBirPP in
- ^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_class (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VLong (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VFloat (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VDouble (which is later used)
- File "jCFA.ml", line 1038, characters 8-23:
- 1038 | let open ParserType in
- ^^^^^^^^^^^^^^^
- Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor VObject (which is later used)
- File "jCFA.ml", line 1130, characters 6-19:
- 1130 | let open JProgram in
- ^^^^^^^^^^^^^
- Warning 44 [open-shadow-identifier]: this open statement shadows the value identifier get_method (which is later used)
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/reachDef.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExpr.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -package javalib -I dataflow_analyses/ -I heap_parser/ -c dataflow_analyses/availableExprSSA.ml
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- File "dataflow_analyses/availableExprSSA.ml", line 116, characters 16-19:
- 116 | (index v,Nop,i0)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 135, characters 5-8:
- 135 | (0,Nop,index v)::l)
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 136, characters 29-32:
- 136 | (List.map (fun i -> (0,Nop,i)) (Ptset.elements index_catch_var))
- ^^^
- Warning 41 [ambiguous-name]: Nop belongs to several types: transfer JBirSSA.instr
- The first one was selected. Please disambiguate if this is wrong.
- File "dataflow_analyses/availableExprSSA.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -pack jUtil.cmo iter.cmo iter2.cmo wlist.cmo jProgram.cmo classDomain.cmo jsrInline.cmo jControlFlow.cmo jPrintUtil.cmo jPrintHtml.cmo jPrintPlugin.cmo argPlugin.cmo jCodePP.cmo cmn.cmo bir.cmo birA3.cmo jBir.cmo jBirPP.cmo a3Bir.cmo a3BirPP.cmo dataflow_analyses/live_bir.cmo dataflow_analyses/live_a3bir.cmo jBirSSA.cmo jBirSSAPP.cmo a3BirSSA.cmo a3BirSSAPP.cmo safe.cmo reachableMethods.cmo jNativeStubs.cmo jType.cmo nexir.cmo heap_parser//parserType.cmo heap_parser//parse_heap.cmo heap_parser/lex_heap.cmo heap_parser/heapParser.cmo jCRA.cmo jRTA.cmo jRTAWithHeap.cmo jRRTA.cmo XTA.cmo jCFAOptions.cmo jCFADom.cmo jCFAPrinter.cmo jCFA.cmo dataflow_analyses/reachDef.cmo dataflow_analyses/availableExpr.cmo dataflow_analyses/availableExprSSA.cmo -o sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlc -g -w Aer -annot -a -o sawja.cma sawja_pack.cmo
- File "_none_", line 1:
- Alert ocaml_deprecated_cli: Setting a warning with a sequence of lowercase or uppercase letters,
- like 'Aer', is deprecated.
- Use the equivalent signed form: +A-e-r.
- Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jUtil.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c iter2.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c wlist.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jProgram.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c classDomain.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jsrInline.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jControlFlow.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintUtil.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -pp "/usr/bin/perl -p -e 'BEGIN{open(CSS,\"style.css\");\$css=\"\\\"\\\"\";while(<CSS>){chomp(\$_);\$css=\"\$css^\\n\\\"\$_\\\\n\\\"\";} print \"# 1 \\\"jPrintHtml.ml\\\"\n\";}s/\\\"\(\* CSS \*\)\\\"/\$css/;'" -for-pack Sawja_pack -c jPrintHtml.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jPrintPlugin.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c argPlugin.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCodePP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c cmn.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c bir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c birA3.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3Bir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_bir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/live_a3bir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jBirSSAPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c a3BirSSAPP.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c safe.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c reachableMethods.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jNativeStubs.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jType.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c nexir.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parserType.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser//parse_heap.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/lex_heap.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c heap_parser/heapParser.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCRA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRTAWithHeap.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jRRTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c XTA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAOptions.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFADom.ml
- File "jCFADom.ml", line 30, characters 6-14:
- 30 | let cmp_list l1 l2 =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable cmp_list.
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFAPrinter.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c jCFA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/reachDef.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExpr.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -package javalib -I dataflow_analyses/ -I heap_parser/ -for-pack Sawja_pack -c dataflow_analyses/availableExprSSA.ml
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -pack jUtil.cmx iter.cmx iter2.cmx wlist.cmx jProgram.cmx classDomain.cmx jsrInline.cmx jControlFlow.cmx jPrintUtil.cmx jPrintHtml.cmx jPrintPlugin.cmx argPlugin.cmx jCodePP.cmx cmn.cmx bir.cmx birA3.cmx jBir.cmx jBirPP.cmx a3Bir.cmx a3BirPP.cmx dataflow_analyses/live_bir.cmx dataflow_analyses/live_a3bir.cmx jBirSSA.cmx jBirSSAPP.cmx a3BirSSA.cmx a3BirSSAPP.cmx safe.cmx reachableMethods.cmx jNativeStubs.cmx jType.cmx nexir.cmx heap_parser//parserType.cmx heap_parser//parse_heap.cmx heap_parser/lex_heap.cmx heap_parser/heapParser.cmx jCRA.cmx jRTA.cmx jRTAWithHeap.cmx jRRTA.cmx XTA.cmx jCFAOptions.cmx jCFADom.cmx jCFAPrinter.cmx jCFA.cmx dataflow_analyses/reachDef.cmx dataflow_analyses/availableExpr.cmx dataflow_analyses/availableExprSSA.cmx -o sawja_pack.cmx
- /home/opam/.opam/default/bin/ocamlfind ocamlopt -g -a -o sawja.cmxa sawja_pack.cmx
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/src'
-> compiled sawja.1.5.7
[sawja: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7)
- /usr/bin/make -C src install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/src'
- if [ "no" = "yes" ]; then \
- sed 's/requires = "javalib"/requires = "javalib,buddy"/' META.source > META ; \
- else \
- sed 's/requires = "javalib"/requires = "javalib"/' META.source > META ; \
- fi
- /home/opam/.opam/default/bin/ocamlfind install sawja META sawja.cma sawja.cmxa iter.mli wlist.mli jProgram.mli classDomain.mli jNativeStubs.mli jsrInline.mli jControlFlow.mli jPrintUtil.mli jPrintHtml.mli jPrintPlugin.mli argPlugin.mli jCodePP.mli jBir.mli jBirPP.mli a3Bir.mli a3BirPP.mli jBirSSA.mli jBirSSAPP.mli a3BirSSA.mli a3BirSSAPP.mli dataflow_analyses/live_bir.mli dataflow_analyses/live_a3bir.mli safe.mli reachableMethods.mli jUtil.mli jType.mli nexir.mli heap_parser//parserType.mli heap_parser/parse_heap.mli heap_parser/heapParser.mli jCRA.mli XTA.mli jRTA.mli jRTAWithHeap.mli jRRTA.mli jCFAOptions.mli jCFADom.mli jCFAPrinter.mli jCFA.mli dataflow_analyses/reachDef.mli dataflow_analyses/availableExpr.mli sawja_pack.cmi sawja_pack.cmo sawja_pack.cmx sawja_pack.o bir.cmi sawja.a
- Installed /home/opam/.opam/default/lib/sawja/sawja.a
- Installed /home/opam/.opam/default/lib/sawja/bir.cmi
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.o
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmx
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmo
- Installed /home/opam/.opam/default/lib/sawja/sawja_pack.cmi
- Installed /home/opam/.opam/default/lib/sawja/availableExpr.mli
- Installed /home/opam/.opam/default/lib/sawja/reachDef.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFA.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFAPrinter.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFADom.mli
- Installed /home/opam/.opam/default/lib/sawja/jCFAOptions.mli
- Installed /home/opam/.opam/default/lib/sawja/jRRTA.mli
- Installed /home/opam/.opam/default/lib/sawja/jRTAWithHeap.mli
- Installed /home/opam/.opam/default/lib/sawja/jRTA.mli
- Installed /home/opam/.opam/default/lib/sawja/XTA.mli
- Installed /home/opam/.opam/default/lib/sawja/jCRA.mli
- Installed /home/opam/.opam/default/lib/sawja/heapParser.mli
- Installed /home/opam/.opam/default/lib/sawja/parse_heap.mli
- Installed /home/opam/.opam/default/lib/sawja/parserType.mli
- Installed /home/opam/.opam/default/lib/sawja/nexir.mli
- Installed /home/opam/.opam/default/lib/sawja/jType.mli
- Installed /home/opam/.opam/default/lib/sawja/jUtil.mli
- Installed /home/opam/.opam/default/lib/sawja/reachableMethods.mli
- Installed /home/opam/.opam/default/lib/sawja/safe.mli
- Installed /home/opam/.opam/default/lib/sawja/live_a3bir.mli
- Installed /home/opam/.opam/default/lib/sawja/live_bir.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirSSAPP.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirSSA.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirSSAPP.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirSSA.mli
- Installed /home/opam/.opam/default/lib/sawja/a3BirPP.mli
- Installed /home/opam/.opam/default/lib/sawja/a3Bir.mli
- Installed /home/opam/.opam/default/lib/sawja/jBirPP.mli
- Installed /home/opam/.opam/default/lib/sawja/jBir.mli
- Installed /home/opam/.opam/default/lib/sawja/jCodePP.mli
- Installed /home/opam/.opam/default/lib/sawja/argPlugin.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintPlugin.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintHtml.mli
- Installed /home/opam/.opam/default/lib/sawja/jPrintUtil.mli
- Installed /home/opam/.opam/default/lib/sawja/jControlFlow.mli
- Installed /home/opam/.opam/default/lib/sawja/jsrInline.mli
- Installed /home/opam/.opam/default/lib/sawja/jNativeStubs.mli
- Installed /home/opam/.opam/default/lib/sawja/classDomain.mli
- Installed /home/opam/.opam/default/lib/sawja/jProgram.mli
- Installed /home/opam/.opam/default/lib/sawja/wlist.mli
- Installed /home/opam/.opam/default/lib/sawja/iter.mli
- Installed /home/opam/.opam/default/lib/sawja/sawja.cmxa
- Installed /home/opam/.opam/default/lib/sawja/sawja.cma
- Installed /home/opam/.opam/default/lib/sawja/META
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/sawja.1.5.7/src'
-> installed sawja.1.5.7
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev
=== STDERR ===
2026-06-24 15:50.06: OK: build sawja.1.5.7 (runc: 20.7s, disk: 110KB)
2026-06-24 15:50.06: Job succeeded