Skip to content

Commit cf16847

Browse files
committed
ci: add more ubsan suppressions
1 parent 0867bd1 commit cf16847

File tree

1 file changed

+17
-0
lines changed
  • test/sanitizer_suppressions

1 file changed

+17
-0
lines changed

test/sanitizer_suppressions/ubsan

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,24 @@ implicit-integer-sign-change:blech32.cpp
7979
implicit-integer-sign-change:primitives/block.h
8080
implicit-integer-sign-change:primitives/confidential.cpp
8181
implicit-integer-sign-change:primitives/confidential.h
82+
shift-base:simplicity/jets.c
83+
unsigned-integer-overflow:simplicity/jets.c
84+
implicit-unsigned-integer-truncation:simplicity/jets.c
8285
shift-base:simplicity/sha256.c
8386
unsigned-integer-overflow:simplicity/sha256.c
87+
unsigned-integer-overflow:simplicity/secp256k1/modinv64_impl.h
88+
implicit-integer-sign-change:simplicity/secp256k1/modinv64_impl.h
89+
implicit-unsigned-integer-truncation:simplicity/secp256k1/modinv64_impl.h
90+
shift-base:simplicity/secp256k1/modinv64_impl.h
91+
shift-base:simplicity/secp256k1/field_5x52_impl.h
92+
unsigned-integer-overflow:simplicity/secp256k1/field_5x52_impl.h
93+
shift-base:simplicity/secp256k1/scalar_4x64_impl.h
94+
implicit-unsigned-integer-truncation:simplicity/secp256k1/scalar_4x64_impl.h
95+
unsigned-integer-overflow:simplicity/secp256k1/scalar_4x64_impl.h
96+
# This one, in secp256k1_ge_table_set_globalz, looks dangerous (len - 1 with
97+
# len = 0) but is ok since the rest of the function is guarded on len > 0.
98+
unsigned-integer-overflow:simplicity/secp256k1/group_impl.h
99+
# This one involves careful roconnor code
100+
shift-base:simplicity/frame.c
84101
# See comment in simplicity/primitive/elements/env.c line 303
85102
unsigned-integer-overflow:simplicity/primitive/elements/env.c

0 commit comments

Comments
 (0)