@@ -79,7 +79,24 @@ implicit-integer-sign-change:blech32.cpp
79
79
implicit-integer-sign-change:primitives/block.h
80
80
implicit-integer-sign-change:primitives/confidential.cpp
81
81
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
82
85
shift-base:simplicity/sha256.c
83
86
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
84
101
# See comment in simplicity/primitive/elements/env.c line 303
85
102
unsigned-integer-overflow:simplicity/primitive/elements/env.c
0 commit comments