Skip to content

Commit a85a3b1

Browse files
committed
CHB: truncate global address
1 parent 0f39a00 commit a85a3b1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CodeHawk/CHB/bchlib/bCHFunctionInfo.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -850,6 +850,7 @@ object (self)
850850
?(size=4)
851851
?(offset=NoOffset)
852852
(base: numerical_t): variable_t traceresult =
853+
let base = base#modulo (mkNumerical BCHDoubleword.e32) in
853854
match numerical_to_doubleword base with
854855
| Error e -> Error ("finfo.mk_global_variable" :: e)
855856
| Ok addr ->

0 commit comments

Comments
 (0)