1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
let nullsafe_optimistic_third_party_params_in_non_strict =
CLOpt.mk_bool
~long:"nullsafe-optimistic-third-party-params-in-non-strict"
(* Turned on for compatibility reasons. Historically this is because
there was no actionable way to change third party annotations. Now
that we have such a support, this behavior should be reconsidered,
provided our tooling and error reporting is friendly enough to be
smoothly used by developers. *)
~default:true
"Nullsafe: in this mode we treat non annotated third party method params as if they were \
annotated as nullable."
let test_file_renamings_from_json =
let create_test test_input expected_output _ =
let test_output input =
DifferentialFilters.FileRenamings.VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY.from_json input
in
foo
in
fooooooooooooooo
let eval location exp0 astate =
let rec eval exp astate =
match (exp : Exp.t) with
| Var id -> Ok (eval_var (* error in case of missing history? *) [] (Var.of_id id) astate)
| Lvar pvar ->
Ok (eval_var [ ValueHistory.VariableAccessed (pvar, location) ] (Var.of_pvar pvar) astate)
| Lfield (exp', field, _) -> goooooooo
in
fooooooooooooooooooooo
let declare_locals_and_ret tenv pdesc (prop_ : Prop.normal Prop.t) =
let foooooooooooooo =
BiabductionConfig.run_in_re_execution_mode
(* no footprint vars for locals *)
sigma_locals_and_ret ()
in
fooooooooooooooooooooooooooo
let bottom_up fooooooooooo =
let empty = Int.equal 0 !scheduled && Queue.is_empty pending in
if empty then (
remaining := 0;
L.progress "Finished call graph scheduling, %d procs remaining (in, or reaching, cycles).@."
(CallGraph.n_procs syntactic_call_graph);
if Config.debug_level_analysis > 0 then CallGraph.to_dotty syntactic_call_graph "cycles.dot";
foooooooooooooooooo)
else fooooooooooooooooo
let test_file_renamings_from_json =
let fooooooooooooo =
match expected_output with
| Return exp ->
assert_equal ~pp_diff
~cmp:DifferentialFilters.FileRenamings.VISIBLE_FOR_TESTING_DO_NOT_USE_DIRECTLY.equal exp
(test_output test_input)
| Raise exc -> assert_raises exc (fun () -> test_output test_input)
in
foooooooooooooooo
let gen_with_record_deps ~expand t resolved_forms ~dep_kind =
let foooooooooooooooooooooo =
expand
(* we keep the dir constant here to replicate the old behavior of:
(chdir foo %{exe:bar}). This should lookup ./bar rather than
./foo/bar *)
resolved_forms ~dir:t.dir ~dep_kind ~expand_var:t.expand_var
in
{ t with expand_var }
let f =
very_long_function_name
~very_long_variable_name:(very_long expression)
(* this is a
multiple-line-spanning
comment *)
~y
let eradicate_meta_class_is_nullsafe =
register ~id:"ERADICATE_META_CLASS_IS_NULLSAFE"
~hum:"Class is marked @Nullsafe and has 0 issues"
(* Should be enabled for special integrations *)
~enabled:false Info Eradicate (* TODO *)
~user_documentation:""
let eradicate_meta_class_is_nullsafe =
register ~id:"ERADICATE_META_CLASS_IS_NULLSAFE" (* Should be enabled for special integrations *)
~hum:"Class is marked @Nullsafe and has 0 issues"
(* Should be enabled for special integrations *)
~enabled:false Info
|
