Skip to content

Commit 015fb7f

Browse files
sipmasipma
committed
CHB:ARM: fix warnings
1 parent a0996bd commit 015fb7f

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+222
-333
lines changed

‎CodeHawk/CHB/bchlibarm32/bCHARMAssemblyBlock.ml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,6 @@ open BCHLocation
3535

3636
(* bchlibarm32 *)
3737
open BCHARMAssemblyInstructions
38-
open BCHARMOpcodeRecords
3938
open BCHARMTypes
4039

4140

‎CodeHawk/CHB/bchlibarm32/bCHARMAssemblyBlock.mli‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -25,12 +25,6 @@
2525
SOFTWARE.
2626
============================================================================= *)
2727

28-
(* chlib *)
29-
open CHPretty
30-
31-
(* chutil *)
32-
open CHXmlDocument
33-
3428
(* bchlib *)
3529
open BCHLibTypes
3630

‎CodeHawk/CHB/bchlibarm32/bCHARMAssemblyFunction.ml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -301,7 +301,7 @@ let inline_blocks_arm_assembly_function
301301

302302
let create_path_contexts
303303
(s: ctxt_iaddress_t)
304-
(sentinels: ctxt_iaddress_t list)
304+
(_sentinels: ctxt_iaddress_t list)
305305
(f: arm_assembly_function_int) =
306306
let faddr = f#get_address in
307307
let newblocks = H.create f#get_block_count in

‎CodeHawk/CHB/bchlibarm32/bCHARMAssemblyInstructions.mli‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,6 @@ open BCHLibTypes
3333

3434
(* bchlibarm32 *)
3535
open BCHARMTypes
36-
open BCHARMAssemblyInstruction
3736

3837

3938
(** Holds an array of all of the assembly instructions, made available

‎CodeHawk/CHB/bchlibarm32/bCHARMCHIFSystem.ml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2021-2023 Aarno Labs LLC
7+
Copyright (c) 2021-2024 Aarno Labs LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal
@@ -48,7 +48,7 @@ let make_arm_proc_name (addr:doubleword_int) = doubleword_to_symbol "proc" addr
4848

4949

5050
class arm_chif_system_t:arm_chif_system_int =
51-
object (self)
51+
object
5252

5353
val mutable system = LF.mkSystem (new symbol_t "arm-analysis-system")
5454

‎CodeHawk/CHB/bchlibarm32/bCHARMCHIFSystem.mli‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
11
(* =============================================================================
2-
CodeHawk Binary Analyzer
2+
CodeHawk Binary Analyzer
33
Author: Henny Sipma
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
6-
7-
Copyright (c) 2021-2023 Aarno Labs LLC
6+
7+
Copyright (c) 2021-2024 Aarno Labs LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal
1111
in the Software without restriction, including without limitation the rights
1212
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1313
copies of the Software, and to permit persons to whom the Software is
1414
furnished to do so, subject to the following conditions:
15-
15+
1616
The above copyright notice and this permission notice shall be included in all
1717
copies or substantial portions of the Software.
18-
18+
1919
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
2020
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
2121
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
@@ -34,5 +34,7 @@ open BCHLibTypes
3434
(* bchlibarm32 *)
3535
open BCHARMTypes
3636

37+
3738
val arm_chif_system: arm_chif_system_int
39+
3840
val make_arm_proc_name: doubleword_int -> symbol_t

‎CodeHawk/CHB/bchlibarm32/bCHARMCodePC.ml‎

Lines changed: 2 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2021-2023 Aarno Labs LLC
7+
Copyright (c) 2021-2024 Aarno Labs LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal
@@ -30,26 +30,17 @@ open CHPretty
3030

3131
(* chutil *)
3232
open CHLogger
33-
open CHPrettyUtil
3433

3534
(* bchlib *)
3635
open BCHBasicTypes
37-
open BCHFloc
38-
open BCHLibTypes
3936
open BCHLocation
40-
open BCHSystemSettings
41-
open BCHUtilities
4237

4338
(* bchlibarm32 *)
44-
open BCHARMAssemblyInstruction
45-
open BCHARMDictionary
46-
open BCHARMDisassemblyUtils
47-
open BCHARMOpcodeRecords
4839
open BCHARMTypes
4940

5041

5142
class arm_code_pc_t (block:arm_assembly_block_int): arm_code_pc_int =
52-
object (self)
43+
object
5344

5445
val mutable instruction_list = block#get_instructions
5546
val ctxtloc = block#get_location

‎CodeHawk/CHB/bchlibarm32/bCHARMCodePC.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2021-2023 Aarno Labls LLC
7+
Copyright (c) 2021-2024 Aarno Labls LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal

‎CodeHawk/CHB/bchlibarm32/bCHARMDictionary.ml‎

Lines changed: 1 addition & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2021-2023 Aarno Labs, LLC
7+
Copyright (c) 2021-2024 Aarno Labs, LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal
@@ -25,20 +25,12 @@
2525
SOFTWARE.
2626
============================================================================= *)
2727

28-
29-
(* chlib *)
30-
open CHPretty
31-
3228
(* chutil *)
3329
open CHIndexTable
34-
open CHLogger
3530
open CHStringIndexTable
3631
open CHXmlDocument
3732

3833
(* bchlib *)
39-
open BCHBasicTypes
40-
open BCHCPURegisters
41-
open BCHLibTypes
4234
open BCHSumTypeSerializer
4335

4436
(* bchlibarm32 *)
@@ -49,15 +41,6 @@ open BCHARMTypes
4941

5042
let bd = BCHDictionary.bdictionary
5143

52-
let raise_tag_error (name:string) (tag:string) (accepted:string list) =
53-
let msg =
54-
LBLOCK [ STR "Type " ; STR name ; STR " tag: " ; STR tag ;
55-
STR " not recognized. Accepted tags: " ;
56-
pretty_print_list accepted (fun s -> STR s) "" ", " "" ] in
57-
begin
58-
ch_error_log#add "serialization tag" msg ;
59-
raise (BCH_failure msg)
60-
end
6144

6245
class arm_dictionary_t:arm_dictionary_int =
6346
object (self)

‎CodeHawk/CHB/bchlibarm32/bCHARMDictionary.mli‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
------------------------------------------------------------------------------
55
The MIT License (MIT)
66
7-
Copyright (c) 2021-2023 Aarno Labs, LLC
7+
Copyright (c) 2021-2024 Aarno Labs, LLC
88
99
Permission is hereby granted, free of charge, to any person obtaining a copy
1010
of this software and associated documentation files (the "Software"), to deal

0 commit comments

Comments
 (0)