@@ -79,7 +79,24 @@ implicit-integer-sign-change:blech32.cpp
7979implicit-integer-sign-change:primitives/block.h
8080implicit-integer-sign-change:primitives/confidential.cpp
8181implicit-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
8285shift-base:simplicity/sha256.c
8386unsigned-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
85102unsigned-integer-overflow:simplicity/primitive/elements/env.c
0 commit comments