Skip to content

Commit f22f164

Browse files
obycodeobycode
committed
test: update check-checker tests
1 parent 9c74d8d commit f22f164

File tree

2 files changed

+57
-57
lines changed

2 files changed

+57
-57
lines changed

‎tests/checker/Clarinet.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
[project]
22
name = "checker"
33
requirements = []
4-
analysis = ["check-checker"]
4+
analysis = ["check_checker"]
55
costs_version = 1
66
[contracts.checker]
77
path = "contracts/checker.clar"

‎tests/checker/contracts/checker.clar‎

Lines changed: 56 additions & 56 deletions
Original file line numberDiff line numberDiff line change
@@ -1,31 +1,31 @@
11
;;RUN: cargo run check | filecheck %s
22

33
(define-public (tainted (amount uint))
4-
;; CHECK: taint:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
4+
;; CHECK: checker:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
55
;; CHECK-NEXT: (stx-transfer? amount (as-contract tx-sender) tx-sender)
66
;; CHECK-NEXT: ^~~~~~
7-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:25: note: source of untrusted input here
7+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:25: note: source of untrusted input here
88
;; CHECK-NEXT: (define-public (tainted (amount uint))
99
;; CHECK-NEXT: ^~~~~~
1010
(stx-transfer? amount (as-contract tx-sender) tx-sender)
1111
)
1212

1313
(define-public (expr-tainted (amount uint))
14-
;; CHECK: taint:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
14+
;; CHECK: checker:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
1515
;; CHECK-NEXT: (stx-transfer? (+ u10 amount) (as-contract tx-sender) tx-sender)
1616
;; CHECK-NEXT: ^~~~~~~~~~~~~~
17-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:30: note: source of untrusted input here
17+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:30: note: source of untrusted input here
1818
;; CHECK-NEXT: (define-public (expr-tainted (amount uint))
1919
;; CHECK-NEXT: ^~~~~~
2020
(stx-transfer? (+ u10 amount) (as-contract tx-sender) tx-sender)
2121
)
2222

2323
(define-public (let-tainted (amount uint))
2424
(let ((x amount))
25-
;; CHECK: taint:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
25+
;; CHECK: checker:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
2626
;; CHECK-NEXT: (stx-transfer? x (as-contract tx-sender) tx-sender)
2727
;; CHECK-NEXT: ^
28-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:29: note: source of untrusted input here
28+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:29: note: source of untrusted input here
2929
;; CHECK-NEXT: (define-public (let-tainted (amount uint))
3030
;; CHECK-NEXT: ^~~~~~
3131
(stx-transfer? x (as-contract tx-sender) tx-sender)
@@ -35,44 +35,44 @@
3535
(define-public (filtered (amount uint))
3636
(begin
3737
(asserts! (< amount u100) (err u100))
38-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
38+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
3939
(stx-transfer? amount (as-contract tx-sender) tx-sender)
4040
)
4141
)
4242

4343
(define-public (filtered-expr (amount uint))
4444
(begin
4545
(asserts! (< (+ amount u10) u100) (err u100))
46-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
46+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
4747
(stx-transfer? amount (as-contract tx-sender) tx-sender)
4848
)
4949
)
5050

5151
(define-public (let-filtered (amount uint))
5252
(let ((x amount))
5353
(asserts! (< x u100) (err u100))
54-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
54+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
5555
(stx-transfer? x (as-contract tx-sender) tx-sender)
5656
)
5757
)
5858

5959
(define-public (let-filtered-parent (amount uint))
6060
(let ((x amount))
6161
(asserts! (< amount u100) (err u100))
62-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
62+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
6363
(stx-transfer? x (as-contract tx-sender) tx-sender)
6464
)
6565
)
6666

6767
(define-public (let-tainted-twice (amount1 uint) (amount2 uint))
6868
(let ((x (+ amount1 amount2)))
69-
;; CHECK: taint:[[# @LINE + 9 ]]:24: warning: use of potentially unchecked data
69+
;; CHECK: checker:[[# @LINE + 9 ]]:24: warning: use of potentially unchecked data
7070
;; CHECK-NEXT: (stx-transfer? x (as-contract tx-sender) tx-sender)
7171
;; CHECK-NEXT: ^
72-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:35: note: source of untrusted input here
72+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:35: note: source of untrusted input here
7373
;; CHECK-NEXT: (define-public (let-tainted-twice (amount1 uint) (amount2 uint))
7474
;; CHECK-NEXT: ^~~~~~~
75-
;; CHECK-NEXT: taint:[[# @LINE - 8 ]]:50: note: source of untrusted input here
75+
;; CHECK-NEXT: checker:[[# @LINE - 8 ]]:50: note: source of untrusted input here
7676
;; CHECK-NEXT: (define-public (let-tainted-twice (amount1 uint) (amount2 uint))
7777
;; CHECK-NEXT: ^~~~~~~
7878
(stx-transfer? x (as-contract tx-sender) tx-sender)
@@ -82,10 +82,10 @@
8282
(define-public (let-tainted-twice-filtered-once (amount1 uint) (amount2 uint))
8383
(let ((x (+ amount1 amount2)))
8484
(asserts! (< amount1 u100) (err u100))
85-
;; CHECK: taint:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
85+
;; CHECK: checker:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
8686
;; CHECK-NEXT: (stx-transfer? x (as-contract tx-sender) tx-sender)
8787
;; CHECK-NEXT: ^
88-
;; CHECK-NEXT: taint:[[# @LINE - 6 ]]:64: note: source of untrusted input here
88+
;; CHECK-NEXT: checker:[[# @LINE - 6 ]]:64: note: source of untrusted input here
8989
;; CHECK-NEXT: (define-public (let-tainted-twice-filtered-once (amount1 uint) (amount2 uint))
9090
;; CHECK-NEXT: ^~~~~~~
9191
(stx-transfer? x (as-contract tx-sender) tx-sender)
@@ -96,40 +96,40 @@
9696
(let ((x (+ amount1 amount2)))
9797
(asserts! (< amount1 u100) (err u100))
9898
(asserts! (< amount2 u100) (err u101))
99-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
99+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
100100
(stx-transfer? x (as-contract tx-sender) tx-sender)
101101
)
102102
)
103103

104104
(define-public (let-tainted-twice-filtered-together (amount1 uint) (amount2 uint))
105105
(let ((x (+ amount1 amount2)))
106106
(asserts! (< (+ amount1 amount2) u100) (err u100))
107-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:24: warning:
107+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:24: warning:
108108
(stx-transfer? x (as-contract tx-sender) tx-sender)
109109
)
110110
)
111111

112112
(define-public (if-filter (amount uint))
113-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:40: warning:
113+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:40: warning:
114114
(stx-transfer? (if (< amount u100) amount u100) (as-contract tx-sender) tx-sender)
115115
)
116116

117117
(define-public (if-not-filtered (amount uint))
118-
;; CHECK: taint:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
118+
;; CHECK: checker:[[# @LINE + 6 ]]:20: warning: use of potentially unchecked data
119119
;; CHECK-NEXT: (stx-transfer? (if (< u50 u100) amount u100) (as-contract tx-sender) tx-sender)
120120
;; CHECK-NEXT: ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
121-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:33: note: source of untrusted input here
121+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:33: note: source of untrusted input here
122122
;; CHECK-NEXT: (define-public (if-not-filtered (amount uint))
123123
;; CHECK-NEXT: ^~~~~~
124124
(stx-transfer? (if (< u50 u100) amount u100) (as-contract tx-sender) tx-sender)
125125
)
126126

127127
(define-public (and-tainted (amount uint))
128128
(ok (and
129-
;; CHECK: taint:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
129+
;; CHECK: checker:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
130130
;; CHECK-NEXT: (unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
131131
;; CHECK-NEXT: ^~~~~~
132-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:29: note: source of untrusted input here
132+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:29: note: source of untrusted input here
133133
;; CHECK-NEXT: (define-public (and-tainted (amount uint))
134134
;; CHECK-NEXT: ^~~~~~
135135
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
@@ -139,17 +139,17 @@
139139
(define-public (and-filter (amount uint))
140140
(ok (and
141141
(< amount u100)
142-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:38: warning:
142+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:38: warning:
143143
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
144144
))
145145
)
146146

147147
(define-public (and-filter-after (amount uint))
148148
(ok (and
149-
;; CHECK: taint:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
149+
;; CHECK: checker:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
150150
;; CHECK-NEXT: (unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
151151
;; CHECK-NEXT: ^~~~~~
152-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:34: note: source of untrusted input here
152+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:34: note: source of untrusted input here
153153
;; CHECK-NEXT: (define-public (and-filter-after (amount uint))
154154
;; CHECK-NEXT: ^~~~~~
155155
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
@@ -159,10 +159,10 @@
159159

160160
(define-public (or-tainted (amount uint))
161161
(ok (or
162-
;; CHECK: taint:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
162+
;; CHECK: checker:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
163163
;; CHECK-NEXT: (unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
164164
;; CHECK-NEXT: ^~~~~~
165-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:28: note: source of untrusted input here
165+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:28: note: source of untrusted input here
166166
;; CHECK-NEXT: (define-public (or-tainted (amount uint))
167167
;; CHECK-NEXT: ^~~~~~
168168
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
@@ -172,17 +172,17 @@
172172
(define-public (or-filter (amount uint))
173173
(ok (or
174174
(>= amount u100)
175-
;; CHECK-NOT: taint:[[# @LINE + 1 ]]:38: warning:
175+
;; CHECK-NOT: checker:[[# @LINE + 1 ]]:38: warning:
176176
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
177177
))
178178
)
179179

180180
(define-public (or-filter-after (amount uint))
181181
(ok (or
182-
;; CHECK: taint:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
182+
;; CHECK: checker:[[# @LINE + 6 ]]:38: warning: use of potentially unchecked data
183183
;; CHECK-NEXT: (unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
184184
;; CHECK-NEXT: ^~~~~~
185-
;; CHECK-NEXT: taint:[[# @LINE - 5 ]]:33: note: source of untrusted input here
185+
;; CHECK-NEXT: checker:[[# @LINE - 5 ]]:33: note: source of untrusted input here
186186
;; CHECK-NEXT: (define-public (or-filter-after (amount uint))
187187
;; CHECK-NEXT: ^~~~~~
188188
(unwrap-panic (stx-transfer? amount (as-contract tx-sender) tx-sender))
@@ -191,10 +191,10 @@
191191
)
192192

193193
(define-public (tainted-stx-burn (amount uint))
194-
;; CHECK: taint:[[# @LINE + 6 ]]:16: warning: use of potentially unchecked data
194+
;; CHECK: checker:[[# @LINE + 6 ]]:16: warning: use of potentially unchecked data
195195
;; CHECK-NEXT: (stx-burn? amount (as-contract tx-sender))
196196
;; CHECK-NEXT: ^~~~~~
197-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:34: note: source of untrusted input here
197+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:34: note: source of untrusted input here
198198
;; CHECK-NEXT: (define-public (tainted-stx-burn (amount uint))
199199
;; CHECK-NEXT: ^~~~~~
200200
(stx-burn? amount (as-contract tx-sender))
@@ -203,30 +203,30 @@
203203
(define-fungible-token stackaroo)
204204

205205
(define-public (tainted-ft-burn (amount uint))
206-
;; CHECK: taint:[[# @LINE + 6 ]]:25: warning: use of potentially unchecked data
206+
;; CHECK: checker:[[# @LINE + 6 ]]:25: warning: use of potentially unchecked data
207207
;; CHECK-NEXT: (ft-burn? stackaroo amount (as-contract tx-sender))
208208
;; CHECK-NEXT: ^~~~~~
209-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:33: note: source of untrusted input here
209+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:33: note: source of untrusted input here
210210
;; CHECK-NEXT: (define-public (tainted-ft-burn (amount uint))
211211
;; CHECK-NEXT: ^~~~~~
212212
(ft-burn? stackaroo amount (as-contract tx-sender))
213213
)
214214

215215
(define-public (tainted-ft-transfer (amount uint))
216-
;; CHECK: taint:[[# @LINE + 6 ]]:29: warning: use of potentially unchecked data
216+
;; CHECK: checker:[[# @LINE + 6 ]]:29: warning: use of potentially unchecked data
217217
;; CHECK-NEXT: (ft-transfer? stackaroo amount (as-contract tx-sender) tx-sender)
218218
;; CHECK-NEXT: ^~~~~~
219-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:37: note: source of untrusted input here
219+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:37: note: source of untrusted input here
220220
;; CHECK-NEXT: (define-public (tainted-ft-transfer (amount uint))
221221
;; CHECK-NEXT: ^~~~~~
222222
(ft-transfer? stackaroo amount (as-contract tx-sender) tx-sender)
223223
)
224224

225225
(define-public (tainted-ft-mint (amount uint))
226-
;; CHECK: taint:[[# @LINE + 6 ]]:25: warning: use of potentially unchecked data
226+
;; CHECK: checker:[[# @LINE + 6 ]]:25: warning: use of potentially unchecked data
227227
;; CHECK-NEXT: (ft-mint? stackaroo amount (as-contract tx-sender))
228228
;; CHECK-NEXT: ^~~~~~
229-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:33: note: source of untrusted input here
229+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:33: note: source of untrusted input here
230230
;; CHECK-NEXT: (define-public (tainted-ft-mint (amount uint))
231231
;; CHECK-NEXT: ^~~~~~
232232
(ft-mint? stackaroo amount (as-contract tx-sender))
@@ -235,30 +235,30 @@
235235
(define-non-fungible-token stackaroo2 uint)
236236

237237
(define-public (tainted-nft-burn (amount uint))
238-
;; CHECK: taint:[[# @LINE + 6 ]]:27: warning: use of potentially unchecked data
238+
;; CHECK: checker:[[# @LINE + 6 ]]:27: warning: use of potentially unchecked data
239239
;; CHECK-NEXT: (nft-burn? stackaroo2 amount (as-contract tx-sender))
240240
;; CHECK-NEXT: ^~~~~~
241-
;; CHECK-NEXT: taint:[[# @LINE -4 ]]:34: note: source of untrusted input here
241+
;; CHECK-NEXT: checker:[[# @LINE -4 ]]:34: note: source of untrusted input here
242242
;; CHECK-NEXT: (define-public (tainted-nft-burn (amount uint))
243243
;; CHECK-NEXT: ^~~~~~
244244
(nft-burn? stackaroo2 amount (as-contract tx-sender))
245245
)
246246

247247
(define-public (tainted-nft-transfer (amount uint))
248-
;; CHECK: taint:[[# @LINE + 6 ]]:31: warning: use of potentially unchecked data
248+
;; CHECK: checker:[[# @LINE + 6 ]]:31: warning: use of potentially unchecked data
249249
;; CHECK-NEXT: (nft-transfer? stackaroo2 amount (as-contract tx-sender) tx-sender)
250250
;; CHECK-NEXT: ^~~~~~
251-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:38: note: source of untrusted input here
251+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:38: note: source of untrusted input here
252252
;; CHECK-NEXT: (define-public (tainted-nft-transfer (amount uint))
253253
;; CHECK-NEXT: ^~~~~~
254254
(nft-transfer? stackaroo2 amount (as-contract tx-sender) tx-sender)
255255
)
256256

257257
(define-public (tainted-nft-mint (amount uint))
258-
;; CHECK: taint:[[# @LINE + 6 ]]:27: warning: use of potentially unchecked data
258+
;; CHECK: checker:[[# @LINE + 6 ]]:27: warning: use of potentially unchecked data
259259
;; CHECK-NEXT: (nft-mint? stackaroo2 amount (as-contract tx-sender))
260260
;; CHECK-NEXT: ^~~~~~
261-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:34: note: source of untrusted input here
261+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:34: note: source of untrusted input here
262262
;; CHECK-NEXT: (define-public (tainted-nft-mint (amount uint))
263263
;; CHECK-NEXT: ^~~~~~
264264
(nft-mint? stackaroo2 amount (as-contract tx-sender))
@@ -267,10 +267,10 @@
267267
(define-data-var myvar uint u0)
268268

269269
(define-public (tainted-var-set (amount uint))
270-
;; CHECK: taint:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
270+
;; CHECK: checker:[[# @LINE + 6 ]]:24: warning: use of potentially unchecked data
271271
;; CHECK-NEXT: (ok (var-set myvar amount))
272272
;; CHECK-NEXT: ^~~~~~
273-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:33: note: source of untrusted input here
273+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:33: note: source of untrusted input here
274274
;; CHECK-NEXT: (define-public (tainted-var-set (amount uint))
275275
;; CHECK-NEXT: ^~~~~~
276276
(ok (var-set myvar amount))
@@ -279,42 +279,42 @@
279279
(define-map mymap { key-name-1: uint } { val-name-1: int })
280280

281281
(define-public (tainted-map-set (key uint) (value int))
282-
;; CHECK: taint:[[# @LINE + 12 ]]:37: warning: use of potentially unchecked data
282+
;; CHECK: checker:[[# @LINE + 12 ]]:37: warning: use of potentially unchecked data
283283
;; CHECK-NEXT: (ok (map-set mymap {key-name-1: key} {val-name-1: value}))
284284
;; CHECK-NEXT: ^~~
285-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:33: note: source of untrusted input here
285+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:33: note: source of untrusted input here
286286
;; CHECK-NEXT: (define-public (tainted-map-set (key uint) (value int))
287287
;; CHECK-NEXT: ^~~
288-
;; CHECK-NEXT: taint:[[# @LINE + 6 ]]:55: warning: use of potentially unchecked data
288+
;; CHECK-NEXT: checker:[[# @LINE + 6 ]]:55: warning: use of potentially unchecked data
289289
;; CHECK-NEXT: (ok (map-set mymap {key-name-1: key} {val-name-1: value}))
290290
;; CHECK-NEXT: ^~~~~
291-
;; CHECK-NEXT: taint:[[# @LINE - 10 ]]:44: note: source of untrusted input here
291+
;; CHECK-NEXT: checker:[[# @LINE - 10 ]]:44: note: source of untrusted input here
292292
;; CHECK-NEXT: (define-public (tainted-map-set (key uint) (value int))
293293
;; CHECK-NEXT: ^~~~~
294294
(ok (map-set mymap {key-name-1: key} {val-name-1: value}))
295295
)
296296

297297
(define-public (tainted-map-insert (key uint) (value int))
298-
;; CHECK: taint:[[# @LINE + 12 ]]:40: warning: use of potentially unchecked data
298+
;; CHECK: checker:[[# @LINE + 12 ]]:40: warning: use of potentially unchecked data
299299
;; CHECK-NEXT: (ok (map-insert mymap {key-name-1: key} {val-name-1: value}))
300300
;; CHECK-NEXT: ^~~
301-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:36: note: source of untrusted input here
301+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:36: note: source of untrusted input here
302302
;; CHECK-NEXT: (define-public (tainted-map-insert (key uint) (value int))
303303
;; CHECK-NEXT: ^~~
304-
;; CHECK-NEXT: taint:[[# @LINE + 6 ]]:58: warning: use of potentially unchecked data
304+
;; CHECK-NEXT: checker:[[# @LINE + 6 ]]:58: warning: use of potentially unchecked data
305305
;; CHECK-NEXT: (ok (map-insert mymap {key-name-1: key} {val-name-1: value}))
306306
;; CHECK-NEXT: ^~~~~
307-
;; CHECK-NEXT: taint:[[# @LINE - 10 ]]:47: note: source of untrusted input here
307+
;; CHECK-NEXT: checker:[[# @LINE - 10 ]]:47: note: source of untrusted input here
308308
;; CHECK-NEXT: (define-public (tainted-map-insert (key uint) (value int))
309309
;; CHECK-NEXT: ^~~~~
310310
(ok (map-insert mymap {key-name-1: key} {val-name-1: value}))
311311
)
312312

313313
(define-public (tainted-map-delete (key uint))
314-
;; CHECK: taint:[[# @LINE + 6 ]]:40: warning: use of potentially unchecked data
314+
;; CHECK: checker:[[# @LINE + 6 ]]:40: warning: use of potentially unchecked data
315315
;; CHECK-NEXT: (ok (map-delete mymap {key-name-1: key}))
316316
;; CHECK-NEXT: ^~~
317-
;; CHECK-NEXT: taint:[[# @LINE - 4 ]]:36: note: source of untrusted input here
317+
;; CHECK-NEXT: checker:[[# @LINE - 4 ]]:36: note: source of untrusted input here
318318
;; CHECK-NEXT: (define-public (tainted-map-delete (key uint))
319319
;; CHECK-NEXT: ^~~
320320
(ok (map-delete mymap {key-name-1: key}))

0 commit comments

Comments
 (0)